 s greater than x?
True
Let j = 9393 - 9384.17. Let f = -0.1 + 9. Let c = f - j. Do c and -0.01 have the same value?
False
Let m = 43.7 + 0.3. Let d = 0.21 - -42.79. Let a = m - d. Which is smaller: a or 37?
a
Let u = 307/182 + -29/14. Let z = -81/143 - u. Let p = 0.003 - 2.003. Is p at most as big as z?
True
Let q = 4.9 - -65.1. Let s = -49 + q. Let h = s + -30. Is 3 <= h?
False
Suppose 13*d - 10 - 29 = 0. Suppose -16*a = -19*a + d. Is 1/15 < a?
True
Suppose -72*j + 90*j = -1242. Is j less than -71?
False
Let m = -0.076 - -6.376. Let g = 5.91 - m. Let d = 1.61 - g. Which is greater: -8 or d?
d
Let n(l) = 44*l - 6 - l**3 + 4*l**2 - 32*l + 13. Let c be n(6). Suppose 4*w - 88 = -4*u, w + c*u - 38 = 2*u. Is w at most as big as 17?
False
Let c = 1/74754 + -13343695/7923924. Is c greater than -1?
False
Let z = 1006.8 + -1462. Let f = z - -455. Let r = 1.8 + -1.1. Which is smaller: f or r?
f
Let s = 8833 + -8669. Which is greater: s or 169?
169
Let p be 12/(-42) + (-153)/(-21) - 3959. Which is bigger: p or -3953?
p
Let y(s) = s**2 - s. Let x be y(1). Let c = -1773 + 1773. Suppose x = -4*k + h - 5, 3*h = 2*k - c*k + 5. Which is smaller: -4 or k?
-4
Let h be 36/6 - (-15 - -2). Which is greater: 102 or h?
102
Let v = -423.27 - 56.73. Which is greater: v or 17?
17
Suppose 2*c - 27 - 13 = 0. Let s(i) = 83*i**2 + 20*i - 44. Let x(y) = 97*y**2 + 19*y - 45. Let u(g) = 7*s(g) - 6*x(g). Let t be u(c). Is t bigger than 81?
True
Let n = -794 - -820. Let t be -15*(-48)/2600 - 4/n. Are t and 0 unequal?
True
Suppose -73 = -5*p - 68. Suppose -3*m + 4*m = -80. Let o = 1034/13 + m. Which is smaller: o or p?
o
Let d be (3/2 - 0)/(9/42). Suppose m + d = 11. Suppose 5*t + 1 = m*t. Does t = -1/16?
False
Let m be (-4236625)/9887500 - 3/(-7). Which is smaller: 1 or m?
m
Suppose 5*p = -3*p - 160. Let j be (-3 - 82/6)*(-24)/p. Let c be 0/((1/(-2))/(10/j)). Which is bigger: -8/15 or c?
c
Let l = -4729 - -3475. Is -1254 less than l?
False
Let l = 157558/35 + -4502. Let t = 827/2310 + l. Is 1 != t?
True
Let g = 14436 - 14437.051. Do g and -2 have the same value?
False
Let p be (-7 - -5) + (0 - -2) + 2. Suppose p*l = 3*c + 10, c = l + 31 - 34. Which is greater: 0.1 or c?
0.1
Suppose -6*l - 2*z - 10306 = 0, -18*z - 8586 = 5*l - 14*z. Is -1713 at most l?
False
Suppose 8673*g - 8718*g = -45. Which is bigger: 6371 or g?
6371
Let u = 1807/136 - 111/8. Let r(n) = n**2 - n - 600. Let q be r(-24). Which is bigger: q or u?
q
Suppose -285 + 1186 = -100*q - 499. Suppose 4 = f - 8. Let h be f*(-2)/(-2)*-1. Are q and h nonequal?
True
Let z be -35 + 5 + (-4)/1. Let k = z - -27. Let n be -12*(-2 - (3 + k)). Which is smaller: -1 or n?
n
Let a(x) = -x**3 + 7*x**2 + x + 69. Let n be a(8). Suppose 7*r = n - 20. Which is smaller: r or -2/1057?
r
Let d = 2/3 + -275/414. Is d at most -1?
False
Suppose -4*g + 64 = 44. Suppose 8 = -g*m - 3*n, 0 = -4*m - n - 3*n - 8. Let h be (-3 - (m + 2)) + (-119)/(-1). Are 115 and h equal?
True
Let c = -2.406 + 6.336. Which is smaller: c or 2/25?
2/25
Let k = 221 - 37. Let y be (-10507)/(-57) - (-5)/(-45)*(-1 + -5). Is k > y?
False
Let p be (((-198)/5)/(-3))/(78/975). Suppose 214*i + p = 225*i. Is i > 15?
False
Let n = -1516/63 - -56470/2331. Let t be -2*((-1)/(-2) + -1). Is n < t?
True
Let o be (2 - 63/27)*3 - -2. Which is greater: 35/83 or o?
o
Let r(k) = k**3 + 2*k**2 + 2*k - 559. Let g be r(0). Let p be (-8)/(-44) - g/11. Suppose f - 38 - 12 = 0. Are p and f unequal?
True
Let s be (2011/4)/((-10)/(4 - 24)). Let i = -5809775/5778 + s. Which is bigger: i or 1?
1
Let v = 276 + -7979/29. Which is bigger: v or 0?
v
Let n = -198992/145 + 6868/5. Is -3 less than n?
True
Let l(u) = 391*u + 4826. Let c be l(-8). Which is bigger: 1700 or c?
1700
Suppose -25*y = -139 - 36. Let l be 3/y + (-66)/1232. Let u(x) = x**2 + 3*x + 1. Let k be u(-3). Which is smaller: k or l?
l
Let k = -7822 + 9523. Is 1701 != k?
False
Let s be ((-882)/(-7203))/(54/(-1288)). Is s < -2?
True
Let i(q) = 2*q**2 - 148*q + 289. Let f be i(2). Let o(y) = y**2 + 5*y + 6. Let b be o(-5). Let m be 1/(5*b/4). Which is bigger: m or f?
f
Let a = 3481.2 - 3481. Is 1900 at most a?
False
Let p be 38*(-2)/(-19) + 36 + 0. Let i(n) = 3*n**2 + n - 2. Let b be i(-4). Which is greater: p or b?
b
Let q = 95 + -92. Suppose -q*d - 6 = -x, -2*d = 3*x + 2*x + 4. Is x < -2/643?
False
Let h(d) = d**3 - 22*d**2 - 26*d + 72. Let y be h(23). Suppose -5*z = 5*x - 25, -2*x - y - 17 = -4*z. Which is greater: x or -5/6?
x
Suppose -8 - 1 = -3*i. Suppose 3*v = 3*q - 9, -11 = i*v - 2. Let b be 2 + ((-64)/22)/2. Which is bigger: b or q?
b
Let j = -1269 - -1268. Let n = 2355/7 - 338. Are n and j unequal?
True
Suppose 4*j - 32 = -3*i, i - 34 = -3*j - 5. Suppose 2*k = j + 73. Let x = -41 + k. Which is smaller: 2/13 or x?
2/13
Suppose 144 = 3*h + 225. Let w(t) = -t**2 - 5*t - 3. Let z be w(-6). Let y be (-47)/z + ((-48)/h - 2). Which is smaller: y or -0.4?
-0.4
Let q be ((-1600)/48)/20 + ((-4614)/(-1665))/2. Is -1/4 at most as big as q?
False
Let k be -799 + (((-330)/(-5))/(-11) - (-2 + 0)). Do -4016/5 and k have the same value?
False
Let s = 12827/27 - 475. Suppose 0 = 4*h + 20*h + 16*h. Is h greater than s?
False
Suppose -1301*m = -23*m + 1920*m - 246246. Let u(z) = 6*z**2. Let g be u(-1). Let k(o) = -o**3 + 9*o**2 - 4*o - 6. Let s be k(g). Which is smaller: s or m?
m
Let a be 4/6 + (-7)/(21/(-25)). Let x(c) = 5*c + 2*c - 7*c + a + c. Let o be x(-8). Which is smaller: 6/41 or o?
6/41
Suppose 2*m - 5 - 7 = -3*j, 3*j - 12 = 3*m. Let r be (-14)/(-21)*18/j. Let o be ((-1)/(-3))/(r/99). Is o bigger than 12?
False
Let z be (147/98)/((-6)/4). Let f(y) = -y**2 - 8*y - 6. Let j be f(-6). Let l be 6/j*(-3)/2. Which is bigger: l or z?
z
Let p be 2 - ((-4)/2 + -4). Suppose k + 0*k = 4*y - p, 5*k - 52 = -3*y. Let u = -5 + k. Do u and -4 have different values?
True
Let z = -0.3281 + 0.4781. Which is smaller: 6.1 or z?
z
Let s = 0.22 + 15.18. Let i = s - 15.63. Suppose 34 = 2*c + 32. Which is smaller: c or i?
i
Let n be (590/90 - 2 - (1 - 3)) + -5. Let m be 2/7 - (-34)/28. Let g = n - m. Which is greater: 0.1 or g?
0.1
Let q be -8*1*315/18396. Let a = q + 1329/2774. Which is bigger: -1 or a?
a
Let i be 3/(-12) + 68/16 + 31. Let q(t) = -6*t - i - 34 + 74. Let a be q(-1). Is a > 54/5?
True
Let w(p) = -6*p**3 + 135*p**2 + 30*p - 316. Let v be w(20). Which is greater: v or 6282?
v
Let u be -10*(-1)/(-14) + (-1)/(-2). Let q(t) = t - 1. Let n be q(6). Suppose -n*k = -2*k. Is u equal to k?
False
Suppose 4*j + 2*u - 2 = 0, -j + 2*u - 22 + 15 = 0. Is 1/5114 != j?
True
Let p be (12/(-40)*2)/(1/5) + -1663. Which is smaller: -1664 or p?
p
Suppose -243 = -542*o + 515*o. Which is smaller: o or 4?
4
Suppose -11*f - 161*f = 172. Let p = 2822 - 335820/119. Is f bigger than p?
False
Suppose -5*a + 8 - 2 = -f, 0 = 4*f + a + 3. Suppose 1 = -4*h + 5*d - 23, 5*h - 4*d + 30 = 0. Let g be 34/h - (-35)/7. Which is bigger: g or f?
g
Let g(v) = -39*v + 2337. Let q be g(60). Let j = -832 - -6623/8. Is j < q?
True
Let i = 51 + -30. Let q = i + -23. Is q >= 1?
False
Let b be 4/(-14)*-15*(11479/1148 - 10). Which is bigger: b or 0?
0
Let x = -103 - -118. Suppose 5*y - x - 10 = 0. Let p = -29 - y. Is -34 at most as big as p?
True
Suppose 5*b + 440 = -0*b. Let c = 3466 - 3466.1. Which is smaller: c or b?
b
Let y = 22359/5 - 4441. Let v = 88 + -58. Is v < y?
True
Let k = -475932/5 - -93083. Is k bigger than -2104?
True
Let r be (-1 + -1)*(-2)/(-12). Let g(u) = u**2 - 2*u + 1. Let v be g(3). Suppose j + 0*j - 19 = -v*n, -3*n + 11 = 4*j. Is r != n?
True
Let x = -107094 - -1369625167/12789. Which is smaller: x or 1?
x
Suppose 3*n - 10 = 32. Suppose n*q - 20*q = -42. Which is bigger: q or 32/5?
q
Let s = -73 + 73. Let l be (-65108)/170 + (-3 - (s + 0)). Let c = l - -386. Which is smaller: c or 0?
0
Let a = -90 + 94. Suppose 11*x + a = -7. Suppose -4*w + 3*v = 23, v + v - 20 = 5*w. Which is bigger: x or w?
x
Let m be (4 - -7) + -4 + -4. Suppose 0 = 5*j + m*k - 29, 3 = 3*j + k - 12. Suppose 2*p = -j*d - 26 - 0, -3*d + 4*p + 8 = 0. Which is bigger: d or -23/6?
-23/6
Let c = -10328 + 10329. Which is smaller: 58/197 or c?
58/197
Let q = 3.852 - 3.912. Is -94/5 >= q?
False
Suppose -7*w - 10 = -8*w. Suppose -13*k + 433 = 43. Let y be (2 - -1)*w/k. Which is bigger: y or 1/16?
y
Let s be 41/725 +