 = 10. Let d be 0/((f/(-18))/(2/z)). Does -3/11 = d?
False
Let l(k) = -k**2 + 6*k + 12. Let o be l(14). Let p be 0 + -4 - o/40. Let g = 70 - 71. Is p > g?
False
Let y be (-3764 + 81)*-1*(0 + -1). Which is bigger: -3684 or y?
y
Let w(s) = 159*s + 431. Let f be w(-3). Do f and -57 have the same value?
False
Suppose p + 94 = 119. Suppose -40 + p = 3*z. Which is bigger: z or -27/7?
-27/7
Let c(f) = f**3 - 39*f**2 - 48*f + 190. Let j be c(42). Which is smaller: j or 3463?
3463
Let l be (-5 - (-170)/30)*(-9)/(-6). Let a(c) = -c. Let p be (2 + 0 + 2)*-1. Let i be a(p). Which is smaller: i or l?
l
Suppose -r + 6 = 3*z, z + 1 = -4*r + 36. Suppose l + j = -1, -5*l + 8*j - 1 = r*j. Suppose -3*n + n = 4*t + 10, 0 = 3*n + 3*t + 9. Is l at least as big as n?
True
Let x be (2/(-4))/((-2)/72). Let l = -40377 - -40394. Is l less than x?
True
Suppose 12*a + 23*a + 1937 - 23182 = 0. Does a = 610?
False
Let s = 0.273 + -0.466. Let r = 0.243 + s. Which is smaller: r or -1/5?
-1/5
Let w(b) = -b**3 - 5*b**2 + 3*b - 5. Let o be w(-6). Suppose -5*d - o = z, d - 6*d - 5*z - 25 = 0. Let j be ((-4 - d)/(-2))/1. Is j less than -92?
False
Let t = -5.3 - -5.432. Let v = t + -68.132. Which is bigger: -0.1 or v?
-0.1
Let r = -11175 + 11983. Do r and 810 have different values?
True
Suppose -3*j - 2*k = -9, 2*j - 8*k + 3*k = 6. Let s be j/(-2) + 7/2. Is 9/4 at most as big as s?
False
Let j = 4/5125 + -46189/82000. Let q(x) = -x. Let f(a) = 3*a**2 + 2*a - 1. Let r(p) = -f(p) - 2*q(p). Let k be r(1). Do j and k have different values?
True
Let s(m) = -m**3 + 28*m**2 - 27*m + 465. Let x be s(28). Which is greater: -278 or x?
-278
Suppose 10 = 10*u - 8*u. Suppose 3*k + 2*k - u = 0. Let r be (-6)/21 + (-46)/(-14) + k. Which is bigger: r or 2?
r
Suppose 5*j + 4*z = 6*z + 184, 8 = -4*z. Let t = -15 - -50. Which is greater: t or j?
j
Suppose -20*o - 420 = 80. Let c be 0 + o/(-4755)*(-2)/10. Is 0 less than c?
False
Let r be 22/33 + (-1300688847)/10366120. Let c = -3/518306 + r. Let o = 623/5 + c. Is -1 smaller than o?
True
Let p(s) = -13 - 3 - 9 - 42*s - 13 - 5. Let m be p(-1). Which is greater: m or 0.34?
0.34
Let h be 18/99*(-1 + (-3)/3). Let n = -5399/7 - -771. Which is smaller: n or h?
h
Let u = -16635/14 + 2377/2. Which is smaller: u or 66?
u
Let f be ((-1235)/(-618) + -2)*25/(600/(-48)). Let p = -2 + 3. Which is bigger: p or f?
p
Let t be 1/(-2) + 268850/(-9812). Let w = t + 307/11. Let i(x) = -x - 13. Let d be i(-12). Which is smaller: d or w?
d
Let f(x) = -37*x - 18. Let l be f(-2). Let b = -42 + l. Let w be 2/(-3)*b/21. Which is smaller: w or 0?
w
Let h = 189 - 183. Suppose -h + 4 = -2*k. Let s = -2239/32045 + 1/1105. Is s < k?
True
Suppose -h - 4*p = -5*h - 104, -5*p = 5*h + 110. Let f be (h/(-15))/(196/70). Which is bigger: f or -3?
f
Let j = 8 + -3. Let h = 530.9 - 103.9. Let l = -427.01 + h. Are l and j equal?
False
Let l be 41772/156 - (1 + -1). Let m = 268 - l. Which is smaller: 1 or m?
m
Let f = -1039496227/281268 + 4/70317. Are -3695 and f non-equal?
True
Let i be (54/(-63))/((-3)/14). Let s be (48/i)/4 - -9. Suppose -w - a = -3*a - 11, -a = 4*w - 53. Which is smaller: s or w?
s
Let m be (24/4)/(339/71303). Which is smaller: m or 1259?
1259
Suppose 25*k - 57160 + 57185 = 0. Let o be (-9)/56*(-4)/(-6). Which is greater: k or o?
o
Let w(v) = -10*v**3 - 7*v**2 - v + 8. Let f be w(3). Let y = f + 322. Which is smaller: -32/7 or y?
y
Let n = 62271 - 62321.006. Let j = n - -50. Let t = j - -0.106. Which is smaller: -26 or t?
-26
Let y = 1173 - 822. Let u be (-54)/y + 722/130. Do u and 4 have the same value?
False
Let d = -130/57 + 15055/6726. Is -1 less than d?
True
Let c(f) = f**3 - 91*f**2 + 160*f + 136. Let i be c(89). Is -1466 greater than or equal to i?
True
Let o = -576 - -556. Let s be (o/(-25))/((-6)/(-15)) + -14. Is s smaller than -128/11?
True
Let u = 2 - 2. Let w be (-38)/(-76)*(10 - 0)/1. Let g be ((25/6)/w)/1. Which is smaller: g or u?
u
Suppose -2*z + 39 = z. Let p be (-24)/(-16)*(-32)/(-22) + 6/(-33). Let u be (-282)/(-26) + p/z. Which is smaller: 9 or u?
9
Let j = -186 + 186.09. Which is smaller: j or -85?
-85
Let z = -54 + 66. Suppose 8*q - z*q = 96. Let x be 5/(-6) + 1 - (-1)/q. Is 0.08 > x?
False
Let l(q) = -q**3 - 4*q**2 - 3*q - 4. Let o be l(-4). Let s = 253 + -242. Suppose 16 = s*y - 83. Which is smaller: y or o?
o
Suppose 13584*l = 13563*l - 13041. Is -593 less than or equal to l?
False
Let m = -1 - -16. Suppose 17*y = 21*y - 24. Suppose 23 - 107 = -y*u. Which is smaller: u or m?
u
Let y be (-17 - -21)*(-2)/(-4) - 60. Let v be (y/(-60) - -3) + (-6)/(-30). Is 5 less than v?
False
Suppose -10840 = -5*n - 6*k, -5*n - 260*k + 263*k = -10885. Is n at most 2173?
False
Let p be 15 - ((-6)/(-4))/(58/(-116)) - 7. Is p < 12/49?
False
Suppose 5*h - 306 - 29 = 0. Let i = -64 + h. Suppose c + 5 = o, -i*o = -c - 4*o + 3. Is c less than or equal to -2/37?
True
Let p = -10.83727 - -0.08727. Is -1 at least as big as p?
True
Let a = 325 + -324. Let p be 4/(24/(-33))*-4. Let q be (p - 2)/(4*a/10). Is 50 != q?
False
Let i = -16876.48 - -16876. Which is smaller: i or 222?
i
Suppose -3*b + 9 = 2*r, -12*r + 28 = -3*b - 47. Is b bigger than -474?
True
Let z = -18132/85 + 1066/5. Which is greater: z or -5?
z
Suppose -116*y + 114*y + 20 = 0. Let m be (y - -2)/6 - -106. Is 109 >= m?
True
Suppose 6 = -5*r + 2*q, 0 = 2*r + 3*q + 344 - 353. Which is smaller: r or -180/127?
-180/127
Let t be 4 - 3*(-4)/3. Let j be (-2)/3*2/(t/12). Let d be 1 - (0/(-3) + 6). Is j <= d?
False
Let u(w) = -w**3 - 4*w**2 - 2*w - 17. Let o be (7 + 1)*(-1)/2*1. Let l be u(o). Is -4 smaller than l?
False
Let w be 0 + (-4)/(-46) + -2 + 1524400/460. Which is greater: 3311 or w?
w
Let u be -7 + (35/140)/((-22)/(-928)). Which is bigger: u or -1/2?
u
Let t = 11 - 9. Let m be 3*8/(-12) + t. Is m smaller than 1/33?
True
Let o be -1 - (4/18)/((-2)/(-318)). Let u(f) = 5*f**2 - 3*f. Let l be u(3). Let b = o + l. Which is bigger: b or -37?
b
Let c(y) = -2*y**3 + 38*y**2 + y - 23. Let d be c(19). Let w be 2/3*d/8. Let b = -19.1 + 20. Which is bigger: b or w?
b
Let j be 4/3*1/4. Let u = -1.8 + 5.5. Let s = u - -38.3. Which is smaller: j or s?
j
Suppose 5 = -j + t, 4 = 2*j - 4*t + 24. Are -1/18 and j non-equal?
True
Let t = -945.99126 - 0.00874. Are t and 1 equal?
False
Let s = 0.1052 + -4.4052. Is s bigger than 175?
False
Suppose -7059 = 4*j + 4*u - 6731, 0 = -j - 3*u - 98. Does -67 = j?
False
Let f = 115 - 213. Let c = f - -90. Which is smaller: c or 1?
c
Let h = -50 - -70. Let n be 4/h - 188/990. Let i(m) = m**2 - 2*m - 4. Let u be i(3). Which is bigger: u or n?
n
Suppose 0 = 3*k - 4*f - 235, f + 443 = 4*k + 108. Let u = k + -86. Which is bigger: u or -1/16?
-1/16
Let h = -21140 - -21150. Which is greater: h or 114?
114
Let p = -0.10615 + 180.10615. Is p greater than or equal to -1/9?
True
Suppose -4203 - 376 - 1312 = 43*j. Is -949/7 not equal to j?
True
Suppose -3*o - 9 = -3*l, -5*l - 5*o - 8 + 33 = 0. Let i be ((-3)/(l - -23))/(6/(-54)). Do -10/49 and i have the same value?
False
Let l be 44 + 1*(1 + -5). Suppose -2*v - 53 = 2*v + 3*d, 3*v + 2*d = -l. Which is bigger: -15 or v?
v
Suppose 3 = -o - 4*v + 19, -2*o - 5*v + 29 = 0. Let p be o/16 - (-1221)/(-12). Let f = -97 - p. Is 4 <= f?
True
Let n be ((-5)/(-10))/((-1)/4304) + (197 - 196). Is n smaller than -2151?
False
Let h = 12.71 - 12.6559. Let z = -0.2459 - h. Is z greater than -68?
True
Suppose -40*g = -399 + 399. Which is greater: -14/491 or g?
g
Let v = 22 - 67. Let n = -302 - -297. Let w = v - n. Which is greater: 1 or w?
1
Let b be 1328691/6594 + -2*9/12. Let o = 658 + -459. Is b at least as big as o?
True
Suppose -1114*f + 1107*f - 8317 = 30351. Is -5524 at least f?
True
Let s = 21356 + -7730871/362. Suppose i - 5*j = 21, -j + 2*j + 8 = 4*i. Is s less than i?
True
Let u be 17108/(-5) - (-270)/(-54). Let k = -3446 - u. Is k less than or equal to -20?
False
Let a = 2 + -5. Let c = 99 - 177. Let h = 69 + c. Which is smaller: a or h?
h
Suppose -2*y = -7*y + 4*h - 18, -2*y - h = 2. Let d = 14 - y. Let j = -1/5038 + 413121/25190. Which is bigger: j or d?
j
Let o = -2 + 2. Let m = -181.0492 + 0.0492. Let p = -182.1 - m. Which is smaller: o or p?
p
Let m = -68614 - -68614. Let w = 0.07 - 0.13. Let p = w - 5.94. Which is greater: p or m?
m
Let r(k) = -7*k**2 + 11