ose 16*r = 97*r - 23733. Is r smaller than 292?
False
Let a = 119.7 + -125.2. Is 0.1 smaller than a?
False
Let y = -960466 - -426447197/444. Let a be (3/74)/(0 + -6). Let k = y - a. Which is smaller: k or 5?
k
Suppose 2*s - 34 = -0*m - 5*m, -12 = 4*s. Let x = 244/5 + -622/15. Is x equal to m?
False
Let y(p) = -p**3 + 7*p**2 + p - 6. Let m = 19 - 12. Let s be y(m). Is -2/9 bigger than s?
False
Let u = -70.928 - -71. Let n = -0.032 + u. Do -1/3 and n have different values?
True
Let j be (4*-10)/(-4) - -4. Suppose 0*u - u + x = -6, 4*x + j = -u. Let p = u - 2. Which is smaller: p or 3/5?
p
Let z(i) = -i**3 + 2*i**2 - i. Let d be z(2). Let o be (1 + -1)/(d + 1). Let k = 10.73 - 6.73. Is o less than or equal to k?
True
Suppose 0 = c - 5*q + 9, -5*c = 2*q - 2 - 7. Suppose -10*p = -6*p - 8. Suppose -g - p*g = 0. Which is smaller: g or c?
g
Let m = 278661385/474 + -587892. Let i = m - 4/79. Let l be (-4)/10 + 42/30. Is i less than or equal to l?
False
Let w = -658/5 - -132. Let n(f) = -f**2 - f + 17. Let h be n(-4). Suppose -2*r - 4*z = -9*z + h, 3 = 3*z. Is w != r?
True
Suppose -4*w - 9 = 3*t, 0*w + 6 = 3*w - 2*t. Suppose w = 4*g - 3*g - 4. Suppose -2*u = -g*u. Which is bigger: u or -7/6?
u
Let n = 61/264 - -5/264. Are n and 0 unequal?
True
Suppose -2*r = -17 + 9. Suppose -6*c + 2*c - r = 0. Let w = 711 - 19195/27. Which is smaller: c or w?
c
Let v = -32 + 31.8. Suppose -4*o + 5*c - 12 = c, 2*c = -2*o - 6. Let x be ((-1)/o)/(0 + -1). Are x and v unequal?
True
Suppose -2*i + 2*u - 3*u - 8 = 0, 4*i = 2*u. Suppose -3*b = 2*h - 15, 3*h + b = -b + 10. Does h = i?
False
Let y be 8/(-4) - (-106)/24. Let w = y - 9/4. Let r = w + 1/6. Is 2/23 < r?
True
Let t = 395199/25 + -15815. Does -6 = t?
False
Let i = -331 - -330. Do i and 6/103 have different values?
True
Suppose n - 21 = 4*n. Suppose -2*s = -z + 75, -2*z + 3*s = 81 - 228. Suppose z - 14 = -5*w - 3*d, 3*w = 4*d - 4. Which is smaller: n or w?
w
Let t = 87.91 + -85. Let h = t + -3. Is 1 <= h?
False
Let b be 6*(1 - (-4)/(-12)). Let i be (1 - 0/2) + 8. Suppose 50 + i = -b*a - 5*d, -5*a - 67 = 4*d. Is a less than -11?
False
Suppose -2*o - 9 - 3 = 0. Let z(k) = k**2 - 3*k + 4. Let g be z(3). Let u = g - 7. Is u at least as big as o?
True
Let t(u) = -u**2 + 65*u - 344. Let h be t(59). Which is bigger: h or 89/9?
h
Suppose 5*t - 98 = -2*i, -2*t + 22 = i - 17. Suppose r + 5 = t. Let v = r + -14. Is 1 less than v?
False
Suppose -2*z = 10 - 4. Let b(l) = -6*l - 7. Let d be b(z). Which is smaller: 14 or d?
d
Let i be 14/(-2) + (-8 - -34). Is -3 at least as big as i?
False
Let l(v) = -v**2 - 15*v + 123. Let t be l(-21). Let o be 1/(-3) + 59/(-21). Do o and t have different values?
True
Let v(m) = m**2 - 2*m - 4. Let n be v(4). Suppose 4*a - 3 = g + 14, -n*a - 4*g = 8. Let w be -1 + 8/(-12)*(-18)/4. Which is greater: a or w?
a
Suppose 2*t = i + 25, 2*t - 4 = -i + 23. Which is bigger: 100/7 or t?
100/7
Let d = 124/55 + -24814/11055. Suppose 0 = -33*b - 55 + 88. Which is smaller: b or d?
d
Let o = 256 - -715. Let m = -5791/6 + o. Are m and 7 unequal?
True
Let b = -25 - -18.6. Let p = b + -1.1. Let j = p + -0.5. Which is bigger: -2/3 or j?
-2/3
Let n = 2.023 + -0.023. Let y = 3 + 0. Let i = y - n. Is 0.05 less than or equal to i?
True
Suppose 3*d + 81*d = -252. Which is smaller: -88 or d?
-88
Let x(h) = -h**3 - h**2 + 7*h + 3. Let w = -1 - 2. Let r be x(w). Which is smaller: -3/17 or r?
-3/17
Suppose 13*t + 4*r + 340 = 9*t, -4*t = -5*r + 304. Which is smaller: t or -83?
-83
Suppose -12 = -3*j - 2*u, 1 - 7 = -2*u. Suppose q = j*f - 1, -2*f - 3*q - 2 = -q. Let d be 1 - (-1 - -2 - f). Which is smaller: 1 or d?
d
Let k be 21/(-35) + (-6)/15 + -2. Which is smaller: 21 or k?
k
Let w be 884/(-572) + 19/(-11) + 2. Are -29 and w nonequal?
True
Let w = 143 + -139. Suppose -17 = -d + 3*s - 2, -5*d + w*s + 20 = 0. Suppose 3 = 3*z, -5*u - 2 = z - 3. Are d and u unequal?
False
Let r = 0.15 - 0.25. Which is greater: 154 or r?
154
Suppose 0 = m - 7 - 3. Suppose 3*o - 49 + 1 = 0. Let d be (-12)/4 + (o - 2). Is d bigger than m?
True
Let b be 4/(-1) + 1*2. Let x = b + 4. Suppose 2*f = -x*f. Is -1/3 < f?
True
Let b = 3.1 - 3. Which is smaller: 1/17 or b?
1/17
Suppose 0 = -9*k + 44 - 17. Suppose 5*r + 352 = 4*y + 59, -317 = -4*y - k*r. Which is smaller: 76 or y?
76
Let r = 93640/99 + -8290/11. Let t = -192 + r. Let w be (0/(-13))/(-11) - -1. Which is bigger: t or w?
w
Let b be -8 - (-1144)/(-256)*-2. Is b at least 0?
True
Suppose -12 = 5*m + 18. Suppose -3*c - r = 21, -5*r - 35 = 5*c - 4*r. Do c and m have the same value?
False
Let c = -1/12 - 1/6. Let r = 3.42 - -0.08. Are c and r equal?
False
Let v = 8697 + -8656.01. Let r = -38.2 + -2.8. Let c = r + v. Which is greater: -1 or c?
c
Let z be ((-25)/15)/(-5) + 143/3. Let t be -2 + z/28 - 0. Let r be 2 - (-2 + -1 + 4). Is r equal to t?
False
Let z be (-2)/(-3)*261/(-2). Let l = -88 - z. Are 2/15 and l nonequal?
True
Let j = 497318767/271001658 + -322/363273. Let x = j + -1/1119. Which is bigger: x or 1?
x
Let a(t) = -t + 14. Let w be a(12). Suppose 5*j - h - 70 = h, w*j + 3*h - 28 = 0. Let f be (-114)/(-42) - (-4)/j. Are f and 1 nonequal?
True
Let j = -4.69 - -4.41. Let u = 0.02 + 0.03. Let d = u - -0.05. Which is smaller: j or d?
j
Let y = -31 - -52. Let q = -5.25 - -5.25. Which is greater: y or q?
y
Let j(f) = -f**2 + 3*f + 1. Let g be j(3). Let k = 2 + 6. Let n = 7.95 - k. Is g greater than or equal to n?
True
Let h = 18076/23 + -786. Which is smaller: -1 or h?
-1
Suppose 15 - 3 = -2*w. Let r be 17/(-3) + 2/w. Let l = r - -1. Which is greater: -6 or l?
l
Let m = -282469/80 - -3531. Let t = m + 1/16. Is t greater than or equal to -0.3?
True
Let j(t) = -t + 1 - 7 + 9 + t**2 + 5*t. Let h be j(-4). Let d = -19/6 + 29/6. Which is smaller: h or d?
d
Let x = -29 + 58. Let q = -29 + x. Let v be 48/(-176) - (q + 0). Which is smaller: -1 or v?
-1
Let p = 186 + -187. Is -1/3 <= p?
False
Let q(u) = -u**3 - 16*u**2 + 17*u + 5. Let j be q(-17). Suppose -j*r + 10 + 15 = 0, -3*r = 5*l + 75. Let m be -15*6*(-2)/l. Which is bigger: -9 or m?
-9
Let b = -253 - -253.2. Is -39 at least b?
False
Let x = -2983/2550 + 20/17. Let g be -2*((-119)/14)/(-17). Which is greater: x or g?
x
Let o(j) = 5*j - 3. Let g be o(1). Suppose -6*k + 4*l + 4 = -g*k, 0 = -k + 5*l + 5. Which is bigger: k or 2?
2
Let w(g) = 2*g**3 + 40*g**2 - 2*g - 40. Let f be w(-20). Which is bigger: f or 7/64?
7/64
Let v be 6/4*28/(-21). Let h = v + -2. Is h smaller than -4?
False
Let n be (0 + -2)/1 - 3. Let l = 30 + -6. Suppose 5*p - l = 11*p. Does n = p?
False
Let z be ((-8)/16)/(1/(-172)). Let v = z + -89. Which is greater: 5 or v?
5
Let z(t) = -t**3 + 6*t**2 + 4*t + 16. Let a be z(6). Is a greater than or equal to 18?
True
Let z(c) = -c - 1. Let r be z(-4). Suppose k = v + 1, -1 = -k - r*v - 2*v. Let u(d) = -2*d - 4. Let s be u(-3). Is s at most as big as k?
False
Suppose -14 = 5*d - 59. Let n be (-6)/(120/(-76)) - -4. Which is smaller: n or d?
n
Suppose 0*r = 2*r + 14. Is -12 less than r?
True
Let l be 24760/12 + 4/6. Let a = l + -171309/83. Is a not equal to -1?
True
Let f = -8/3 - -3. Let r(s) = -s**3 + 9*s**2 + s - 7. Let w be r(9). Let h be 3/(-63) + w/6. Which is bigger: h or f?
f
Let a be (-2)/(-3)*1*-3. Let m = 2440 - 10151/4. Let v = m - -96. Which is greater: v or a?
v
Let y be (-28)/210 - -1*(-2)/(-15). Which is smaller: y or -6/203?
-6/203
Let g be 246/(-496) + (-1)/(-8). Let u = g + -4/31. Are 4/3 and u equal?
False
Let g be (3/3)/(-1)*6. Let o(i) = -8*i - 22. Let n be o(g). Is n at least 25?
True
Suppose 438 = -2*c - 30. Let z = -138 - c. Which is greater: 97 or z?
97
Let m = 108 - 107. Let b be 3 + (-3)/((-204)/(-196)). Does b = m?
False
Let b = -2/1409 - 7033/8454. Let a = 26 - 26. Do b and a have different values?
True
Let p = 209 - 209. Is 111/7 greater than p?
True
Let p be 2/(-4) - (-3)/(-6). Let n be p + 28 + (-6 - -5). Let y = n - 30. Is -4 < y?
False
Let h be (-1*4)/(4/(-12)). Suppose 0 = 4*c + 3*l - 15, 0 = -4*l + 8 + h. Which is smaller: c or -7?
-7
Let k be (-5)/(-10) + (-59)/(-2). Suppose -j - 35 + k = 0. Which is greater: -14/3 or j?
-14/3
Let t = 2.916 - 3.442. Which is greater: 2 or t?
2
Let x = -0.1468 - -0.2168. Let m = 12 + -6. Let p be ((-2)/m)/(3/6). Is p less than x?
True
Let k = 15.3 - 14.37. Let y = -