aller: g or 1?
g
Let z = 23 + -53. Let k be (-1 + -12 - 0) + 30 + z. Which is smaller: -14 or k?
-14
Let r be (-69)/(-18) + 5/30. Let o = -9 + 5. Let t = o + 3.8. Do t and r have the same value?
False
Let g be ((-15)/(-8))/(39/208). Which is smaller: -2 or g?
-2
Let q = 81 + -82. Let g be (39*(-78)/(-45))/22. Let d = 14/11 - g. Is q > d?
True
Suppose 0 = 6*d + 9 - 435. Suppose 5*n - 4*h = 338, 0*n = n + 4*h - 82. Is d >= n?
True
Let z = -334/3 + 12346/111. Let k be (-1)/((-15)/(-21) - (-4)/14). Is z bigger than k?
True
Let g(h) = 3*h**3 + h**2 + 2*h - 2. Let x be g(1). Suppose 5*w + x*z = 9, -2*z = -3*w - 4 + 5. Which is smaller: 7/11 or w?
7/11
Let p = 5/17 + -42/85. Let c = -18 - -11. Let o = c - -7. Are p and o nonequal?
True
Suppose 5*a - 10 = 0, 2*p + 2*p = a - 86. Let k = p + 30. Suppose -k = -4*o + 7. Is 15/4 less than or equal to o?
True
Let s = 0.088 + -0.028. Which is bigger: -8 or s?
s
Let q = 1010 + -1012. Suppose -9*s = i - 4*s + 1, -3 = 3*i + 2*s. Is q at most as big as i?
True
Let i(a) = 2*a**3 + a**2 - a. Let g be i(1). Let c be -1*(g + 2 + -1). Let m = 11973 - 11976. Is m less than c?
False
Suppose 4*o = -3*l + 6*l + 230, 4*o = 4*l + 308. Is l at most as big as -77?
True
Let h = 168.1 + -169. Which is greater: h or 2/21?
2/21
Let b = -173.1 - -173. Which is bigger: -1.6 or b?
b
Suppose 5*d - 25 = 0, -5*f = -8*f + 4*d - 53. Let a = -45 + f. Let i = 235/4 + a. Do 4 and i have different values?
True
Let x = 66.4 - -15.6. Which is smaller: x or -2?
-2
Suppose 0 = -2*j + 5*p - 112, -5*j - 247 = 4*p - 33. Which is bigger: j or -33?
-33
Suppose -846 = -21*z + 19*z. Do 423 and z have the same value?
True
Let q = -54 - -46. Let a be (2 + (-4)/q - 3)*2. Which is smaller: a or 0.56?
a
Let y be -2*(1/(-5) + 112/735). Let b = -8 + 11. Let s be 1/b - 12/(-18). Which is smaller: s or y?
y
Let c be 412/(-205) - (-6 - -4). Let t = -883/2 - -442. Which is greater: t or c?
t
Suppose 16 = q + 3*q. Suppose -4*x - q = -2*x. Let a be 0/(x + 1 - -3). Is a at most as big as -0.4?
False
Suppose -13*c = -8*c - 25. Suppose 0 = -c*i + 3*y - 2*y + 50, -2*y - 40 = -4*i. Is i < 13?
True
Let j(o) = 14*o. Let n be j(-3). Let r be n/70 + (-77)/5. Let q = r - -15. Is -4 >= q?
False
Let t = 146 - 136. Let q be 3 - -1 - (t + -11)*-3. Let a be (1/5)/(8/10). Is q < a?
False
Suppose -z = 3*q - 225, -150 + 8 = -2*q + 2*z. Let o = q - 111. Are o and -37 equal?
True
Suppose 0 = 3*v - 6*v - 3. Suppose -3*b - 450 - 39 = 0. Let s = b + 2281/14. Which is smaller: v or s?
v
Suppose -9*g + 6*g = 0. Suppose g = l + 4*r - 19, 5*l + 5*r = 14 + 6. Let w be 6/(-15) - (-52)/(-120). Which is greater: w or l?
w
Let b be 3 - ((-1)/(-3) - 53/(-3)). Suppose -2*p + 4 = 2*a, 0 + 8 = 4*p - 5*a. Is b equal to p?
False
Let f be 2*-2 - (1 - (-1 - -6)). Let p = 27/140 + 2/35. Is f not equal to p?
True
Let g(l) = -l - 6. Let z be g(-8). Suppose -3*m = 3*c + z*m - 51, -c + 4*m = -34. Suppose j = 4*j + 4*x + c, -x + 2 = -3*j. Which is bigger: j or -3?
j
Let r = 118/7 - 116/7. Let f = -70 + 88. Is f at most r?
False
Let s be (6 - 14 - -5) + 4. Which is bigger: s or 180/7?
180/7
Suppose 8*y = -4*y + 24. Let f = 2 + -2.1. Let c = f + -0.1. Which is greater: y or c?
y
Let h(n) = -31*n**2 + n. Let f be -1 - (12/(-3) - -2). Let g be h(f). Which is smaller: -31 or g?
-31
Let a be (-15)/13 + 1 + 17699/39. Is 454 greater than a?
True
Let j be 14/5 - 8/(-40). Let w(s) = -s**3 + 3*s**2 + 2. Let n be w(j). Suppose -2*m = -5*l - 6, -n*m = -7*m + 15. Is 9/7 less than or equal to l?
False
Let g = -10.1 + 6. Let o = -343 - -337. Let t = g - o. Which is smaller: t or 0.1?
0.1
Suppose 15*b = 3*j + 20*b + 18, 16 = -4*j - 4*b. Let z be 62/(-40) - 3/12. Is z greater than or equal to j?
False
Let j = 9583/5 + -1917. Which is smaller: -459 or j?
-459
Let z = -20.9 + 21. Do z and 240 have the same value?
False
Let a = 132 - 120. Let j be (-1 + (-602)/(-606))/(a/18). Which is smaller: 0 or j?
j
Suppose 2*z = -4*y - 2*z + 20, -3*z = -5*y + 1. Suppose 0 = b + 5*g - 10*g - 23, 0 = -4*b + 4*g + 28. Let s be y/b + (-22)/33. Is -2/15 at most s?
True
Suppose k = 3*k, -4*x = -3*k. Suppose 0 = 5*y + 5*p - 35, -2 = -y + 4*p - x*p. Is 6 > y?
False
Let q be 12/(-16) + 11/30. Let n = 1/60 - q. Let l = -7 - -7. Which is smaller: n or l?
l
Let g = -451 - -452. Is g less than -8?
False
Let k be 1 - (-1)/((-2)/(-8)). Suppose -3*u = 5*c - 51, 5*u + 54 = 9*u + 2*c. Suppose -u = -3*b + 2*b + 2*q, -q + 16 = k*b. Is b <= 4?
True
Let y = 216 - 217.34. Is 1 greater than y?
True
Let i(u) = -2*u**2 - 8*u + 7. Let n(x) = -4*x**2 - 3*x + 2. Let g be n(1). Let o be i(g). Is o less than 3?
True
Let n = 52 + -84. Let p = 40 + n. Do p and 8 have different values?
False
Let m = -11 - -19. Suppose 0 = m*h - 15*h + 7. Is -2/59 <= h?
True
Let g be (-285)/(-30) + 1/2. Suppose -6*c - 12 = -g*c. Is c greater than or equal to -1?
True
Suppose -l = -0*l + 16. Let n(r) = r + 2. Let m be n(l). Let c = m - -14. Is c less than 3/14?
True
Let s(f) = 2*f + 9. Let a = 7 + -14. Let u be s(a). Let o(n) = n. Let b be o(-7). Which is greater: u or b?
u
Suppose -7 - 87 = -3*z + f, 26 = z - 3*f. Let j = 10 - -21. Which is bigger: z or j?
z
Let y = -25 - -27. Suppose -4*l + 3*l - 5 = 0, -y*v - 20 = 4*l. Is v at least as big as -3/11?
True
Let l(a) = a - 6. Let v be l(5). Let n = -985654/21 - -46771. Let f = 165 + n. Is f bigger than v?
True
Suppose 2*g + 2*g + 8 = -2*i, -2*i - 5 = 3*g. Suppose 3*t - i*k - 9 = k, 2 = -k. Which is bigger: -21 or t?
t
Let h = 543 - 544. Suppose 4*v = 23 + 53. Which is greater: v or h?
v
Let p(k) = 4*k - 3*k + 6*k + 1. Let i be p(3). Do i and 22 have the same value?
True
Let c = 2698.7 - 2692. Which is smaller: 2/3 or c?
2/3
Let x be 30/(-90) - 4/(-36). Which is bigger: x or 77?
77
Let i = 125 + -1624/13. Let d(p) = p + 4. Let n be d(-2). Suppose -n*h - 2*b = 2*b - 16, 12 = 3*b. Is h bigger than i?
False
Let h = 1431614/239 + -5990. Which is greater: 0 or h?
h
Suppose -d + 3*d = 46. Let g = -1265 + 1288. Is g at most d?
True
Let i = -2 - 12. Let r = -9301 + 9301. Is r at least i?
True
Suppose -3*y - y = 2*q + 4, -5*q = 3*y + 3. Suppose q*d = -2*d + 20. Let n = -3 + d. Is 7 at least n?
True
Suppose -4*w = 5 + 7, 0 = 5*z + 5*w + 15. Suppose q - 3*q = z. Let c be (-1)/(-1) + (1 - q). Is c smaller than 8?
True
Let g = -20 - -19.9. Which is bigger: 0.63 or g?
0.63
Suppose -704 - 500 = -28*v. Are 41 and v equal?
False
Let b(y) = y - 17. Let x be b(7). Suppose s - 2*s + 20 = 0. Let l be ((-8)/s)/(6/x). Is l < 4?
True
Let q(s) = -32*s**3 - 2*s**2 + 3*s - 2. Let g(l) = -l + 1. Let z(d) = -3*g(d) - q(d). Let b be z(-1). Is b equal to -31?
True
Let d = -4.14 - -6.7. Let m = d - 2.6. Which is smaller: m or 1?
m
Let r = -274 - -198. Is -78 > r?
False
Let m = -0.2 - 0. Let h = -33.6 - -34.1. Let n = h - m. Is 0.1 bigger than n?
False
Let g(l) = 9*l + 19. Let r be g(-2). Which is smaller: r or -3/136?
-3/136
Let y = -853 + 41802/49. Does 1/4 = y?
False
Let l(j) = -j**2 + 4*j + 4. Let s be l(6). Let i be s/6 - 209/(-33). Suppose -d + i*x = 4, 0 = 4*d - 3*d + 2*x - 3. Is d at least 3/8?
True
Let f = -312.64 - 2.36. Is f < -1?
True
Let m be (-1957)/12 - 3*-1. Let a = m - -160. Is -1 < a?
True
Suppose 3*p - 8*p = -20. Suppose -o - 29 = 2*k, 0*k - 134 = p*o - k. Let l be (1 + -5)*o/22. Which is bigger: l or 4?
l
Let u = 2.749 - 0.049. Let f = -2.7 + u. Is f less than or equal to 0?
True
Let t be (24/3)/(0 + 2). Let l = 0 + t. Let a(q) = -q**2 + 4*q. Let s be a(l). Are 5 and s equal?
False
Let p(n) = n + 8. Let a be p(-6). Suppose 1 = a*w - 17. Let g = -1 + w. Which is smaller: 1 or g?
1
Let t be 17/(-2) + 2/(-4). Let r(o) = o**3 + 4*o**2 - 3*o + 1. Let j = -47 + 42. Let g be r(j). Is t > g?
False
Let c be 9*1/3 - 90. Let d = c + 103. Let r = 44 - 28. Are d and r unequal?
False
Let x be (-4 - (-158)/38)*(10 + 0). Is x >= 3?
False
Let s = -983.016 + 989. Let y = s - -0.016. Which is greater: y or -4?
y
Suppose 0 = -22*c - 1 - 197. Which is bigger: 5 or c?
5
Suppose 3*g + 15 = 42. Is 9 < g?
False
Let f(z) = z**2 - 5*z - 5. Let a be f(6). Let b be (a/3)/(10/(-90)). Let i(t) = -t**3 - 3. Let v be i(0). Is b at most as big as v?
True
Let s = 3655 + -14609/4. Let i(q) = -q**2 + 4*q + 7. Let o be i(5). Which is smaller: o or s?
o
Let i be (-9)/(-6)*((-4)/(-21) - 0). W