d - 10, 0 = -3*d - 5*j - 6. Which is smaller: d or x?
d
Let d = 5942 + -7008. Is -1066 equal to d?
True
Let k = 6287 - 6288. Which is smaller: 3/3814 or k?
k
Let a(p) = 105*p - 3444. Let w be a(34). Which is greater: w or 102?
w
Let m(w) = w**3 - 58*w**2 + 64*w + 126. Let p be m(57). Which is smaller: p or 522?
522
Suppose 2*t = -76 - 56. Let z be t/(-21) - (-8)/(-56). Suppose 2*m = z*m. Is -1/7 greater than m?
False
Suppose 16*c + 2*g - 24 = 14*c, c - 6 = 2*g. Suppose 2*h = -3*x + 8, 14 = 2*x - 0*x - 3*h. Suppose x*l - 18 = -2*l. Which is bigger: c or l?
c
Let i = -401992 + 2016764/5. Which is bigger: i or 1360?
i
Let n = -132.2 + 131.2. Is n at least 417/10?
False
Let p be (-414)/322 - (2*-1)/(-2). Let n(f) = 5 + f + 4 - f**2 - 2*f. Let s be n(-4). Is s greater than p?
False
Let s be 12 - (-1 + -3 + -1). Suppose -s*z = -9*z + 8. Which is smaller: z or -2/115?
z
Suppose 4470 = 134*s - 2364. Is -5 at least as big as s?
False
Let o = 3467 + -3281.1. Let j = 186 - o. Which is smaller: -2/197 or j?
-2/197
Let l = 3558 - 56813/16. Which is bigger: l or 6?
l
Let w = 80.3 - 89. Let g = w + 7.8. Is g bigger than 0.2?
False
Let h(s) = s**3 - 32*s**2 + 91*s - 1860. Let i be h(31). Let u = -6/46625 + 4383716/7506625. Let o = -3/23 - u. Which is bigger: o or i?
i
Let f = 9051 + -18537/2. Is f greater than -217?
False
Let l(s) = -s**3 + 5*s**2 + s - 2. Let n be l(5). Let w(b) = -b**3 - 42*b**2 - 129*b + 71. Let x be w(-39). Let k = x - 537. Which is smaller: n or k?
k
Let h be 0/1*((-22)/33 + 1)*(-20)/(-80). Suppose -3*q = -5*y - 293 - 122, 5*y = -25. Let d = -1425/11 + q. Which is smaller: h or d?
h
Let y be 11/(-4)*6308/2324. Which is bigger: y or -6?
-6
Let d = 374 + -375. Let z = -31 - -115. Which is smaller: z or d?
d
Let q(c) = -4*c + 349*c**2 + 0*c + 7 - 11*c**2 - 3. Let n be q(2). Let s = n + -17542/13. Which is smaller: -2 or s?
-2
Let b(t) = -8*t - 3. Let j be b(-2). Let o be 3354/351 - 25/45. Which is greater: j or o?
j
Let y = 244704/341 - 2093/31. Let u = 647 - y. Which is greater: -4 or u?
u
Let r be (-1506)/12 + 387/(-86). Is -1 greater than r?
True
Let f = -45581/69174 - -118/567. Does f = 1?
False
Let z be -6 + 52/(-3)*(-225)/50. Let y be (z/2)/(-9)*2/(-16). Which is greater: -34/3 or y?
y
Let v(l) = -15*l**2 - 4*l + 14. Let n be v(2). Let x be 3555/n - (1 - (-10)/(-12)). Is -66 <= x?
True
Let t be (-1)/2*(-4)/165. Suppose -4*h + 11 = 3*m - 0*h, -2*m + 5*h - 8 = 0. Which is smaller: t or m?
t
Suppose 452 = -28*l + 26*l. Let d = l + 17396/77. Is d <= 1?
True
Let d be ((-6)/40)/(48/20). Let z = 11.714 - 11.914. Is d <= z?
False
Let d = 175.9 - 174. Let m = d + -2.2. Let t = 0.26 - 12.26. Is m equal to t?
False
Let a = 13903 - 7792. Let y be 6/16 + a/(-360). Is -16 less than or equal to y?
False
Let j = -1266.731 + 1266. Let c = 0.64 + j. Let v = c + -2.309. Which is smaller: -1 or v?
v
Let q be 1230/(-820)*172/6. Is -57 less than or equal to q?
True
Let p = -2 + 1. Let t = -153215343278813/47277 - -3240800881. Let m = t - 2/2781. Which is smaller: m or p?
p
Let u(w) = 2*w + 31. Let k = -20 - -82. Suppose 0 = 2*b + 3*x + 27, 2*x - k = 2*b + 2*b. Let o be u(b). Do -1/23 and o have the same value?
False
Suppose -2*z = -2*x - 10, -4*x - 40 = -z - 17. Is 2/4709 != z?
True
Let m be 14/6 - 12/(-18). Suppose 3*q - 6 = 2*h + m*h, -h - 5*q = -10. Let x be h/(-2) + 21/(-3). Which is greater: -2 or x?
-2
Let f be (-3 - -4)*-1*-188. Let m be f/5 + (-30)/(-75). Let a = -72 + 111. Are a and m unequal?
True
Let i = -190 + 115. Let y = i - -73.1. Let a = 3 + -2. Which is bigger: y or a?
a
Let f = 638.85 - 5.85. Let z = f - 626. Which is smaller: -8 or z?
-8
Suppose 3*k + 15 = -t, 0*t - 2*t - 10 = 2*k. Suppose -3*n - 16 = -5*u, 2*u = 4*n - 0*n + 12. Let i be 0/(8/1*u/8). Is i != t?
False
Let s be (-35)/(-2) - 5/(-10). Let c(y) be the third derivative of -y**4/6 + 9*y**3 - 44*y**2. Let f be c(s). Which is greater: f or -20?
f
Let s = -79 - -89. Suppose -3*l + 5 + s = 0. Let x be (-1)/30*(125/(-10))/l. Which is bigger: 0 or x?
x
Suppose 36*x + 1900 = -2*x. Let y be ((-2)/(-275))/(240/x). Are y and -1 unequal?
True
Let v = -50 + 7. Let y be (-3 - -1)*v/86. Is y bigger than 5/74?
True
Let k = 102 + -102.05. Let f = -13.05 - k. Which is smaller: 2/3 or f?
f
Let p = -392 - -374. Let m be 37 + (9/(-15))/(p/60). Which is bigger: m or 40?
40
Suppose -24*w + 41 = 34 - 17. Is w at most as big as -1/364?
False
Suppose 20*s - 4*a = 17*s + 11087, 0 = 5*a + 25. Which is smaller: s or 3687?
3687
Let b(i) = i**2 - 27*i - 85. Let k be b(28). Which is smaller: k or -43?
k
Let m = 22567.0163 - 22567. Which is smaller: m or -0.08?
-0.08
Let m = -36458/15 + 2428. Let f = -373/165 - m. Is f at least -0.2?
True
Let h = -94 + 93.899. Let s = -0.201 - h. Is s less than or equal to -1/10?
True
Suppose n - 2 = 2*n, -3*f + 4*n = 23878. Let j = f - -87466/11. Is -12 >= j?
False
Suppose 3*k = -2*i - 11, 5 = -3*i + 7*i - 3*k. Which is smaller: 2/3505 or i?
i
Suppose 5*c = 0, c = y + y. Let s = -1/119571 - 1195691/2271849. Which is bigger: y or s?
y
Let s(t) = 37*t - 112. Let p be s(4). Let m be -3 + 7/(28/16) - p. Which is bigger: -38 or m?
m
Suppose -4*z + 5*f + 640 = 0, -11*f = 4*z - 9*f - 668. Let d be (-2)/z*11/44*-2. Which is smaller: -1 or d?
-1
Let z = 22093 + -31982. Is -9891 >= z?
False
Suppose 0 = 55*z - 49*z - 2016. Suppose -5*r + 5*c - 209 = -3*r, 0 = -3*r + 3*c - z. Which is greater: r or -118?
r
Suppose -m = -4*c + 37, 0*m + 19 = 2*c - m. Suppose -d + c = -2*f, -2*d - 4 + 27 = -5*f. Let q = -23 - 1. Which is smaller: d or q?
q
Let z = 77861/2 - 551447/14. Which is smaller: -458 or z?
z
Let a = 21316/33 + -646. Suppose -5*x + 3 + 22 = 0. Suppose 3 = -x*m + 8. Do a and m have different values?
True
Suppose -3*v = h - 1 + 13, -4*h + 4*v = -32. Suppose 2*g - h = 1. Suppose 2*k + g*k = 2*k. Which is smaller: k or 1/39?
k
Let o(b) = -2*b + 7. Let p be o(5). Let l(z) = -z**3 + 11*z**2 + 12*z + 4. Let m be l(9). Let q = m + -284. Which is bigger: q or p?
p
Let w(p) = -15*p - 2*p - 42 + 11 + p**3 + 14*p**2. Let q be w(-15). Let r be -1 + 2 + 416/(-412). Does r = q?
False
Let k = 238 + -232. Let s = k + -5. Which is smaller: -278 or s?
-278
Let u = 71 - 33. Let r be ((-5)/(-3))/(7/(-21)). Let c be 2745/75 - 2/r. Is c at most u?
True
Let h = -13162 + 13155.96. Is 11 != h?
True
Suppose -64*j - 24*j = 23*j + 187146. Is -1694 less than or equal to j?
True
Let w = -14 + 16. Let j = -26 + 12. Let b = j + 14. Is b less than or equal to w?
True
Let i = -32.65 + 30.7. Let p = 1.92 + i. Is p at most as big as -0.01?
True
Suppose 12*i = -14*i - 10296. Let k = 391 + i. Is k equal to -6?
False
Suppose 2*f = 3*q - 9, 266*q + 5*f = 268*q - 28. Is q at least as big as 43/92?
False
Let g be ((-24)/(-20))/(4/10). Suppose 198 = g*f + 3*f. Suppose -4*w + w = f. Which is smaller: w or 1?
w
Let l = 2824 - 2823.64. Let g = -0.8 + 0.3. Let c = g + l. Is c >= -2/5?
True
Let l = 300 + -17098/57. Let f = 48 + -49. Is l smaller than f?
False
Suppose -3*a = -b - 36, 15*a - 11*a = b + 34. Let y be (-2 - 3) + b/(-9). Which is greater: y or 2/79?
2/79
Let h = -17.419 - -17.5. Let a = 0.213 - h. Let f = a + 0.008. Is f greater than or equal to 1?
False
Suppose k = -3*p - 178, -2*p + 27*k - 117 = 26*k. Which is smaller: -661/11 or p?
-661/11
Let q = 11.87 - -1.83. Let s = 14 - q. Which is smaller: 32 or s?
s
Suppose 2*x = 5*m - 208, 0*m + 2*m = -3*x + 68. Let r = m + -89. Let n be (-2)/4 + r/154. Is -1 at least as big as n?
False
Let c = -696.8 + 651.8. Is 84 < c?
False
Let p = 18/71 - 524/2627. Let u = 773 + -769. Which is greater: p or u?
u
Let b be (4/6)/((152/84)/(-19)). Let a(i) = -6*i**2 - 74*i - 5. Let j be a(b). Is 219 greater than j?
False
Let j = -344 - -357. Suppose 11*t = j*t. Is -8/31 <= t?
True
Let s be ((-1)/(-2))/((-7)/(-2)). Let x = -95.223 + 0.223. Let o = 98 + x. Which is greater: s or o?
o
Suppose -4*q - u = 1996, 5*q - 4*u + 2512 = -u. Let y be (-4)/26 + q/130. Is y at most -3?
True
Let t(k) = -k**2 + 16*k - 24. Let n be t(14). Suppose 0 = -4*u + 3*u + 4. Suppose -3*p = -u*m + 5*m + 1, 5*m + 16 = -n*p. Which is smaller: 2/27 or p?
2/27
Suppose 83*s - 12674 = -237*s + 766. Let i be ((-9)/2)/(2/(-20)). Are i and s nonequal?
True
Let w = 88330508/1679 - 52609. Is w at least -1?
True
Suppose -4*j 