pose o*f - 47*f - 42 = 0. Is -1/10 smaller than f?
False
Let t = -1 + 0. Let v = -60933 + 487463/8. Which is greater: v or t?
v
Suppose x - 601 = 4*f, -5*f - 3*x - 219 - 528 = 0. Let b = -26432 + 26280. Is b at most as big as f?
True
Let d(u) = 3*u**3 + 4*u**2 - u. Let p be d(-3). Let h = p + 51. Suppose -8*t + h = 57. Which is bigger: -7 or t?
t
Let j = 8301369/31 + -267833. Is -47 < j?
True
Let c be (-189)/(-11) - 11/(121/2). Suppose 2*v = a, -v - 12 - 9 = -4*a. Suppose -a*j - 42 = -3*b - 3*j, 0 = -5*b + 3*j + 72. Which is smaller: b or c?
b
Let s be (-1)/(4/4) + -4. Let o be 4*((-2)/s + (-85)/(-100)). Is 61/11 >= o?
True
Let z = 85.69 + 0.31. Let a = -328679 - -328680. Is a less than z?
True
Let k be (1 - (-72)/(-63)) + (-2)/14*6. Which is smaller: k or 2/9711?
k
Let f be 7/(-14) + 1/(-2). Which is greater: f or -8/1773?
-8/1773
Let q = -3160.1 + 3160. Are -0.5703 and q nonequal?
True
Let l be -4 + 26/6*1 + (-703)/57. Which is greater: -113 or l?
l
Let a be ((-54)/(-18))/(-3 - (-9 - -3)). Which is bigger: -3/2249 or a?
a
Let m be 21 + (2 + (-45)/9 - 2). Let v be (-179 - -1)*3*1/(-36). Which is smaller: v or m?
v
Let z = -91 + 95. Let n be z + -1*(118 - 5). Let m = -110 - n. Which is greater: m or 2/15?
2/15
Let i be (-1 + -5)*28/168. Which is greater: i or 1/3032?
1/3032
Let f = 19.9 - 20. Let t = -186.63 - 4.37. Let l = t + 201. Which is bigger: f or l?
l
Let c = -1406 - -3883. Suppose -89 = -12*n - c. Which is smaller: n or -198?
n
Let s(v) = v**2 - 4*v - 2. Let y(u) = -u**2 - 9*u - 10. Let q be y(-7). Let i be s(q). Let g be i/(1 - -3) - 14/(-12). Are g and -2 equal?
False
Suppose -32 + 20 = -4*z. Suppose r + 5*o = 2*o + z, -4*r + o + 12 = 0. Suppose 4 - r = i. Which is smaller: 1/10 or i?
1/10
Let d = 368 + -364. Suppose -5*b + 74 = 4*m + 30, -d*b + 2*m + 56 = 0. Is -0.08 greater than or equal to b?
False
Let v(p) = -p**3 + 7*p**2 + 20*p - 156. Let q be v(6). Which is smaller: q or -1/3179?
-1/3179
Let g = 281.163 - 3.203. Let u = -277 + g. Which is smaller: u or 1/4?
1/4
Let p = 15 + -5. Let d(i) = -i - 2. Let a be d(p). Let t = 89.4 + -89.7. Is a at least t?
False
Let g be (1355 - 8) + (-12)/(2/1). Let v be ((-1)/(-2))/(1 + g/(-126)). Is -1 > v?
False
Let r = 4.26 + -78.56. Let l = r - -61.6. Are l and -3 nonequal?
True
Let p(o) = -2*o**3 - 4*o**2 - 12*o - 61. Let y be p(-5). Which is greater: y or 150?
150
Let r = 5035/4692 + -13/12. Let s be (-10)/(-45) + (-64)/288. Is s > r?
True
Let h = 3948 + -240823/61. Which is greater: -1 or h?
h
Let z = 7086 + -28345/4. Are -20.13 and z equal?
False
Let p(f) = -22*f**2 + 135*f - 19. Let q be p(6). Which is smaller: 6/97 or q?
q
Let q = 6883/2 + -3454. Suppose 2*n + 12 = n. Which is smaller: q or n?
q
Let r be ((1 - 0)/(-20))/(13068/(-432)). Let j = r - -241/605. Is -5.44 >= j?
False
Suppose 6 = -5*j + 21. Suppose j*v - 75 = -2*a, -a + 5*a + 103 = 5*v. Let k = -36 + v. Which is bigger: -12 or k?
-12
Let a = -13 + 21. Let t = a + -17. Suppose -11*x = -24*x - 65. Which is greater: t or x?
x
Suppose -2*i = h - 3*h + 734, -3*h = -4*i - 1105. Let a be -7 - (-2232)/6 - 3. Which is smaller: h or a?
a
Let b = -461 + 481.1. Let h = -11.7 + b. Is -0.1 greater than h?
False
Let t = 38.02027 + 0.17973. Is 1 greater than or equal to t?
False
Let h = 2895 + -2895. Is h smaller than 20/69?
True
Let s = 9751/10 - 975. Let v = 38 - 24. Let i = 13.8 - v. Does i = s?
False
Let q = 33 - 34. Let n(k) = -7*k - 2. Let p be n(q). Suppose 31 = -p*b + 4*b + 5*z, 5*b + 239 = 4*z. Which is greater: -52 or b?
b
Let x(y) = 3*y**2 + 13*y - 133. Let c(t) = -t**3 - 23*t**2 - 60*t + 11. Let j be c(-20). Let h be x(j). Which is greater: 372 or h?
h
Let u = -8203 - -8211. Which is smaller: u or 44/5?
u
Let k = 0.6 - 0.4. Let u = -748 - -1391. Let g = 617 - u. Which is smaller: k or g?
g
Let w(a) = a**2 + 4*a - 28. Let t be w(-8). Suppose -5*p - 5 = 3*v, 5*v + 6*p = 2*p - t. Is 33 greater than or equal to v?
True
Let i = -112286 - -112302. Let y(h) = -9*h - 1. Let o be y(-2). Let l = -1 + o. Is i at least l?
True
Let w be ((-6)/336*-6)/(18/1515). Let c = 75/8 - w. Which is smaller: c or 1?
c
Suppose 3*v = 4*v + 6. Let c = -1 + v. Suppose -13*z - 150 = 2*z. Is c < z?
False
Let j be (-1)/1583*12/(-6). Let d be 72/360 - 18/15. Which is smaller: d or j?
d
Let t = -57 - -69. Suppose 540 = 2*m - t*m. Let i be (78/m)/(3/((-27)/(-3))). Which is greater: -3 or i?
-3
Let w be (-20)/330*(-3 + 6). Suppose 6*t - t + 35 = 0. Let r(c) = c + 6. Let p be r(t). Which is smaller: w or p?
p
Let d = 48.55 + -47.55. Is d > 0.1725?
True
Let n be (-24)/(-24)*-7*7207. Let p = n - -353971/7. Let s = p - 118. Which is smaller: 2/9 or s?
2/9
Let x = 1931.08 + -96.28. Which is bigger: x or 1?
x
Let o be (20/(-7) - -2)/((-12)/(-756)) + -2. Which is greater: -620/11 or o?
o
Let n(x) = -3*x**2 + 6*x. Let r be n(4). Let j = 3 + r. Let s = j - 15. Is -37 greater than or equal to s?
False
Let p = -122007 + 735041/6. Is 499 at least p?
False
Suppose 0 = 3*b - 6*b - 324. Let y = 990 + -1097. Which is bigger: b or y?
y
Let p be -20 - (15 - 37) - 68. Does 2 = p?
False
Let b be (-4)/((-16)/(-216)*9). Let f be ((-10)/(-162))/((-2)/b). Is f greater than or equal to -1?
True
Suppose 17*z - 5 = 22*z. Let f be 11866/(-136) + z/(-4). Let k = -85 - f. Does k = 47?
False
Let s be 248 + -246 - ((-846)/(-416) - 0). Are 1 and s equal?
False
Suppose k - 4*s = -1, -11 - 26 = -2*k - 5*s. Let t be ((-38)/6)/((-5)/6 - -1). Let n = -25 - t. Which is bigger: k or n?
n
Let j = -2586 - -2604. Which is bigger: j or -13/5?
j
Let p = -2954 + 2954. Let u = 44.2 - 55. Let d = -12 - u. Which is smaller: p or d?
d
Let r = 186.48 + -174.48. Let z = -20 + 18.9. Is r greater than z?
True
Let w(o) = 1812*o - 140. Let h be w(5). Let m be 9/(-24) + h/64. Which is smaller: m or 138?
138
Suppose 4*i + 1173*o = 1169*o - 28352, -2*i + 4*o - 14212 = 0. Which is greater: i or -7096?
i
Let g(v) = v + 8. Let q be g(1). Suppose 2*x - 5*t = 3, q = -2*t + 3. Is -11 greater than or equal to x?
False
Suppose m = -3*c + 17607 - 1653, 0 = 4*c - m - 21286. Is 5320 less than or equal to c?
True
Let s be (3/4)/(885/382733). Let a = s + -1383/4. Which is smaller: 0 or a?
a
Let j = 15256524155/141 + -108197183. Let n = j + -5116. Are n and 1 equal?
False
Let u(f) = -f**3 + 7*f**2 + f - 24. Let v be u(8). Let y = -70 - v. Which is greater: y or 0.3?
y
Suppose j = 1, 0 = -89*i + 85*i + 5*j + 59. Is 4 greater than i?
False
Let f be 636/(-19)*(-976)/30. Let m = 1089 - f. Which is bigger: m or 1?
1
Let h = 0.258 + 7.742. Which is bigger: h or 16.3?
16.3
Let o = -65 - -71. Let b = -201 + 211. Which is smaller: o or b?
o
Let j be (-1696 - -19) + (8 - 5 - -4). Which is smaller: j or 0?
j
Let x(c) = 6*c - 73. Let q be x(12). Let l be ((-14)/7)/(q/(-2)). Which is smaller: -10/3 or l?
l
Let d(q) = -q**3 + 6*q**2 + q - 4. Let b be d(6). Let j(x) = 13*x - 43. Let n(f) = 6*f - 21. Let a(o) = b*j(o) - 5*n(o). Let v be a(4). Is v less than 1?
False
Let l be (0 - 2)*2/4. Let n be ((-14)/(-63) - 24/27)*l. Which is bigger: n or -9/5?
n
Suppose -237 = -3*h - 44*n + 47*n, 3*n - 188 = -2*h. Which is greater: 94 or h?
94
Let g = -403.41 + 6.41. Let x = 335 + g. Which is smaller: 0 or x?
x
Let p = 107/5 - 21. Suppose 5*t + 497 = 3*b, 3*b = -3*t + 202 + 311. Does p = b?
False
Let v = -387 + 390. Let r be 120/252 - ((-3)/(-2))/v. Do 1 and r have different values?
True
Let n be 7435/4 + 32/(-4) + 66/8. Is 1857 not equal to n?
True
Suppose 5*x - 22 + 45 - 28 = 0. Which is greater: 9/43 or x?
x
Let t = 270 + -257. Suppose 0 = -2*u + 15 - t. Which is smaller: u or 1/220?
1/220
Let t = 11864 + -11864. Is t bigger than 2966?
False
Suppose -2*m + 4*k = 142, 115 = -3*m - 2*k - 106. Let f(d) = d**2 - 78*d + 821. Let g be f(14). Is m != g?
True
Suppose 4*d = 2*a, 0 = 4*a + d + 3*d - 24. Let h(c) = 4*c**3 - 9*c**2 + 2*c + 7. Let q be h(a). Is 127 at most q?
True
Let s be 6 - (0/3 - -6) - 8/(-4900). Which is greater: s or -1?
s
Suppose -39*i = -36*i. Suppose -9*q + 299 - 11 = i. Suppose 32 = -5*k + 4*x, -4*k - 6 - q = 3*x. Which is smaller: -10 or k?
-10
Let m be (-2 + (-339)/(-168))/(-19 + 15). Let w = m - -135/1568. Which is bigger: w or 0?
w
Suppose -2*w = 4*g - 330, -10*g + 246 = -7*g + 2*w. Suppose 6*i - i = 2750. Let t be 3/(g/(-8)) + i/14. Is 40 