Which is smaller: -111 or b?
-111
Let f = -0.3612 - -0.2612. Let i = -2133.23 - -2142. Let j = i - 9. Which is smaller: f or j?
j
Let q be (-6)/4*6/27. Let r(t) = -2*t**3 + 8*t**2 - 2*t. Let p be r(4). Let y be ((-14)/35)/(p/(-65) + 0). Is y at most as big as q?
True
Let x = -1511 - -1512. Which is smaller: x or 2/875?
2/875
Let x = -48 - -51. Let o = -1007 - -1011. Does x = o?
False
Let u be (30/(-90))/((-1019)/(-339) + -3). Which is smaller: u or -58?
-58
Let t(p) = 15*p**2 + 53*p - 336. Let k be t(7). Are k and 772 nonequal?
True
Let n be -10 - ((-96)/(-8))/(-6). Let w be -12 + 4 + (-1 + 0)*-2. Let j(m) = 2*m**2 + 14*m + 5. Let o be j(w). Which is bigger: n or o?
o
Suppose -m + 133 = -8*a + 4*a, 2*a - 514 = -4*m. Let t = m + 69. Is t greater than 198?
False
Let f = -0.468 - -0.568. Which is smaller: 9536 or f?
f
Let d be 7/(21/(-6)) - 19 - 1. Suppose -3*o - g - 4 = 0, 2*g = 6 - 2. Let r be -3 + (-23 - o) + 1. Which is smaller: r or d?
r
Let h be 7924/42 - 1/(-3). Suppose -h = -u - 6*u. Let i be ((-1)/(-359))/((u/6)/(-9)). Is i less than -0.1?
False
Let b be 3 + 0 - 1 - -17. Let s = b + -149/8. Are -0.2 and s nonequal?
True
Suppose 3*u = 2*c + 13, -9 = 5*u + 4*c + 6. Let i(r) = r + 1. Let k be i(u). Suppose -5*j = 3*j - k*j. Do j and 1 have different values?
True
Suppose 1164 = -268*h + 271*h. Let q = -381 + h. Which is bigger: q or 11/2?
q
Let b(i) = -29*i - 2466. Let a be b(-85). Which is smaller: 1/9196 or a?
a
Let m = 2 + -8. Let n(w) = w + 23. Let g be n(m). Suppose -12 = 3*a, -a = 5*y + 2*a + g. Is y greater than or equal to -1/21?
False
Suppose 0 = -5*l + k + 11, 5*l - 7 = -2*k - k. Let u be ((-1201)/(-66))/((-125)/75). Let t = -108/11 - u. Which is greater: l or t?
l
Let w = 35 - 35. Let d be 2/8 + 2871/36 + 3. Let c = 53 - d. Which is smaller: c or w?
c
Let c be (8 - 7)/(-7)*-7. Let g be ((-1)/4)/c + (-5)/(-4). Is 0.3 at least g?
False
Let f = 191612 - 191911. Suppose -639 = 3*q + 264. Which is smaller: f or q?
q
Let t = -7648 + 68588/9. Let k = t + 239/9. Is -2 equal to k?
False
Suppose -v - v + 4 = 2*m, -m - 5*v = -14. Let d be m*(-9)/(-12)*40/(-50). Are -22/3 and d non-equal?
True
Suppose -855 = 31*f - 36*f. Let z be 0/(((-23)/69)/((-2)/(-6))). Is f bigger than z?
True
Let o = 5/16 + -57/80. Let b = 753 - 15067/20. Which is bigger: o or b?
b
Suppose 0 = -289*z - 32*z - 2431085 - 3840292. Which is smaller: z or -19538?
-19538
Let q = -1727 + 2665. Suppose 5*r = 2*s + 9*r - q, -5*s + 4*r = -2387. Which is smaller: 476 or s?
s
Let b be 3 - (0 + 149/49). Let u(f) = -8*f + 41. Let d(i) = -i**2 + 12*i - 6. Let m be d(11). Let n be u(m). Is n smaller than b?
False
Suppose -i + 4*m = 29 - 26, 2*m + 2 = 4*i. Is i greater than 6/12845?
True
Let l(m) = m**2 - 6*m - 1925. Let h be l(-41). Which is bigger: h or 119/38?
119/38
Let g be (-8 - (-93)/12)*0. Is 146 bigger than g?
True
Let q = 49680 + -18928069/381. Is 0 not equal to q?
True
Let m = -61318 - -550846/9. Let n = m - -116. Let w = -894 + 897. Is n bigger than w?
True
Suppose -30 = -t - 5*m, 5*t - 64 = 2*t - 2*m. Let o be (-8162)/49 - t/(-35). Do 0.1 and o have different values?
True
Let j be ((-132)/72)/(154/(-42)). Which is smaller: -2/2301 or j?
-2/2301
Let h(g) = g**2 - 3*g. Let a be h(4). Let c = -8119 + 8122. Suppose -a = -5*v - u, c*u = -u + 16. Which is smaller: -0.14 or v?
-0.14
Suppose 0 = -3*y - q - 5728, -1907 = y - 5*q + 3*q. Let g be (4/2)/((-23)/(y/(-2))). Which is smaller: g or 2/5?
g
Let z(g) = 51 + 0*g - 58 - g. Let u be z(7). Let q be 3 + -3 + 4 + -19. Which is smaller: u or q?
q
Let q(a) = -4*a - 273. Let g(w) = -3*w - 1. Let m(t) = -6*g(t) + q(t). Let d be m(19). Is d at most as big as 6/403?
True
Let b(p) = 98*p + 4364. Let l be b(-40). Is l greater than 2213/5?
True
Let r be -7 - 1 - 182/39*(-453)/246. Is r at least 2?
False
Suppose -17*x + 64*x = 18*x - 841. Is x at most -231/8?
True
Let l(d) = -5*d**2 + 27*d + 75. Let r be l(8). Which is greater: r or -27?
-27
Suppose -10*l + 2*j = -6*l + 604, l - 5*j = -169. Which is smaller: l or -145?
l
Suppose -780 = -153*n - 107*n. Which is smaller: 158 or n?
n
Let z = 303 + -254. Suppose -2*j - 3*j = -3*u - 45, -2*u = 3*j + z. Is u <= 11?
True
Let w be 780/26 - (2 + 1)*1. Let l be (-2 + 2)*1/(w/9). Which is bigger: -12/121 or l?
l
Let x = -85873 - -410558811/4781. Which is bigger: x or 1?
1
Let y = 19243 + -19287. Which is bigger: y or -43?
-43
Let k be 1/2 - 2/4. Let a = -411/5 - -82. Let m = 26/105 + a. Which is greater: k or m?
m
Suppose -5*v + 953 = -3*w, -4*v = 2*w - 197 - 561. Suppose -v*j = -184*j - 12. Let b(c) = -c**3 + 4*c**2 + 4*c + 7. Let q be b(5). Are j and q non-equal?
False
Let d = -62669/13113 - -2/1457. Is -2/3 < d?
False
Let m = 2029 + -2033.5. Is -3/5 bigger than m?
True
Let l = 0.214 + 0.086. Let c be 0 + 3 - (1 - 2). Let p be ((-1)/c)/(4/(-24)). Do p and l have the same value?
False
Let i = -77.3 + 97. Let t = 51.5006 - 51.5006. Is t equal to i?
False
Let b(x) = -x**2 - 10*x - 1. Let s be b(-11). Let y be (-35)/(-1) - (s + 16). Let c = y - 56. Which is smaller: c or -1/2?
c
Let j = 56 + -58.3. Let t = -38929 - -38929.6. Is j at most t?
True
Let o(u) = -1450*u**2 + 3 + 1452*u**2 + 2 + u**3 - 18*u. Let m be o(-6). Is -31 less than or equal to m?
True
Let f(r) = -8*r**2 - 95*r - 13. Let t be f(-12). Is -310/13 equal to t?
False
Let y be (-1822)/(-6524) + 52/(-182). Let v = y - 2583/33086. Is v > -1?
True
Let s be (4/21)/((-5)/(160265/114)). Are -53 and s unequal?
True
Let f = -153293/115 + 1333. Let x = -252/1265 + f. Is x at least -23?
True
Suppose -d - 2*l - 83 + 5 = 0, -3*d - 237 = 5*l. Let s be (0 - (-2776)/d) + (-4)/14. Which is smaller: s or -32?
s
Let l = 70 + -55. Let o be -3 - 2/(-4)*(13 - 7). Let f be (0 + -8)/((o + 1)/(-2)). Are f and l equal?
False
Let v = -3.283 - -23.283. Are v and 0 equal?
False
Suppose -m - 4*v - 20 = -v, 2*v = -5*m - 100. Let h(o) = -o**2 - 44*o - 502. Let d(q) = -117*q + 563. Let k be d(5). Let r be h(k). Which is smaller: m or r?
m
Let s = 224.7865 + -223.8. Let b = -0.0635 - s. Is 1/3 at least as big as b?
True
Let u = -4176 - -4021. Which is greater: u or -159?
u
Let d = 5943977/11 + -540991. Let z = -630 - d. Is 3 less than z?
False
Suppose 45*k = -15*k + 4203 - 19923. Which is smaller: k or -258?
k
Let i = 0.1 - 1.1. Suppose 0 = 5*v - 3*k - 85, -v + 7 + 10 = -4*k. Suppose 4 = 5*u - 2*p, -v*u + 10 = -18*u + 4*p. Is u greater than i?
True
Let d = 3402 - 3326. Is d at least 81?
False
Let g = 799 + -824.8. Let a = -74 - -48. Let p = g - a. Which is bigger: 0 or p?
p
Let u = -21 + 40. Suppose -42 = -l - 66. Let g = u + l. Is -5 greater than g?
False
Let d be -12 + 4 + -1 + 9. Let s = 3700/9 + -3370682/8199. Are d and s non-equal?
True
Let w = -1619611/15 + 107891. Is -84 at most as big as w?
True
Suppose 2*k = -5*w - 1, -2*k - 29 = -4*w - 1. Let b = -13 - k. Let m(v) = v**3 + 4*v**2 - 6*v - 7. Let h be m(b). Which is smaller: 0 or h?
h
Suppose 0 = -4*j + 3*t + 14, -2*j + t - 3 + 11 = 0. Suppose 5*y + 10 = j*f, -f + 5 = -3*y + 1. Is y less than or equal to 1/16?
True
Suppose -13*s = -679 - 6731. Which is smaller: s or 561?
561
Suppose 2*l - 5*j - 20974 = -j, 3 = -j. Let d be (1 - 4) + l/(-15). Let m = d - -702. Is m smaller than 1?
True
Let y = 107 + -83. Let g be 2 + (-42)/y + (-146)/8. Let z be 36/609 + g/(-63). Which is bigger: 0 or z?
z
Let v(o) = 20*o**3 - 3*o**2 - 11*o + 12. Let x be v(4). Suppose x = -10*f + 22*f. Which is greater: 99 or f?
f
Let d = 117 - 64. Suppose 147 = -d*b + 56*b. Let j = b + -28. Which is greater: j or 23?
23
Suppose -23 = -4*t - 167. Let o = -28 - t. Suppose -2*i + 4*i = o, -y + 4*i = 21. Which is smaller: y or -4?
y
Let l be 548/(-25) + ((-4445)/875 - (1 + -6)). Let z be 2/8 - (-101)/(-4). Is l at least as big as z?
True
Let h = -1454 - -1455. Are -4/1209 and h equal?
False
Let n(d) = -28*d**2 + 837*d + 79. Let h be n(30). Which is smaller: -285/26 or h?
h
Let l be (-21)/(-189) + 37/(-9) + 10. Suppose -l*g + 88 - 112 = 0. Which is smaller: g or -0.4?
g
Let l = -142133/8 + 17776. Suppose -o + 0*o + 3 = -3*u, 5*o - 53 = -4*u. Which is greater: o or l?
l
Let c = -0.6551 + -27.3449. Which is greater: c or -88/5?
-88/5
Let a be ((-110)/(-60))/(4/(-6)). Let g be (-1636)/(-528) + 10/(-55). Let w = a + g. Is 1 at least as big as w?
True
Let