ater: a or -1/2656?
a
Suppose -92 = -2*p + 52. Let b be (66*8/p)/((-2)/9). Which is smaller: -32 or b?
b
Suppose -5*h - 8676 + 1024 = 2*x, h + 9*x = -1453. Which is bigger: -10730/7 or h?
-10730/7
Let f = 3175 - 104773/33. Suppose 3*c = 1 + 11. Which is smaller: f or c?
f
Let x(y) = -7*y**2 - 45*y + 152. Let n be x(7). Are -524 and n unequal?
True
Let p(u) = u**3 - u**2 + 7*u - 3. Let k be p(2). Suppose -8*d - 57 = -9*d. Suppose 2*a + 6 = 0, -3*o + d = o + a. Is k at least as big as o?
True
Let m = 5 + -5.52. Let a = m + 1.5. Let g = a - -0.12. Which is smaller: g or 0?
0
Let r = -41.906 - -42. Let l = r - 0.904. Let k = l + 0.81. Is -31 greater than k?
False
Let q = 962 + -960. Is q equal to -139?
False
Let x = -131 - -192. Let c = -62 + x. Let g be ((-3)/12)/(50/(-32)). Is c at least g?
False
Let n = 385 + -209. Let a = n + -176. Let j = -0.99 + 0.8. Which is bigger: a or j?
a
Suppose -4*b - 3*q = 0, b + 5*q = 11 - 28. Suppose 57 = 4*d - 19. Suppose b*p + 1 = d. Which is smaller: p or 5?
5
Let s be 2/(6/(-423)*-15). Suppose -2*b = -3*t + 9, -4*t + 29 = 22*b - 19*b. Suppose -4*r = -4*i + 32, -i + 3*r + t = -1. Is s at most as big as i?
False
Let r = 231795/13 + -17841. Which is bigger: r or -12?
r
Let r = -9 + 5. Let h(d) = 2*d**2 - 6*d - 22. Let q be h(5). Let o be q/(-40)*(460/8)/(-23). Is o <= r?
False
Let f be (3/(-36))/((-13)/(-86)). Let q = -2/39 - f. Let r be (12 + 324/(-20))/((-9)/(-15)). Which is smaller: r or q?
r
Suppose 1540 = 30*s - 8*s. Is 2 > s?
False
Let v = -1.53 + 0.37. Let y = v - 98.84. Is -1 >= y?
True
Let b(s) = -s**2 - 2*s + 3. Let q = -84 - -77. Let a be b(q). Let z = 88 + a. Which is greater: 55 or z?
z
Let k be ((-3)/(-81))/((-4)/(-6)). Let y = -0.171 + 70.171. Let j = y - 70.2. Are j and k non-equal?
True
Suppose g = 4*v - 109, -v - 4*v = 2*g - 133. Let x be (-1)/61*(-28 + v). Is -1 at most x?
True
Let c(n) = -n**2 + 20*n - 22. Let x be c(22). Let w be (177/(-9) - -2) + (-44)/x. Does 0.02 = w?
False
Let d = -13932 + 7683. Which is bigger: d or -6248?
-6248
Let j = 2.82 - -25.18. Let d = 22 - j. Let o = 2.9 + -3. Which is smaller: o or d?
d
Suppose 7 - 21 = -7*y. Suppose -m - 5 = y*u, 4*m + 2*u = 12 - 2. Let d be (6/40)/(1/m). Which is bigger: 2/5 or d?
d
Let r = 2815/3 - 939. Let y = -22 - -38. Let s = y + -15.7. Which is bigger: r or s?
s
Suppose 5*s - 1925 + 475 = -5*x, 4*x + 2*s - 1154 = 0. Which is smaller: x or 288?
x
Let b be (-2 + (-1668)/(-830))/(8/(-1340)). Which is greater: -3 or b?
b
Suppose 495*f - 1723776 = 175539. Which is greater: f or 3839?
3839
Let n(b) = -34*b - 75. Let g be n(-8). Let v = g + -199. Is -22/15 != v?
True
Let h be (-6 - -5 - 1) + 6. Let a be (-9)/(12/h) + 3. Which is smaller: -3/64 or a?
-3/64
Let d = -1.2994 - -6.9994. Which is smaller: -91 or d?
-91
Suppose -693 = 5*g - 4*i, -g - 89 = -i + 49. Let q = -4250 + 4108. Which is greater: g or q?
g
Let z be 1740*((-140)/(-21) + -5). Which is smaller: 2903 or z?
z
Let d be (-10 + 0)/(1/((-5)/2)). Suppose 6*x - 137 = d. Let y = x - 25. Is -1 greater than y?
False
Let q be (4 - (6 - 2))/(-3). Let u = 7/125 - 197/2625. Which is bigger: q or u?
q
Let s be -1 + 3 + (-12)/((-72)/118878). Are 0 and s unequal?
True
Let s be 4/(-26) - 10/195*(-2715273)/330. Which is smaller: s or 0?
0
Let f = -8.17 + 0.17. Let b = -8.6 - f. Let z(i) = i**3 - 6*i**2. Let l be z(6). Does b = l?
False
Suppose 11*s = -110*s + 311648 + 74947. Which is greater: s or 3194?
s
Let s(v) = 139*v - 5955. Let m be s(-110). Do m and -21244 have different values?
True
Suppose 4*g - g + 3*g - 6 = 0. Which is greater: g or 17/164?
g
Let q = 1.4838 + -1.3838. Which is greater: q or -10128?
q
Suppose j = 5*d + 25, 3*j - 6*j = -5*d - 25. Are 98/71 and j nonequal?
True
Let p = -0.17 + 4.67. Let b = 136 - 134. Let s = b - p. Which is bigger: s or 1?
1
Let h(w) = -3*w**2 + 15*w - 10. Let u be h(4). Suppose -4*m - 88 = 2*k, -3*k + 0*m - 124 = -u*m. Let q be 2*-1*15*(-2)/k. Which is bigger: -2 or q?
q
Let j = -1074 + 1506. Suppose 5*x + j = -7*x. Which is smaller: x or -34?
x
Suppose -3*y + 4*x = -190, 5*y + 5*x - 44 = 296. Let a be (y/(-18))/((-2)/6). Let h = -64 + 74. Which is bigger: a or h?
a
Let u be (-3)/(-2) + -1 + 0. Let k be (6/24)/(7/28). Let i be k/4 + (13975/2964 - 5). Which is bigger: u or i?
u
Suppose 0 = 2*c + 10 - 2. Let n be (1/(-2)*c)/56. Suppose 12*s = 16*s. Is n != s?
True
Suppose -9*x + 14*x + 10 = 0. Let v(g) = -82*g - 51. Let a be v(x). Which is greater: -2 or a?
a
Let q = 5161.83 - -17.17. Which is greater: -2 or q?
q
Let y(f) = f**2 - 12*f - 449. Let r be y(28). Is r > 24.46?
False
Suppose -50*g + 473 = -51*g + n, 2*n - 1418 = 3*g. Does -471 = g?
False
Let a be ((-39)/6 + 6)*4. Let w be (a/4)/((-40)/(-6320)). Do -80 and w have the same value?
False
Suppose 12 = -11*i + 8*i. Let d be (182/i)/(-7)*(-12)/(-126). Is d > 2?
False
Suppose -503 = -4*l - 103. Let t be -2*(-15)/l*(-4)/(-3). Which is greater: t or -3/32?
t
Let i(d) = -82*d**2 + 233*d - 952. Let c be i(4). Which is greater: -1330 or c?
-1330
Let y(i) = -2*i - 220. Let t be y(0). Let d be 21/210 + 442/t. Is -1 not equal to d?
True
Let f(a) = -a + 4. Let d be f(0). Let z be 22 - 765/35 - 82/(-14). Suppose 2 = d*p - z. Which is smaller: 8/7 or p?
8/7
Let u be (-63)/39*82/369. Which is greater: u or -1/2?
u
Let y be (-18)/(-4068)*-230 - -1. Is 1 at most y?
False
Suppose -25*f - 98286 + 310236 = 0. Do 1 and f have the same value?
False
Let g be (-17 - -37)*(22/18 - 1). Let l = g - 947/207. Let m be (-6)/8 + (-4)/16. Is l <= m?
False
Let m(z) = 528*z + 9. Let l be m(-10). Is -5270 greater than l?
True
Let p be -29 - 1464/(-61) - 47*(-2)/18. Let o = 4 - 5. Which is smaller: o or p?
o
Let o(k) be the first derivative of k**2/2 + 14*k + 2. Let j be o(-10). Suppose -3*n + 0*q = 2*q + j, 4*n - 4*q = 8. Is n at least as big as -3/17?
True
Let a = 64982/7 - 26577750/2863. Which is smaller: a or -1?
-1
Let f(m) = 2*m**3 - 21*m**2 - 4*m + 6. Let u be f(8). Let z = -174 + u. Which is smaller: -519 or z?
z
Let w be (-84)/(-6) - 19 - (-223)/1. Is w >= 653/3?
True
Let u = 87037 - 87038. Let w be (12/(-38))/(6/44). Which is smaller: w or u?
w
Let q(b) = b**2 - 26*b + 25. Let s be q(31). Let p = s + -8. Is 172 at least p?
True
Let z be 11 - (10 + -20 + -231). Is 205 greater than or equal to z?
False
Suppose 0 = -78*q - 20*q. Is q at least as big as -1/1377?
True
Let s be -1 + (-166)/(-3) + (-50)/150. Let l = s - 51. Suppose -x - 2 - l = -3*a, -2*a + x = -5. Is a less than -8/21?
False
Suppose 5*p = -72 - 288. Suppose 16*k + 39 = 19*k. Suppose -6*n = -k*n - 504. Is p less than or equal to n?
True
Suppose 5*q = 5*f - 35, q + 7*f = 2*f + 11. Suppose 0 = 6*g - 4*g - 6. Let n be 2 - (3 + g - q). Is n equal to -8?
True
Let o(l) be the first derivative of l**3/3 - l**2/2 + 19*l - 120. Let m be o(4). Let j be 31 - ((3 - 6) + 5). Which is greater: m or j?
m
Suppose 50 + 44 + 282 = -8*p. Is p greater than 0.18?
False
Let q be (16/(-200))/(12/1280). Which is smaller: q or -10?
-10
Let n = 3202/4785 + -4/1595. Is -10462 at most as big as n?
True
Suppose -426*r + 507*r = 1539. Let n = 100193/5512 - 36/689. Which is smaller: n or r?
n
Let r = 152 + -265. Let s = r - -76. Is -36 >= s?
True
Let b be 11/(132/(-357)) + (-3)/(-4). Let q be (-2)/22*(b + 1). Which is smaller: q or 3?
q
Let d be 3/18 - 92*2/(-48). Is d bigger than 10/3?
True
Let h = -2.85 + 6.05. Which is bigger: 35 or h?
35
Let w(k) = -3205*k + 1541. Let i be w(5). Which is bigger: -14485 or i?
i
Let p be (-13 + 116/10)*5/(-1). Is 358 bigger than p?
True
Let j(i) = 8*i**3 + 12*i. Let k(d) = 7*d**3 - d**2 + 10*d. Let y(u) = -6*j(u) + 7*k(u). Let g be y(5). Is -60 smaller than g?
False
Let u be (-72)/(-396) + ((-3408)/(-858) - (-4)/(-26)). Which is smaller: u or 44/13?
44/13
Suppose 2*f = -0*f. Let w = -3.63 - 1.02. Let u = w + 9.65. Is u bigger than f?
True
Suppose g - 8 = -k, -4*k + 2*g + 80 = 18. Which is bigger: k or 488/41?
k
Let b be (-12)/(-126)*(-357)/(-34). Are -11/42 and b equal?
False
Let n = 0 - 0.06. Let s = 1404.98 + -1415.98. Is n at most s?
False
Let x = -352 - -670. Let q = x - 336.9. Are 0.1 and q non-equal?
True
Let h be (9/(-2) - -4)*(18660/(-9) + -2). Which is smaller: 1037 or h?
1037
Let z(o) = -o**2 - 1. Let q(b) = 3*b**3 - 12*b**2 + 5*b - 8. Let a(t) = q(t