aller: g or -1?
-1
Let o be ((-3)/(-3))/(1/(-7)). Which is greater: -12 or o?
o
Let q = 3 + -2.7. Let s(v) = v**3 + 8*v**2 + 10*v + 4. Let y be s(-6). Let a be (-4)/(y/3) + (-7)/(-12). Which is smaller: q or a?
a
Let k = 0.715 - 2.129. Let g = 0.014 + k. Which is smaller: -0.1 or g?
g
Let b = -0.029 - -0.053. Which is greater: b or 0?
b
Let i(z) = z**2 + 4*z + 10. Let f be i(-5). Let q be ((-2)/102)/(f/18). Which is smaller: q or 1?
q
Let z(p) = -p**2 - 28*p + 51. Let j be z(-30). Let c be (-8)/(1*(1 + 0)). Is c >= j?
True
Let t = 7.9 + -8. Suppose 678*y = 669*y - 468. Which is bigger: y or t?
t
Let y = 5.4 - 6. Let l = -6 - -5.6. Let g = y + l. Which is bigger: g or 0.1?
0.1
Suppose 5*b - 13 = -8. Which is bigger: -9/29 or b?
b
Let p = -1.1 + -0.7. Let o = p + 1.7. Let w = o + 0.1. Which is smaller: w or 1/3?
w
Let f be (622/(-6) + 7)/((-2)/3). Let a be (-3 - -6) + f/(-49). Let x(m) = m. Let l be x(1). Which is greater: a or l?
l
Let d(s) = -2*s - 29. Let a be d(-17). Suppose -3*h - 1 = 4*g, a*g - 3*h = h - 9. Is g at least -1/7?
False
Suppose 4*k - 200 = -176. Are 7 and k non-equal?
True
Let c = -50/99 - 14699/495. Is c greater than or equal to -31?
True
Let s be ((-30)/(-8)*-1)/(1/4). Which is bigger: -156/11 or s?
-156/11
Let q = -15 + 14. Let h = 0.035 - -23.965. Let v = h - 16. Which is greater: v or q?
v
Suppose -52*p + 2006 = 7*p. Is p equal to 47?
False
Suppose 3*y - c + 223 = -123, -5*c + 476 = -4*y. Which is smaller: y or -116?
-116
Let m be (24/(-105) + 0)*(-10)/4. Let h(c) = -2*c - 1. Let s be h(-1). Which is smaller: s or m?
m
Let j = -435/56 - -57/7. Suppose -6 + 1 = 5*z. Which is smaller: z or j?
z
Let b be (15 - 12) + (-2 - 0). Let f be 0 + (-2 - 1)*b. Which is greater: f or -0.02?
-0.02
Suppose -h - 558 = 23*g - 18*g, 2*h = -3*g - 1109. Is -552 > h?
True
Let w(c) = -2*c**2 + 10*c + 14. Let z be w(6). Suppose z*j - 7 = -5*j. Is 1/22 less than j?
True
Let k be (-40)/(-180) - (-9)/((-243)/(-210)). Which is greater: 45 or k?
45
Let m be (-4)/22 - 2/(-11). Suppose m = -n + s + 908, -5*n + 3*s + 4536 = -0*n. Let w = -6357/7 + n. Do w and -2 have the same value?
False
Suppose 29 = 3*k - 0*k + 5*s, 4*s = 2*k + 10. Let f(a) = 2*a - 11. Let h be ((-100)/(-40))/(10/24). Let l be f(h). Which is bigger: l or k?
k
Suppose 5*z = -4*h - 2, -41*h = -45*h - 12. Which is greater: z or 83?
83
Let t(l) = -2*l**2 + 67*l + 70. Let o be t(35). Is o <= -254/7?
False
Let y = -65 - -61. Let l = -6.1 + 6. Is l at most as big as y?
False
Let l = -149 - -446/3. Let r = 41.2 + -39. Is l > r?
False
Suppose -2*y = -4*d + 12, -3*y + 0*d - 6 = -2*d. Let c be (-105)/14*(1 - -5). Let m be (-506)/252 - -2 - 10/c. Is y equal to m?
False
Let o be (1/18)/((-3)/(-9))*2. Is o not equal to -25?
True
Suppose 4*i - 38 = -6. Suppose -i - 24 = 2*o. Let u = 5 + o. Which is greater: -9 or u?
-9
Let d = -24 + 24. Let v be (1/2)/((-20)/40). Are d and v unequal?
True
Let b = 20770 - 20823. Let x be 0 - (1 - (-1 - 50)). Which is smaller: x or b?
b
Let z be (-94)/8*8/(-2). Let y = 140/3 - z. Suppose -126 = -13*f - 8*f. Which is greater: f or y?
f
Let u = -230.46 - -230. Let d be (2/(-10))/((-2)/(-5)). Which is greater: u or d?
u
Let n be ((-70)/7)/((-2)/(-3)). Let p = n - -19. Suppose -1 = -p*b + b + x, -b + 5 = -5*x. Which is smaller: 0.1 or b?
b
Let d = -25225/7 + 3613. Is 9 at most d?
True
Let r(c) be the second derivative of -c**4/12 - 13*c**3/6 - c**2 - 22*c. Let g be r(-6). Is 40 < g?
False
Suppose 422 - 128 = 7*g. Let w = g + -53. Is w equal to -12?
False
Let q = -15 + 15.01. Let u = -1.99 - q. Let z = 3 + u. Is z greater than -1?
True
Let u = -2249 + 1278. Is u >= -970?
False
Let c(v) = v**2 - 8*v + 20. Let r be c(5). Let j(w) be the second derivative of -w**5/20 - 7*w**4/12 + w**3 - 11*w**2/2 + 3*w. Let g be j(-8). Is g < r?
False
Suppose -q - 1086 = -p, -77*q - 2172 = -75*q + p. Which is greater: -1085 or q?
-1085
Let k = -38 + 35. Let l be (-1)/k - (-6)/9. Which is smaller: l or -1/37?
-1/37
Let y(x) = 4*x**3 + x**2 - 2*x. Let j be y(-2). Let o(z) = z**3 - 2*z**2 - 2*z + 9. Let s be o(4). Let a = s + j. Are a and 9 unequal?
False
Let u(k) = 2*k**2 - 13*k + 11. Let f be u(6). Suppose -f*q - 109 = 41. Let t be ((-62)/3)/((-2)/(-3)). Do q and t have the same value?
False
Suppose -4*q + 234 = -5*h - 174, -3*h - 236 = 2*q. Which is bigger: -79 or h?
-79
Let x be (-2 + 28/11)*24/9. Suppose 4 = -4*p + 8. Is p less than x?
True
Let m be 4/(-30)*-6*1. Let k = -142 - -213. Let c = k + -70. Are c and m nonequal?
True
Suppose -5*w = -10*w + 80. Suppose 3*b = 2*a + 53, 62*b - 58*b + a = 56. Which is smaller: b or w?
b
Let q = 450 - 229. Which is smaller: -1 or q?
-1
Let f = 53 - 32. Suppose -22*p = -f*p + 46. Is p smaller than -46?
False
Let a = -15.275 - 0.125. Let f = a + 1.4. Let x = f + 15. Are -7/3 and x non-equal?
True
Suppose 3*x - 2*x = 2*y + 38, -37 = -x + y. Suppose 8*f - 2*f - x = 0. Let i be f/(-9) - (-28)/6. Is i bigger than 4?
False
Let n be (-5 + 4)*(-1 + 1). Let l(r) = -11*r - 154. Let u be l(-15). Which is smaller: n or u?
n
Let h = 26276839/4491 + -5851. Is -1 <= h?
True
Let h = -41 + 21. Let z(f) = 107*f - 127. Let j be z(1). Is h > j?
False
Let f = 844 + -1125. Is -283 <= f?
True
Let h(x) = -7 - 2*x + 1 + 4*x - 2. Let k be h(9). Is 10 <= k?
True
Let l(a) = 13*a + 13. Let o be l(-5). Let m = -52 - o. Is m at most 2?
True
Suppose -1292 = -5*h - 14*h. Which is greater: h or 271/4?
h
Suppose 0 = 2*a - z - 85 - 268, a + 5*z - 171 = 0. Is 176 smaller than a?
False
Suppose 0 + 25 = -b. Let w = 736.2 + -736. Is w bigger than b?
True
Suppose 4*i + 11 = -5. Suppose 0 = -w - 5*u + 3*u + 7, 5*w = -3*u. Is i greater than or equal to w?
False
Let y be (-4 - 1)*((-4)/1 - -3). Suppose 3*a + 2*q + 54 = -y, 4*q + 55 = -3*a. Is a > -23?
True
Let j be (-9 - -5)/(((-40)/5)/2). Which is smaller: -4/797 or j?
-4/797
Let j = 2/6373 - -18931/599062. Is j >= 0?
True
Let b be (-2)/(-8) + 27/20. Let q be ((-1)/(-6))/(11/33). Which is smaller: q or b?
q
Let x(c) = -71*c - 497. Let z be x(-7). Let d = -4 - -6. Suppose -o - 2*l = 11, 0 = -3*o + d*o - 4*l - 21. Is o less than z?
True
Suppose -5*c = -2*z - 13, 5*c - c + 3*z = 15. Suppose -2*i = -3 - c. Suppose -5*b + 2*p = -25, 2*b + p = i*p + 4. Is b > -2?
True
Let u = 25/48 - 659/1296. Which is bigger: 1 or u?
1
Let f = 3 + 35. Let r be (-16)/(-216)*18*444/16. Which is smaller: f or r?
r
Let i(n) = -n**2 + 35*n + 453. Let j be i(45). Which is bigger: j or 123?
123
Let n(p) = 0*p - 3 - 2 - 3*p. Let r be n(-3). Let g be (-32)/48*(-18)/4. Is r equal to g?
False
Let i(v) = v**2 - 10*v - 67. Let j be i(15). Suppose 5*a - b = 23 + 2, -5 = 5*a + 5*b. Suppose -j - a = -3*h. Is h at most as big as 6?
True
Let i = 141/4 - 2963/84. Suppose -3 + 6 = -3*k. Which is smaller: i or k?
k
Let x be 65/10 + (-3)/6. Let w = 28929 - 88757/3. Let s = w + 663. Is s equal to x?
False
Let u(b) = 4*b - 13. Let a be u(6). Let z(y) = -y**2 + 11*y - 6. Let n be z(a). Let h(p) = -p**3 - 7*p**2 - 10*p - 18. Let o be h(n). Is 4 at most as big as o?
True
Let k = 0.5 + -0.83. Let i = -433 + 434. Which is smaller: k or i?
k
Let p be (9 - 11)*(3 + (-1390)/463). Are p and 0 nonequal?
True
Let w be 14/3*(-2)/(10/(-135)). Let a be (2 + -1 - -4)*w/(-35). Which is bigger: a or -19?
a
Let g = 1.67 - 0.27. Let b = 2.3 - g. Is 0.1 >= b?
False
Let h = -4893 + 229981/47. Is 0 less than h?
True
Let h = -17 - -24. Let y = h - -4. Which is bigger: 1 or y?
y
Suppose 3*q = -5*h - 13, 0 = -2*h - h - q - 7. Let o be 1 + (h - 36/(-4)). Suppose t - o = 3*t. Which is bigger: t or -2?
-2
Let c = 164 - 164. Let y = 5/13 + -22/91. Are c and y unequal?
True
Let l = -2513743/17 + 147751. Let r = l - -116. Which is smaller: 0 or r?
r
Let s be 3 - 13/((-39)/(-36)). Let f be (-254)/9 + (-2)/s. Are f and -28 unequal?
False
Let r = -72 + 110. Let x be r/14 - (-5 - -26)/7. Which is smaller: x or 11/3?
x
Let v be -3*3/5*(-2)/26. Let n = 356/715 + v. Which is smaller: n or 1?
n
Let a = 298 - 311. Is a at least as big as -6?
False
Let g be 1 - (-1 - (-5)/2). Suppose 0 = -0*i - 2*i + 2*l, -i - 4*l - 15 = 0. Let p(n) = -n**3 - 2*n**2 + 4*n + 2. Let v be p(i). Is g at most as big as v?
False
Let v = 70.9 + -70.801. Are v and -2 nonequal?
True
Let l(w) = -8 - 2*w - 5 - 6 - 3*w. Let m be l(-4). Do -11 and m have