(j) = j**2 - 5*j + 9. Let k be g(6). Suppose -30*b - 20 = -35*b. Suppose s + m = 12, 0*s = 5*s - b*m - 87. Is s < k?
False
Suppose 29*j + 36*j = 3*j - 62. Is j greater than -33/41?
False
Let y = -0.0402 + -141.9598. Let b = y + 120.7. Is b smaller than -0.2?
True
Let l = -7.32 - 1923.68. Which is greater: l or -2/7?
-2/7
Let i = -197.67 - -32.67. Do 4/7 and i have different values?
True
Let p = 92.382 - 92.3. Let k = -1.2 - -1.248. Let g = p + k. Is -3/5 < g?
True
Suppose 0 - 1 = -q + 4*k, -2*q + 4*k = 14. Let n be (4/(-34) - q/(-17))*-1. Is 1/96 less than n?
True
Let u = -5070 - -8725. Is u greater than 3654?
True
Let m be 9/(4/10*(-5)/(-2)). Let v be (3/m)/(16/(-2896)). Which is smaller: -59 or v?
v
Let b = 38787 + -38827. Is b > -2?
False
Suppose -2*u + 0*u = -6. Suppose -9*w + 47 = -10*w. Let f = w + 51. Does f = u?
False
Let f be (2554/(-6))/(4/12*-11). Suppose 0*t + 5*t + 4*v = 572, 0 = 2*t - v - 234. Let s = f - t. Which is bigger: s or 1?
1
Let y = -218818 - -218793.9446. Let h = y + 0.0554. Let x = -0.1 - -0.1. Which is smaller: x or h?
h
Let k be (-4 + (-26)/(-6))/((-738)/(-1290)). Let g = 7/9 - k. Is -1 >= g?
False
Let m(r) = 2*r - 23. Let h be m(11). Let x be ((-1)/2)/(h/26). Let k = 29 - x. Is 16 < k?
False
Let s = -3753 + 3669. Does 0.6 = s?
False
Let o = 17 - 15. Suppose -5*y + o*x = -1 + 148, -70 = 2*y + 2*x. Let t = 66 - 96. Is y bigger than t?
False
Let r be (-1 - (-9 - -1)) + 154/(-21). Let v(o) = -o**2 - 8*o + 10. Let a be v(-9). Does r = a?
False
Let v = -0.008 - 6.992. Let d = -4.34 + 1.34. Is v at most as big as d?
True
Let w = -3495 + 3495. Is 2/117483 less than or equal to w?
False
Let g = -61/106 + 3/742. Which is bigger: 389 or g?
389
Suppose 0 = 4*r - 5*w + 4, -11*r - 3 = -8*r - w. Is r equal to 1023?
False
Let v be (-4)/(-6) - 15533/(-42). Let t = v - 20751/56. Let r = 494 + -494. Are t and r equal?
False
Let p = -153817/1991 + 850/11. Suppose 0 = d + 2*j - 29, 2*d - 3*j + 182 = 135. Which is smaller: d or p?
d
Let c = -4073 + 4073. Which is bigger: c or -2/477?
c
Let l be 130/(-35) - (-2)/(-7). Let o be (-1)/l + (-3 - 5367/(-1956)). Which is smaller: 1 or o?
o
Let c = 3814/3 + -1271. Is c at least -2226?
True
Let v = -7811/364 - -311/13. Which is smaller: -2/9 or v?
-2/9
Let v be (-10)/(-30) - (-76)/(-204). Which is bigger: v or -10?
v
Let u(d) = -2*d**3 - 19*d**2 + 8*d - 8. Let y be u(-10). Let m(k) = 3*k**3 - 35*k**2 - 11*k - 21. Let c be m(y). Let j = -3/62 - 3209/310. Is c greater than j?
True
Suppose -4*x = -5*w + 14, 3*x + 13 = -0*w + 5*w. Let a be 0 - w - (56 - 18). Are -41 and a nonequal?
True
Let k = 8780 - 8750. Suppose -17 = -2*d + 41. Does d = k?
False
Let f = -0.12652 - -1.52652. Is f at most as big as 14/11?
False
Let j(z) = 2*z**2 + 34*z + 3. Let b be j(-17). Suppose s + 2*s - 81 = -b*i, -i - 5*s + 27 = 0. Does i = 29?
False
Let c be 196/(-6384)*(-5)/(-21). Is 1 greater than or equal to c?
True
Let t be 20/(-15) - (-3 - (-416)/264). Is t equal to 35?
False
Let l(f) = -f**2 - 6*f - 4. Let j be l(-5). Let x be (-185)/10582 + (-4)/(-26). Let c = x - 329/2090. Is j at most c?
False
Suppose -66 + 36 = -2*s. Let n be s/(-40) + 485/(-8). Is -60 <= n?
False
Let k = 69 - 68.45. Let n = 0.554 - k. Let t = n - -0.196. Which is bigger: 6/5 or t?
6/5
Let s be ((-6)/(-12))/((-15)/4). Let k = -0.22 + 0.26. Let q = k - -0.16. Is q at most as big as s?
False
Let n be 2/(-8)*1 + -4*(-51)/48. Let h = -190 - -359. Suppose -17*y - h = -n*y. Are y and -13 nonequal?
False
Let v be 47/(-7) + (-48)/168. Which is greater: v or 33?
33
Let w = 3/64534 - -116825/263363254. Is -4 at least as big as w?
False
Let r = 23 - 17. Let i = -3400 - -3404. Is i at most r?
True
Suppose 11 = 4*s + x, 0*s = 2*s + 5*x - 1. Let u(t) = 6*t - 23. Let c be u(s). Let w be c/(15/51) + -4. Which is bigger: w or -23?
w
Let j be -10 + (-16)/((-960)/(-633)). Which is smaller: j or -22?
-22
Suppose 16 = -0*w + 8*w. Let p be 8002/(-14145) + w/3. Let l = p + -6/115. Which is bigger: l or 0?
l
Suppose -61*k + 62*k - 9 = 0. Let z be ((-39)/(-6) - 3)*156/(-28). Let v = -11 - z. Which is greater: v or k?
k
Let x(d) = -5*d + 33. Let i be x(-6). Suppose 0 = i*p - 68*p - 20. Is 4 less than p?
False
Let n be (-21)/(-42)*20/(-62)*2/(-5). Is 0 > n?
False
Let j be (-1888)/160 - (-7 - 6). Is j bigger than -69?
True
Let n = 7.322 - 3.322. Is 0.085 < n?
True
Suppose -5*m + 0*m = i + 15, -4*m - 26 = -2*i. Let c be 8/m*10/(-50). Which is bigger: -3.1 or c?
c
Let l be 2892/24*(0 + 2)*1. Let i = l - 237. Is 22/7 at most as big as i?
True
Let m be 2308039/(-1122) + (-2)/(-4). Let c = m + 2057. Do c and 1 have the same value?
False
Suppose -16 = -4*m - 4. Let n be m*(25/(-15) + 5). Let v = -41 + n. Which is smaller: v or -33?
-33
Let s = -37274 - -35541. Which is smaller: -12126/7 or s?
s
Let s(d) = d**2 - 30*d - 575. Let w be s(32). Which is greater: -507 or w?
-507
Let g = -2045/6 + 340. Let x = 27.6 - 17. Let j = -8.6 + x. Which is smaller: j or g?
g
Let h(t) = -t**3 - 5*t**2 - t. Let d be h(-5). Let m(w) = 3*w**2 + d + 5*w - 11*w - w**3 + 9*w. Let b be m(4). Which is greater: b or 1/21?
b
Suppose -5*l - 1 = -11. Let h be l/5 - 9/(-15). Let x be 16/((-560)/(-21)) + (-2 - -1). Is h <= x?
False
Let a = 543.46 + -8.46. Let l = -528 + a. Are l and 23 non-equal?
True
Let z be 6/27 + 20/(-9). Let w = 2008 - 2015. Let o = w - z. Is o less than or equal to -3?
True
Suppose -2*j = -5*f + 218, -4*j + f - 619 = -255. Which is greater: 10.6 or j?
10.6
Suppose 2*g = 3*s + 5*g - 39, 0 = 3*g - 3. Suppose 31 = -5*j - 2*a, 5*j - 13*a + 40 = -18*a. Let k be j/6 + (14 - s). Which is greater: k or 0?
k
Let k = 2.27 + -3.24. Let u = k - 0.03. Let y = -27.78 + 3.78. Is u not equal to y?
True
Let a = 830110/301 + -19342/7. Do a and -4 have the same value?
False
Let x = 4.9 - 8.6. Let d = x - -4. Let a = 31/13 - 80/39. Which is greater: a or d?
a
Let a be (-6)/((-2 - -1)*2). Let t be (-2 - -14)*5/(-120)*-8. Suppose -a*k + 24 = -3*o, -t = 4*k - 5*o - 34. Which is bigger: k or 12?
12
Let x = 69/3026 + -189557/3004818. Which is greater: x or 1?
1
Suppose s + 3 = 3*d + 14, -3*d = 0. Suppose y - 35 = s. Let z = y + -21. Which is bigger: 26 or z?
26
Let f be (3 - 2)/(3/(-855)). Let b be ((-16)/24)/(1/429). Is b at least as big as f?
False
Let p = 18.66 + 0.34. Let r = -18.36 + p. Let w = r - -1.26. Is w < 1?
False
Suppose 12*h = 28*h - 2384. Let q = h + 80. Are 229 and q unequal?
False
Suppose 0 = -k + 5*f - 133, 4*k = -k - 4*f - 636. Suppose 11530 - 1102 = -129*g - 6213. Which is smaller: k or g?
g
Let w = 181771/8 + -22722. Which is smaller: w or 0.105?
w
Let k = -93.87 + 92. Let f = -1.97 - k. Which is smaller: f or -0.018?
f
Let f = 9825.1 + -9825. Which is bigger: f or -8299?
f
Let b be -2 - (3 - (-6)/(-2) - 4). Suppose b*s + s = 18*s. Let l(m) = m**3 + m**2 + 9. Let g be l(s). Which is greater: g or 3?
g
Let y be ((-52)/(-8))/(5/(-10)). Let g = -27 - y. Let a be (3/7 + 6/g)/(-1). Is a >= 3/14?
False
Suppose 0*m = 4*m. Let p = 16782 - 1090824/65. Which is smaller: m or p?
m
Let j = -1312 + 1312.1. Is j greater than -6/1163?
True
Let z be (8 - 15)*1 + 28. Suppose -5*y - 6 = -5*j - z, 2*y = 4*j + 8. Is j < 1/216?
True
Let b be 0 - (-1)/(1/(-19)). Suppose -31*v + 20 = -21*v. Suppose -2*m + h - 32 = 0, -m + h - 49 = v*m. Which is smaller: b or m?
b
Let a be (-7)/((-49)/272) + 0. Suppose 43 = p - z, 18*z = -5*p + 19*z + 203. Is p at most a?
False
Let k = -2.22 + -1.13. Let f = k - -3.3. Let c = f - 0.15. Which is smaller: 2 or c?
c
Let z = 877 + -1755/2. Is 68 less than z?
False
Let g be (-1912)/(-15)*(-5)/(-18). Let r = -19/1005 + -107143/3015. Let t = g + r. Is t greater than or equal to 1?
False
Let c = 337854/25 - 13516. Which is smaller: -3 or c?
-3
Suppose 4*c - 5674 = 5*b, 23*b = 18*b + 3*c - 5678. Which is bigger: b or -5684/5?
-5684/5
Let d = 120.63 - 1.63. Is d at least as big as -13?
True
Let c be (2 + (-1)/2)/(8/(-624)*-3). Which is greater: c or 57?
57
Let o(z) = -6*z. Let b be o(0). Let l be (-88)/(-5) - b - 34/(-85). Let h(d) = -d + 18. Let n be h(l). Are -2/191 and n equal?
False
Suppose -t = -4*t - 3207. Let a be 1/11*2*(-117730)/(-20). Let w = t + a. Are -1/2 and w equal?
False
Let l = 8 + -5. Let q = 55 - 51. Suppose l = q*c - r - 6, -r = c + 4. Which is smaller: c or 2?
c
Supp