aller: i or 0.1?
i
Let p = -13096 - -13095. Let f be (-309)/525 - 3/(-5). Which is greater: f or p?
f
Let h be (199/(-2))/((-56)/1568). Which is greater: 2784 or h?
h
Suppose 140*n = 14 - 14. Which is smaller: n or -1/3273?
-1/3273
Let u = -221/472 + -15/472. Let n = -1456.54 + 1425. Let s = n + 32. Is s not equal to u?
True
Suppose 5*p - 8*k + 9*k = 7910, -2*p + 4*k = -3164. Is p > 1581?
True
Let y = -245401 + 5890459/24. Let p = y - 110/3. Which is smaller: -1 or p?
p
Suppose -15*a - 116 = -19*a. Suppose -3*q + 26 = a. Suppose 5*x - w - 14 = 0, -4*x + 4*w = x - 26. Is q != x?
True
Suppose 0 = -13*n + 3110 + 1544. Let i = n + -380. Which is smaller: -23 or i?
-23
Let k(p) = p**3 + p**2 + p. Let a be k(-3). Let g be -1 + 0 + 1 - (-26 - 0). Suppose -31*c + g*c = 90. Which is greater: a or c?
c
Let l = -54 + 52. Let a be 3/l*(3344/(-834) - -4). Is a bigger than 1?
False
Let c = 683 - -834. Let z = -1030 + c. Is z >= -1?
True
Let t be (2 - 14/3)/(15*(-6)/(-270)). Suppose -a = -0 - 5. Let h = -3 + a. Which is bigger: h or t?
h
Let j = -31.3 + 787.3. Let q = -756.05 + j. Which is greater: 0 or q?
0
Let b = 975 + -961. Let q = 77 - 61. Which is smaller: q or b?
b
Let t(y) = y**3 + 9*y**2 - 7*y - 9. Let r(h) = h**2 + h - 1. Let d(u) = -2*r(u) + t(u). Let l be d(-8). Let a be (6/(-216))/((-6)/4). Is l < a?
False
Let s be (-32)/(-64) - (41/(-2))/1. Suppose -s*v + 5 = -20*v. Let i = 5 - -1. Is i <= v?
False
Let w = 54 - 66. Let r be w/28*(-6)/(-153). Let n = 43 - 42. Are n and r equal?
False
Let c(a) = 12*a**2 + 2*a - 22. Let b be c(4). Let w = -164 + b. Which is smaller: 17 or w?
w
Let k = -0.146 + -35.204. Let x = k - -0.35. Let r = x - -64. Is 0 > r?
False
Let b(h) = -392*h + 700. Let v be b(2). Let q(n) = 12*n + 1. Let m be q(-7). Which is bigger: v or m?
m
Let r = 2 - -2. Let q = 507 - 502. Let m = q - r. Is -1/39 at least m?
False
Suppose 3*k = 18*k - 30. Suppose 5*j + 23 = k*j + 5*a, -5*j - 5*a = -15. Let m = -169 + 2199/13. Does m = j?
False
Suppose -39 = -3*b + 3*p, -5*b = -0*p + 2*p - 72. Let h be 48 + b + 6/1. Is h at least as big as 66?
True
Let u be (2 - 21/(-6)) + (-2)/4. Suppose -u = -3*s + 4. Suppose 2*w = 2*c - 0*w + 2, 5*w + s = -3*c. Which is smaller: -3/44 or c?
c
Let b = 3173/3 + -1072. Suppose 3*d + 4*r - 76 = 98, 0 = -5*d + 4*r + 322. Suppose -4*g - d = 2*u, 4*u - 20 = -4*g - 84. Is g >= b?
False
Let a = -70 + 981/14. Suppose 4*j + 4 = -2*w, 2*j + 2 = 2*w - 0. Suppose -2*o + w*o = -o. Which is bigger: a or o?
a
Let r = 11338 + -11333. Do r and 338 have different values?
True
Let v = 239 + -237. Let b be (v/55)/(-9 + 49/5). Is b <= 0?
False
Let b = -7636/13 - -587. Let s = -18 + 26. Suppose -121*n + 113*n = s. Is n not equal to b?
True
Let o be 2162/(-1449) + 10 - 2/7. Is 8 greater than o?
False
Let q = 27 + -16.2. Let d = q + -65.8. Let v = 54 + d. Which is bigger: v or -0.095?
-0.095
Let v = 866 - 547. Do v and 2860/9 have different values?
True
Suppose -3*c + x = 3899, -7*x + 2639 = -2*c - 12*x. Is -1302 at most as big as c?
True
Let h be (-2)/((-4)/(-40)*-4). Let f(a) = -2*a + 78. Let t be f(-5). Let z be t/12 - (7 - h). Which is greater: 6 or z?
6
Let o(w) = -2*w**2 + 59*w - 71. Let u be o(28). Suppose 141 + 223 = -u*g. Is -27 < g?
False
Let m = 240 + -230. Let q be 586*1*5/m. Which is greater: q or 294?
294
Suppose -4*i = -5*q + 332, -126 = -2332*q + 2330*q + 5*i. Suppose -213 = -4*g + g. Is q smaller than g?
True
Let f = 7658 - 7626. Suppose 2*q = -b - 1 - 10, 5*b + q + 10 = 0. Let l(i) = 28*i**2 - 2*i. Let a be l(b). Which is smaller: a or f?
a
Let b be (-24)/(-3)*6*15/40. Suppose -b*l + 57*l = -6630. Is l at most as big as -169?
True
Let d = -44 + 71. Let q be (-104)/39*(d/(-4) - 0). Let h(c) = c**2 - 16*c - 38. Let f be h(q). Which is bigger: -13/4 or f?
f
Let n = -17299/7 + 2471. Let g be ((-680)/24)/((-4)/3 - -1). Which is smaller: g or n?
n
Suppose 80*d - 101*d = 0. Are d and -15/896 equal?
False
Suppose 81*z - 60 = 86*z. Let v be (3 + (-20)/15)/(1/(-3)). Is v less than or equal to z?
False
Let v(s) = 4*s + 24. Let g be v(3). Let a = -22 + g. Let j = 46595/3516 - 2/879. Is a at most j?
False
Let f = 210 + -110. Let s = -141 + f. Let n = -42 - s. Is n at least -1.4?
True
Let w be (-108)/(-27) + ((-6)/12 - (-2748)/(-782)). Which is greater: w or 1?
1
Let n(z) = z**3 + 2*z**2 + 2*z - 1. Let l be n(2). Suppose l*k - 13*k = -48. Let q be 4/(-24)*k*1. Which is bigger: 0 or q?
q
Suppose -59 = -35*l - 93 - 176. Is l greater than 108/11?
False
Let n be 2/(-6)*(0/(-11 + -3))/2. Which is bigger: n or 1/8841?
1/8841
Let h be -2 - 4/(-2) - -2. Suppose -h*d - 2*d = -0*d. Is 3/17 greater than d?
True
Let o = -350 + 343.9. Is o smaller than -9?
False
Let m = 64 - 452/7. Let z(j) = j**2 + 16*j + 14. Let h be z(-15). Which is smaller: m or h?
h
Let c(l) = -l**3 - 9*l**2 - 8*l - 13. Let r be c(-9). Let m(w) = 3*w**2 - 45*w - 102. Let n be m(18). Are r and n equal?
False
Let h = -9455 + 9467. Let q = -123.8 + 136. Let n = q - h. Is n less than 0.2?
False
Let h = -99109/2 + 201143/4. Let c = 1173/2 - h. Let r = -145 - c. Which is smaller: -9/14 or r?
-9/14
Let f be 12/(-2) - -398*(-410)/(-41). Does 3975 = f?
False
Suppose 0 = 2*h + 4, -61*h = -10*d - 57*h + 308. Is d <= 27?
False
Let n = -28302420/7 + 4055280. Let b = n + -12056. Which is greater: 21 or b?
b
Let o = 2.6 - 1.72. Let f = -441702/7 - -63434. Let b = f + -334. Is o at most as big as b?
False
Suppose -23259 = -26*k - 5033. Is 700 greater than or equal to k?
False
Let y(h) = 5*h**3 - h**2 + 18*h + 115. Let r be y(-9). Which is greater: r or -3772?
-3772
Suppose 83*y - 87*y = g + 17, 3*y + 7 = 5*g. Is 4/3407 bigger than g?
True
Let j = 31068/7 - 4436. Suppose -p + 10 = 6*v - 2*v, 0 = 4*p + 2*v - 12. Which is greater: p or j?
j
Let k = -400 + 404. Let l be 1 - (8 - k) - -13. Which is bigger: -15 or l?
l
Let l(j) = 582*j - 2830. Let d be l(4). Is -494 at least as big as d?
True
Let c be (-5)/((8 + -13)/(5 + 1)). Let u be -8 - (0 - ((-30)/c - -2)). Let x be 1/(6/(-5) + 1). Is u > x?
False
Suppose -93*m + 71*m - 2662 = 0. Which is smaller: -116 or m?
m
Let m be (-101)/3 - 4/(-6). Suppose -17 = 5*j + 23. Let a(y) = -y**2 - 5*y - 9. Let o be a(j). Is o greater than or equal to m?
True
Suppose 0 = w + 4 - 6. Let z be (w + 1178/(-590))/(12/(-90)). Is z not equal to 1?
True
Let g = 32404.847 - 32405. Which is smaller: g or -35/3?
-35/3
Let k = 593 + -644. Let j be k/(4 + 287/(-98)). Is j <= -48?
False
Let y(b) = -b**2 + 7*b + 12. Let z be y(8). Suppose 5*x = z + 11. Let s be (9/x - 1) + -1. Which is bigger: 3/10 or s?
s
Let j = 33494 + -276358996/8251. Which is smaller: j or 0?
j
Let u = 22 - -6. Let z be -1 - -4 - (-2 + -6)/4. Let w be z*-1*16/200. Are w and u unequal?
True
Suppose 0 = 27*k - 5901 - 14862. Which is smaller: k or 3?
3
Let h be 1011/18 + -4*(-3)/(-72). Let d be 38/(-6) + (-9)/(-27) + h. Is d != 55?
True
Let u = 3/295 + 141/59. Let m = 1274 + -1272. Are m and u unequal?
True
Let x(y) = -3*y**2 + 23*y - 9. Let z be x(7). Suppose -2*a - 3*a - n = -3, 5*a = z*n - 15. Which is smaller: a or -1/48?
-1/48
Let j(u) = -4*u**3 + u**2 - 2*u. Let c be j(2). Let x be (18/152)/(((-12)/c)/(-1)). Is x less than 0.6?
True
Let o(l) = -l**3 + 10*l**2 - 11*l - 4. Let d be o(8). Let w = d - 37. Let r = 24 + -21. Is w at most r?
True
Suppose -3*y + 5*z - 97 = -5*y, 5*y = -z + 185. Let m be (-45)/(-4)*(1 - y/4). Which is smaller: -91 or m?
-91
Let y be 0/3 + -2 - 25. Let u be ((-252)/48 - -13)*(3/(-3) - 3). Which is greater: y or u?
y
Let p = 1647 + -3059. Which is greater: p or -1413?
p
Let o be 2042 + -1 - 1/(9/((-108)/6)). Is 2043 greater than o?
False
Let o(k) = -44*k + 1320. Let z be o(30). Let f = -122242/31 + 3944. Which is smaller: z or f?
z
Suppose 18 = 5*h + h + 108. Which is greater: h or -17.6?
h
Suppose 21*r = 592 - 2146. Let g be 32*(-1 + 1 + -2). Let w = r - g. Is w != -10?
False
Let l be 0 - (-8)/(-20) - (-2838)/(-30). Which is bigger: -961/10 or l?
l
Suppose 0 = -14*o + 105 + 91. Suppose 4*z - 2*h - o - 42 = 0, 0 = z + 2*h - 9. Let l = 49 + -34. Which is smaller: l or z?
z
Let q = 18 - 34. Let v(h) = h**2 + 17*h + 39. Let l be v(q). Is l greater than 25?
False
Let k = 3811 + -3742. Which is bigger: k or 68?
k
Let c(b) = -b**2 - 4*b + 3. Let n be c(-5). Let g be (188/564)/(-