greater: j or 2.2?
2.2
Let l(a) = -a**2 + 97*a - 1818. Let q be l(26). Let j be 179/6 + (-2)/3. Is j > q?
True
Let u be (-4)/(-7)*23352/72*3. Which is smaller: 535 or u?
535
Let l(o) = 2*o**2 - o - 1. Let m be l(7). Let u = -90 + m. Let y be (70/20 - 2) + 17/(-6). Is y < u?
True
Let h = -0.016 - -8.116. Let x = h + -8. Suppose -5*f = 4*y - 0*f - 151, 4*f = 3*y - 90. Which is smaller: y or x?
x
Let a = 72 - 24. Let f = 48 + a. Let q = f - 92. Is q greater than 4?
False
Let f be (-13932)/(-108)*2/(-3). Which is smaller: f or -776/9?
-776/9
Suppose 19*u - 30*u = -45*u. Do u and -19/47 have the same value?
False
Let n = 0.094 + 9.906. Let f = n + -9.6. Let d = -3.6 - f. Which is smaller: d or 1?
d
Let v = 55.953 + -56. Let m = v - 0.473. Let l = 0.5 + m. Is l at most as big as -2?
False
Let r be ((-80)/25 + 0)/((-2)/10). Let c be -4 - ((-836)/r)/(-1). Let k = c + 887/12. Are k and 17 equal?
False
Let d = -42 - -111. Let p(z) = 16*z + 22*z**2 - 21 - d*z**2 + 18*z**2 + 28*z**2. Let j be p(14). Which is smaller: j or 52/7?
j
Let x = -36075 + 19083669/529. Is 0 >= x?
True
Let d = 2.251 + -2.096. Is 8/17 != d?
True
Let x = 3 - -1. Suppose -91 = -16*r + 261. Suppose 110 = -x*v - r. Which is smaller: -34 or v?
-34
Suppose 0 = -3*h - 0*h + 6. Suppose 0*y - 3*r + 11 = h*y, y - 8 = -2*r. Let p be -2*6/(-9) + -2. Which is smaller: y or p?
y
Suppose 3*z - 5*a = -14, -11 = z + z - 5*a. Let j be (9/(-99) - 130/627)*z. Which is smaller: j or 2?
j
Let r be (24/20)/(4/230). Let d = r - 105. Let w = d + 46. Which is smaller: 11 or w?
w
Let d = 589.8 + -591.8. Is d not equal to -1482?
True
Let v = 0.01484 - 2452.01484. Is 2/5 > v?
True
Let r = 8.81 - 9.11. Let z = 0.6 - 0.2. Let k = z - 0.45. Which is bigger: k or r?
k
Let z(x) = 44*x**3 - x - 1. Let u be (-5)/4 + 8/32. Let n be z(u). Let k = 41 + n. Which is smaller: k or 0.1?
k
Let v(w) = w**3 + 3*w**2 + w - 2. Let x be v(-2). Let i be (421/73675)/(9/21). Is x equal to i?
False
Suppose 341*t - 1458849 - 155763 = 1902121. Is 10312 at least as big as t?
False
Let g = 0.033 + -66.033. Let t = 65.99 + g. Is t at least -0.8?
True
Let w = -578 - -308. Let h = -242 - w. Which is bigger: 29 or h?
29
Suppose -25 = 3*t + 38. Let d be 4/26 + (-12925)/611. Is d at least as big as t?
True
Suppose 7*g = 5*g. Let j be 1070/107 - (-18928)/(-1892). Are j and g non-equal?
True
Let k = 1664 + -827. Let s be ((-6705)/k + 8)*2/(-2). Is 1 at most as big as s?
False
Let k = -31303 + 31302.823. Is k less than 2.4?
True
Suppose -12*o - 55 = -355. Suppose -3*j + o*j - 1892 = 0. Are 86 and j equal?
True
Let j(n) = 178*n + 7. Let r be j(-1). Which is greater: -164 or r?
-164
Let o = -0.94891 - 0.05109. Are o and 2899 unequal?
True
Let q(w) = -54*w - 917. Let i be q(-17). Which is bigger: i or 3/4594?
i
Let b = -378 + 247. Let j = 130.98 + b. Is -1 at most j?
True
Suppose 16*y + 24 = 8*y. Let b be -21 + y + (-4 - -5). Do b and -24 have the same value?
False
Let s = 7.69 - -278.31. Which is smaller: s or -2?
-2
Let b = -352 + 190. Let w = b + 179. Which is bigger: w or -1?
w
Let x = 23854 - 23839. Which is bigger: x or 97/6?
97/6
Suppose -3721 = 42*j + 4361 + 108. Is -188 not equal to j?
True
Let h be (4/(-6))/(8/(-420)). Let q(b) = 0 + 2 - 9*b + h*b**2 - 42*b**2 + 0*b**3 + 2*b**3. Let u be q(5). Is u > 34?
False
Let a = 9522132243/2296282 - 588863/142. Let j = 16/103 + a. Which is greater: j or 0?
0
Let h = -968.7 + 968.3. Let y = -0.3 + -0.2. Which is bigger: y or h?
h
Let n = 203 - -52. Suppose 0 = -81*h - 56*h + 41*h + 24576. Is h less than n?
False
Let w(t) = t**3 + 9*t**2 - 10. Let h be w(-8). Let u = -46 + h. Suppose 5*f - u = -3. Is 3/74 bigger than f?
False
Let s be 1 + 97 + 1 - 1. Suppose 0 = 4*b - 5*f + 86 - 434, 2*f = -2*b + 210. Are s and b non-equal?
True
Suppose -2*v - 3*v + 7 = -4*k, 3*v + 3*k + 12 = 0. Suppose 99*a - 10 = 98*a + 3*g, 22 = 5*a - g. Let h be -43 + a + 5/v. Is h <= -85/2?
True
Let v(j) = 2*j**2 - 17*j + 11. Let d be v(5). Let m be 5 - (0 - (0 + -5) - (-34 + 11)). Which is bigger: m or d?
m
Suppose -12 = -4*w, 4*n = -0*n - 5*w + 43. Suppose -8 = 3*x - n*x. Suppose -4*z = x*u + 6, -z = -u - 1 + 10. Is u bigger than 4?
True
Let i(h) = -65*h**2 + 119*h**2 + h - 52*h**2 + 22. Let o be i(-9). Which is greater: 174 or o?
o
Let j be 4 - 4/(3216/3218). Let p be ((-1)/2)/(212/(-424)). Which is bigger: j or p?
p
Let c = 601 + -602. Let g(q) = q**3 - 13*q - 13. Let f be g(c). Let y be (-2)/3 - 100/(-159). Which is smaller: y or f?
f
Let l(b) = b**2 - 5*b + 1. Let z be l(5). Let y be (-4)/z*(-5)/4. Suppose 2*m + w + 4 = -0*m, -y*m - 5*w - 20 = 0. Which is smaller: -2/33 or m?
-2/33
Suppose -125 = -5*i - 110. Let v be i/9*(-9 - -6). Which is smaller: v or 1/64?
v
Suppose 4*s = z - 842, -36*z - 416 = 2*s - 34*z. Let o be (-24)/(-56) + 6/s. Are 132 and o non-equal?
True
Suppose 3*x = 2*x - 17. Let z = 149126 - 149143. Is z less than x?
False
Let y be ((-16)/5)/(2*2/(-10)). Let i(h) = -h**2 - 27*h - 84. Let m be i(-23). Do m and y have the same value?
True
Let u(w) = 21*w + 482. Let k be u(-23). Let t = -101809/126 + 808. Which is smaller: t or k?
k
Suppose h + 3*a - 9 + 3 = 0, 12 = 5*h - 3*a. Let u be ((8 - 7)/(h/(-3)))/(-1). Is 1/83 at least u?
False
Let a be -2*1/(-2)*3. Suppose -k = -a*w + 8, -5*k + 19 = 5*w - 21. Let l be (-2)/(-13) + k + 162/(-39). Which is greater: l or 2/31?
2/31
Let w = 3673 - 7438. Is w >= -3766?
True
Suppose 3*r + 5 = -19. Let b(u) = u**3 - 23*u**2 - 21*u + 10. Let l be b(24). Let y = -88 + l. Is y greater than or equal to r?
True
Let h be (28/(-6))/((-20)/(-15)) + 4. Let a be -1 - (3115/(-625) + 4). Which is smaller: a or h?
a
Suppose 2*s - s = 30. Suppose -3*i = -6, 4*l + 5*i - 16 = 3*i. Suppose 3*y - s = -l*y. Is y < 5?
False
Suppose -z - 5*t - 464 = 0, 0 = -5*z - 2*t - 1368 - 952. Let w be 164/205 + 1/((-170)/z). Which is smaller: 5 or w?
w
Let f be -4 - (-5 + 5) - 122. Let u = -140 - f. Which is bigger: -19 or u?
u
Suppose -38*d + 8*d = 1590. Which is greater: -262/5 or d?
-262/5
Let i = 10162/5 + -30647/15. Is i greater than or equal to -12?
True
Suppose 267*m = 270*m + 63. Let x be -1*(39*(-2)/m + -4). Is x at least as big as 1/22?
True
Let a(g) = g**2 - 78*g + 804. Let t be a(65). Let z = 23.8 - 24. Is t > z?
False
Let a(c) = 49*c**2 + 573*c + 6864. Let r be a(-12). Which is bigger: r or 7043?
r
Let m = 5670.9 - 2755.9. Is m != 2/9?
True
Let n = -7 - -1. Suppose 3094 = -3*c - 3*z + 4*z, 0 = -c + 3*z - 1042. Let j = c - -5113/5. Which is smaller: j or n?
j
Let s = -3581.95 + 3582. Which is bigger: -154 or s?
s
Let z be (-13)/((-65)/(-100))*10/4. Let k be z/(-3)*(24 + -27). Which is greater: -248/5 or k?
-248/5
Let r = -119 - -76. Let t = r + 45. Suppose y + 4*p + t = 2*y, -p = -4*y - 37. Is -11 less than y?
True
Let a = 8763419/31161 - 3656/13. Are 0 and a equal?
False
Let d = -10/33697 - -3338773/9334069. Which is bigger: d or 0?
d
Suppose 5*l - 3*l + 3*r = -60, 2*r + 80 = -3*l. Let z = l - -25. Let u be z*((-45)/24)/(-5). Is -1/6 smaller than u?
True
Let i = -547 - -552.3. Let v = i - 9.6. Which is smaller: v or -2?
v
Let w(g) = g**2 - 33*g + 114. Let d be w(4). Let i = -173344901/104280075 + -34/219537. Let x = i + -2/475. Is x equal to d?
False
Let v = 362 + -349. Suppose 0 = 3*r + 3*q + 9, -r - 3*q + 2 = v. Let i be 3/(-40) + 0 + 0. Which is smaller: r or i?
i
Let g(v) = -14*v + 65. Let a = -55 + 59. Let c be g(a). Let l be 35/28*c/15. Which is smaller: -12 or l?
-12
Let t = -33 - -17. Let y(n) = 3*n**3 + 48*n**2 - 3*n - 47. Let f be y(t). Let h be (-10)/(-18) - 2/6. Is h < f?
True
Suppose 867 = -1186*s + 1169*s. Which is bigger: 5 or s?
5
Let a = -41/66 + -1/22. Let d = 82631 - 82628. Is d smaller than a?
False
Let w = -16 + -31. Let p = 4164 - 4211. Do w and p have different values?
False
Let g = 2/131537 - 4167648/131537. Is g at least -33?
True
Let v be 4/(-12) - ((-3)/5 - 3676/390). Which is smaller: v or -10?
-10
Let s be ((-28)/2)/((-1)/(-7)). Let a = 1.12028 + -0.12028. Do a and s have different values?
True
Suppose 17*x = 24*x + 196. Let l(w) = -w**3 - 29*w**2 - 27*w + 36. Let b be l(x). Which is greater: 0.3 or b?
b
Let u = -31979/45 + 3591/5. Let t = -20 + 27. Which is smaller: t or u?
t
Let v be ((-8)/12)/((-26)/(-39)). Is -1/17556 >= v?
True
Let v = 53 + -49. Let z(f) = -1