r: -69 or d?
d
Suppose 8*q - 3*q = 0. Let o = 513026/5 - 8737997/85. Let y = -195 - o. Which is smaller: y or q?
y
Let a(g) = g**2 - 14*g + 38. Let k be (2 - (-7)/(28/(-16)))*-1. Let y be 27/7 + k/42*3. Let x be a(y). Which is smaller: -1 or x?
x
Suppose 0 = -b - 2*o + 14, -b = 3*b + 4*o - 36. Suppose -6 - b = -10*h. Is 1/90 greater than or equal to h?
False
Let z = -1039352/169 - -6150. Which is bigger: z or -60?
z
Let f = -12713 + 12714. Do -2/99087 and f have the same value?
False
Let i = 4.198 - 4.214. Is i > 7/9?
False
Let x be ((-456)/112*4)/(4/(-58)). Which is bigger: 235 or x?
x
Suppose 23*f - 115 - 46 = 0. Suppose -3*x = 4*i - 0*x + f, -3*x + 1 = 2*i. Is -11 less than i?
True
Let x be (-34066)/(-46)*13/(-27716). Let w = x - 1/2132. Suppose -k + 13 = -2*j - 6*k, -k - 2 = j. Which is bigger: j or w?
j
Suppose -187 = -5*u - 22. Suppose 55 = -11*b - u. Suppose 0 = -4*k - 4, -3 - 8 = j + 4*k. Is b smaller than j?
True
Let q = 90 - 82. Let r be 2/54*6 + q/(-36). Is -11/14 bigger than r?
False
Let l = -1101 + 1875. Let j = l - 773.9. Is j greater than or equal to 179?
False
Suppose 5*x = -89 + 649. Let y = 2524 + -2523. Is y equal to x?
False
Let z be (((-560)/448)/(5/(-4)))/(-5527). Which is smaller: 0 or z?
z
Let y = 5639 - 5977. Do 3 and y have the same value?
False
Suppose 6057 = -5*j + 4*r, 0 = 3*j - 39*r + 33*r + 3627. Is -1214 greater than j?
False
Let l be ((-1785)/(-1360))/(18/16). Let k = -29 - -20. Let o = 8 + k. Does l = o?
False
Let v be (2 - 3 - 1) + -80. Suppose 0 = 4*l - 5*p + 368, -4*p - 391 = -5*l - 833. Is v < l?
False
Let g = 2434 + -2434. Let q be (1/(-13))/(28/(-8)). Is g less than q?
True
Let k = 0.02511 + -22.02511. Which is smaller: k or 0.8?
k
Let t = -7.02 - -6.92. Let g = -7/51 - -110/1173. Which is greater: g or t?
g
Let p = 42.277566 + -0.077566. Let q = -0.1 - -0.2. Is q < p?
True
Let m be 42225/(-24)*(-4)/10. Let l = 704 - m. Which is greater: l or 0.294?
0.294
Let m = -588 + 538. Are 0.08 and m equal?
False
Suppose 3*u = -a - 27, 5*u + 72 = -3*a + 23. Is -14 at most u?
True
Let l = 929287/307 + -3027. Which is smaller: l or 0.06?
l
Suppose 4674*v - 5*h = 4676*v - 271, -2*v + 299 = h. Is v less than 6?
False
Let d be (20/1 - -2) + -8. Let h = -157 - -162. Is h equal to d?
False
Let j(a) = 2*a**2 - 7*a - 29. Let f(y) = 15*y - 99. Let k be f(7). Let g be j(k). Which is greater: g or 11/13?
g
Let h = 1/59 + -539/472. Let v = 320045/56616 - 1558/337. Let s = v + h. Which is bigger: s or -1?
s
Let g be (-54)/18 + (-2464)/(-49). Is g bigger than 46?
True
Let h be 301/8 - (-123)/328. Suppose 284 = h*n - 96. Let k = 8 - 0. Is k less than n?
True
Suppose 20*i = 5*i + 9*i. Is 2/4597 at least i?
True
Suppose 0 = w - 5*i - 920, 0 = -w - i + 1008 - 100. Is w less than or equal to 910?
True
Let h be -6*-1*(-4)/184. Let j(d) = -d**3 + 3*d**2 + 3*d + 2. Let p be j(4). Let f(i) = i**3 + i**2 - 3*i - 1. Let r be f(p). Which is greater: h or r?
r
Suppose -4*w - 3*f = 2*f - 2594, -3*w + 1980 = -2*f. Is w less than or equal to 654?
False
Suppose -7 = -t - 4. Suppose 2*u = 3*s - 4 + 2, -t*u = 5*s + 22. Let k be 175/(-231) - ((-14)/3 + 5). Which is greater: k or s?
k
Let q = -53 + 57. Suppose 3*r - 124 = 2*d, 4*d = 3*r - q*r + 32. Let g = r - 62. Is -21 greater than or equal to g?
True
Let q = 6.495 + -0.395. Let r = q - 384.1. Is r at least -0.1?
False
Let a(w) = -w - 27. Let b be a(-31). Suppose -b*f + 4*j + 16 = 0, -5*j - 10 = 2*f - j. Is f > 1/6?
True
Suppose 2*m + 1629 + 507 = 2*t, 5*t + m - 5322 = 0. Let y be 4 + t/1060 + -5. Is -1 at least as big as y?
False
Let r be (26/(-5))/(-3 - (-2504)/835). Is 4341 less than r?
True
Let u = -41.1 + 43.1. Suppose -3*b - 16 = -4*b. Suppose b = -j - j. Is j equal to u?
False
Let b = -278 + 377. Suppose 2*l = -0*l - 2*t + 36, -4*l + 5*t + b = 0. Is 18 > l?
False
Let k = 1981 - 1949. Which is bigger: -2 or k?
k
Let o(l) be the third derivative of l**6/120 + l**5/12 + 5*l**4/24 + 8*l**3/3 - 13*l**2. Let h = -21 + 16. Let p be o(h). Which is greater: p or -7?
-7
Suppose 3*l - 5*l + 3*h + 6 = 0, -3*h - 3 = -l. Let i be 3 + (-7 - 2) + l. Let v be 270/9*i/6. Which is smaller: v or 0?
v
Let l = 253.2025 - 253.1. Which is smaller: l or -0.3?
-0.3
Let n = -2303 - -416844/181. Let g = -96063 + 480317/5. Is g at least as big as n?
True
Let m(t) = -11*t - 87. Let c be m(-7). Let f = -19 + 23. Suppose -p + f*i = -4*p + 5, 0 = -4*p + i - 25. Which is smaller: p or c?
c
Let c(j) = -112*j - 1428. Let f be c(-13). Which is smaller: f or 30?
f
Let z = 5.75 - 18.75. Which is bigger: z or 3/35?
3/35
Let g = 200 - 199. Let k be 15*g - (29 + -25). Which is bigger: k or 9?
k
Let t = 377.9 - 388. Let m = 34 + t. Which is smaller: -1 or m?
-1
Suppose -172 = 2*s + 2*i - 66, -s = -3*i + 65. Let v be 14/s + (2 - 15/4). Is v at most as big as -21/17?
True
Suppose -4*u + 4 = w, 5*w - u = 3 - 4. Let q = 3/8125 + 1218729/56875. Let p = q + -8564/399. Which is greater: p or w?
w
Let s = -188 + 346. Let y = -157.88 + s. Which is greater: y or -5?
y
Let i(r) = -218*r + 6255. Let b be i(29). Which is greater: -722/11 or b?
-722/11
Suppose 5*f = -4*w + 2148, -f = -106*w + 105*w - 417. Is 415 bigger than f?
False
Suppose 5*h - 5*s + 2*s = 247, -5*h + 227 = 2*s. Let c be 216/(-6)*-2 - 0. Let v = -25 + c. Are v and h nonequal?
False
Let o(g) = 12*g - 170. Let s be o(16). Suppose s - 30 = 8*w. Is -1/11 less than w?
False
Let q = -15866 + 15881. Which is smaller: -374 or q?
-374
Suppose -2*a + 5*u + 44 = 0, 0 = -a - 0*a + 3*u + 22. Let s be (1*(-30)/a)/(123/164). Do -3 and s have the same value?
False
Let q(n) = n + 4. Let h be q(-6). Let y be (-522)/(-168) + 6/h*1. Let t = -6/7 + y. Which is smaller: t or -0.09?
t
Let f = 71918 - 4315183/60. Which is smaller: f or -3?
-3
Let k = -310 - -107. Suppose -3*i = -5*p - 1030, 5*p - 12*i = -8*i - 1035. Is p equal to k?
True
Let c(x) = x**2 + x - 1. Let v(o) = -3*o**2 + 7*o - 1. Let t(y) = -2*c(y) - v(y). Let z be t(9). Let a = 191/20 - 1017/140. Which is smaller: z or a?
a
Let s = -8456.9 + 8460. Suppose r + 1 = -1. Let i be 4/(2/(-2)*r). Which is smaller: i or s?
i
Let n be ((-13)/2 + 6)*-2. Let m be ((-710)/255)/n - 4/(-6). Which is greater: m or -3?
m
Let m = 3728 + -2726. Which is smaller: 1000 or m?
1000
Let m be 0 - (2/(-2) + 2). Let g(v) = -3*v - 64. Let k be g(-32). Suppose k = -6*c - 82. Which is smaller: m or c?
c
Let k be 4/14 + (-1530)/63. Let d = 26 + k. Let o be d/(-10) - (-564)/20. Which is smaller: 29 or o?
o
Let b be 0 + (142 - 0) - (-1125 - -1121). Which is greater: b or -18?
b
Let a be (-2 + (-22)/(-8))*-4. Let v be (-4)/a - (-12)/18. Let t be ((-144)/120)/((-9)/15). Is t less than v?
False
Let o = -39 + 39. Let t be 15/12 - (-9)/12. Suppose -2*z = -q + 7, 5*q - 2*z + 3 = -t. Which is bigger: o or q?
o
Suppose 140 = -194*j + 199*j. Is 1/10 greater than or equal to j?
False
Suppose 0 = 62*u + 8*u + 70. Which is smaller: 2/7321 or u?
u
Let n be (-12 - (-3264)/(-20))*5. Which is bigger: -881 or n?
n
Let y be ((-1)/3)/(28/6). Let l(k) = -4681*k + 4673. Let d be l(1). Is d at least y?
False
Let o be 28/10 - (-12 - (-14 - -7)). Let j = o - 121/15. Is j < 0?
True
Let u = 1.759 - 165.059. Let l = u + 165. Is 0.08 at most as big as l?
True
Let g be -2*((-11)/207 - 0)*339/(-1808). Is 0 at most g?
False
Let j = -5615.391 - -5578. Let q = 0.391 + j. Is 0 >= q?
True
Let j be 5*7/210 + (-14)/12. Let w be (6/(-24))/(j/4). Which is bigger: w or 2/23?
w
Let q = 93370 - 132865516/1423. Is q >= 0?
False
Let s(d) be the third derivative of -d**6/120 - d**5/5 - 19*d**4/24 - 23*d**3/6 + 111*d**2. Let q be s(-10). Is q bigger than -35?
True
Suppose -4*s - 3*b - 49 = 2*b, 2*s + 22 = -2*b. Let l be (-28)/(-40)*-12*(-4)/(-6). Which is smaller: l or s?
s
Let b = -0.2 + 0.3. Let c = 213.11 - 214. Let o = 0.95 + c. Which is smaller: o or b?
o
Let h = 3261 + -2959. Is h equal to 301?
False
Let b be ((-4)/1)/((-3)/270*3). Let h be (4/4385)/((-48)/b). Do h and -1 have different values?
True
Suppose -61*t = 73253 - 28174. Which is smaller: -741 or t?
-741
Suppose 772 = 4*s - 7*s + o, -767 = 3*s - 2*o. Which is greater: s or -251?
-251
Let v = -7684 - -7682. Do v and -485 have different values?
True
Suppose 0*j - 2*j = -8. Let g = 2.669 - 47.669. Is j < g?
False
Let g = -13 + 26. Suppose 2*h - 4*k 