1)/(-4) + (-144)/2944*6. Which is smaller: t or -0.33?
-0.33
Suppose -14708 = 85*z + 167022. Is z <= -2137?
True
Let o(x) = -24*x - 113. Let s be o(-5). Is s at most as big as 7?
True
Suppose 0*u + 17*u + 374 = 0. Let b = u - -43. Which is greater: -1/5 or b?
b
Let r be (-28 + 28)/(1 + -2). Let s = -46643/9 - -5177. Let y = s + 227/36. Which is bigger: y or r?
y
Let b = 10.77 + 0.23. Let k = -3793.1 + 3793. Which is smaller: k or b?
k
Suppose 3*d + 15 = 8*d. Let h be (-2)/(-9) - 76/18. Let a be 3/h + 38/8. Which is smaller: a or d?
d
Let t = 239 + -238.7. Do -27 and t have the same value?
False
Let l = -31.27 + -0.73. Let r = 32.2 + l. Is r <= -9?
False
Let x = 0.01 + 1.99. Let o be (-180)/840 + 1/2. Are o and x equal?
False
Let i = -0.19 + -0.01. Let z = -0.9 + 0.8. Let a = z - i. Which is smaller: -2 or a?
-2
Suppose 5*q + 4*g - 235 = 0, 62*g - 58*g = 4*q - 152. Which is smaller: q or 51?
q
Suppose 0 = -2*f + 6, 0*f = -4*x - 3*f + 505. Which is smaller: 123 or x?
123
Let d(c) = -c**3 + 5*c**2 - 10*c + 5. Let h be d(4). Let z = -19 - h. Which is bigger: -6/29 or z?
z
Let r(g) = g**3 + 10*g**2 - 24*g - 9. Let x be r(-12). Let u be (-8)/x*(-1)/12. Let k = 3 - 3. Which is smaller: k or u?
u
Suppose 0 = 3*o + n + 147, 245 = o - 6*o + 3*n. Let s = -50 - o. Is -0.7 at least s?
True
Let w be (-60)/75*(27/(-66))/(-3). Which is smaller: w or 0?
w
Let a = -46 - -33. Let h be ((-10)/(-4))/(13/(-26)) + -7. Is a < h?
True
Let u = 18 - 10. Let f be (33/(-66))/(1/(-18)). Is u <= f?
True
Let a be (-2)/5 + 231/15. Suppose 5 = 5*y + a. Let p be (-12)/(-16)*y/(-9). Which is greater: -1 or p?
p
Let o = 5 + -9. Let v be o + (-3 - (-1 + -12)). Let f be 12/v - 8/3. Is -0.6 not equal to f?
True
Let u be 98/(-343) - (-3775)/7. Is 540 < u?
False
Let h = 1.2 - -2.5. Let o = 0.7 - h. Is -4 at least o?
False
Suppose -3*k - 329 - 549 = 2*h, 2*k + 572 = -4*h. Is k greater than or equal to -294?
False
Let h = 3407.55 + -3485. Let d = h - -77. Is 1 greater than or equal to d?
True
Let i(g) = -g**2 + 14*g - 15. Let n be i(12). Which is smaller: n or -6?
-6
Let o be (-1 - -2)*((-27)/9 - -3). Which is smaller: o or 1/134?
o
Let x = 2 + -1. Let l = -7523 - -7623. Which is bigger: l or x?
l
Let g be (-10)/(-35) - (-60)/(-14). Let f(s) = s**2 - 4*s. Let v be f(3). Let q be (-4)/v + 230/(-60). Is g smaller than q?
True
Let i be ((-2)/(-3) + 0)/(194/(-10767)). Suppose 43 = -3*r - 65. Let l = i - r. Which is bigger: l or 1?
1
Let h(w) = -2*w**2 - 17*w - 78. Let s be h(-7). Suppose 2*o - 2*n + 11 = -107, -53 = o + 2*n. Is o at least s?
True
Let f be (-21)/175*5*-5. Suppose 2 = -2*t + 3*h, 3*t - 1 = 4*h - 5. Let v be 2/t*(0 + -2). Is v greater than or equal to f?
False
Suppose 75*g - 88 = 83*g. Which is bigger: g or -8?
-8
Let w be (2/4)/(21/(-798)). Which is smaller: -18 or w?
w
Let h = 568 + -405. Which is bigger: 161 or h?
h
Suppose 4*w = -54 + 46. Let p be (-1)/w*(-4)/8*-4. Is p at most as big as 23?
True
Let a = -6.4 - -14.4. Let i = a + -9. Let m = -10.2 - -1.2. Is m != i?
True
Let h(i) = 7*i**3 - i**2 - 2*i + 2. Let o be h(1). Suppose 10 = -4*q - 6. Let g = 2 - q. Is o at most g?
True
Let z = -1 + 2. Let c = -3/968 - -1/88. Let f = -235/847 - c. Is f equal to z?
False
Suppose -12*h - 174 = -162. Which is greater: h or 4/17?
4/17
Let f = 2620/7 - 374. Which is bigger: f or 0.0992?
f
Let t = -293 + 294. Let l = 83.7 + 4.3. Is l equal to t?
False
Let f(a) = a**2 - 12*a + 23. Let v(i) = -4*i - 14. Let z be v(-6). Let p be f(z). Suppose -p*y = -y + 10. Is y less than -4?
True
Let y be ((-28)/7)/((-142)/(-3)). Do -1 and y have different values?
True
Suppose 2*z - 5*a - 3 = -0, -5*z = 4*a - 24. Suppose r = -5 + z. Is r bigger than 0?
False
Let v(b) = -16*b - 79. Let p be v(-5). Which is smaller: p or 1/466?
1/466
Let j = -2/415 + -5383/2490. Let w = 3/2 + j. Let f = -0.072 + 0.172. Is w bigger than f?
False
Let d = -64 - -123. Which is greater: d or 0?
d
Let q(v) = -12*v**3 + 11*v**2 + 54*v - 64. Let g be q(1). Let b = -1 + 5. Is g greater than b?
False
Let a be (0 - 1*3)*(-10201)/(-202). Is a < -151?
True
Let l = -0.427 + 0.057. Let n = -1.37 - l. Is 6 <= n?
False
Let x be 8/(-40) - (-698)/3340. Let y = 425/27054 + x. Which is bigger: 1 or y?
1
Suppose 5*w - w = 0. Let l be w/(3*(-3 - -4)). Suppose t - 2*t + 4*z + 20 = 0, z + 4 = l. Is t greater than 3?
True
Let n = -560 - -260. Which is smaller: n or -297?
n
Let x = -67 - -73. Suppose 3*a - x*u = -4*u - 8, -2*a - 3*u + 12 = 0. Let n be ((-2)/56)/(2/(-12)). Is a greater than or equal to n?
False
Let i(y) = -5*y**2 + 3*y - 14. Let m(r) = -11*r**2 + 5*r - 27. Let w(n) = 9*i(n) - 4*m(n). Let j be w(6). Is j < -13?
False
Let y = -26 + 5. Which is greater: 1 or y?
1
Let o = 92 + -5. Suppose -2*f + 5*h - 40 = o, -3*f + 2*h = 174. Let n = f + 115/2. Which is smaller: n or 1?
1
Let r be (4 - (1 + -124)) + 4. Is r less than 131?
False
Let d = 673 - 681. Is d equal to 29?
False
Let v = 860 + -924. Which is smaller: v or -251/4?
v
Suppose 1 = -2*x - 5. Let k be (x + 0)/(21/(-14)). Suppose 0 = -11*b + 2 + 9. Is k greater than b?
True
Suppose -90*i = -61*i - 4031. Which is smaller: 137 or i?
137
Suppose 5*n - h + 119 = 0, n - h + 19 = 4*h. Let x = 23 + n. Which is bigger: 2/25 or x?
2/25
Let o(c) = -7*c - 21. Let u(z) = -34*z - 104. Let m(l) = 14*o(l) - 3*u(l). Let k be m(-5). Let q(s) = s**2 - 4. Let n be q(k). Is 6/5 less than n?
False
Let a be 2*(-5)/3*3. Let x be ((-6)/(-5))/((-3)/a). Let r = 130 - 126. Is x greater than r?
False
Suppose 5*a + 130 = -0*a. Let g = -25 + a. Is -50 at least g?
True
Suppose -33*v = 5*g - 36*v - 774, -g = 4*v - 164. Is -7 at least g?
False
Let m be 120/(-45)*(-207)/(-777). Let y = m + -1/259. Which is smaller: y or -1?
-1
Suppose -3*a - 18 - 27 = 3*o, -a + 65 = -3*o. Suppose 3*n + 48 = 2*t + t, t = -4. Is o less than or equal to n?
True
Suppose 6 - 33 = -3*b. Suppose b = z - 0. Suppose -5*n + 6 + z = 0. Which is greater: n or 1?
n
Let p = -264 - -265. Is -11.1 at most as big as p?
True
Let y(j) = -j**3 - 7*j**2 + 10*j + 12. Let u be y(-8). Let i be -9 + 10 - u/2. Suppose -5 = x, i*v + 4*x + 1 = -1. Is v at least as big as 0?
True
Let j(y) = y - 1. Let n = -15 + 19. Let g be j(n). Let o be (6/g)/((-8)/(-4)). Is o > 1?
False
Let l = 0.434 - 6.434. Which is greater: -4 or l?
-4
Let z be 2 + (-11987132)/44 + 4. Let g = -272699 - z. Let o = g - -270. Which is smaller: o or 3?
o
Let a(j) = -4*j**3 - 21*j**2 - 13*j - 2. Let q(w) = w**3 + w**2 - w - 1. Let h(y) = -a(y) - 3*q(y). Let c be h(-17). Which is bigger: c or 21?
c
Let l(w) = -2*w. Let u(p) = -2*p. Let v(z) = -3*l(z) + 2*u(z). Let i be v(3). Which is bigger: 2 or i?
i
Let j = 115/4 - 144/5. Let c be 2/(-8) - (-6)/(-8). Let q be ((-1 - -1)/c)/1. Which is smaller: q or j?
j
Let j = -19 + 55. Let g = -80 + j. Which is smaller: -43 or g?
g
Suppose 2*r - 3 = -1, q - r = -2. Suppose 2*u - 3*u - 541 = 4*n, 0 = 3*n + 3*u + 399. Let h be (32/n)/(0 + 2). Which is bigger: h or q?
h
Let o(f) = -f**3 - 7*f**2 - 8*f - 15. Let x = -21 + 15. Let y be o(x). Let h be y + 2/4*-17. Which is smaller: -11 or h?
h
Let r(s) = s + 1. Let d(h) = -7*h - 2. Suppose -z = -2*z - 1. Let q(y) = z*d(y) - 5*r(y). Let a be q(3). Is 5 <= a?
False
Let m(i) = -630*i - 42. Let x be m(2). Is -1302 smaller than x?
False
Let m = -23 - -22. Let o = 1/324 + -1949/1620. Does o = m?
False
Let m be (10/(-39 + 9) - 0)*-33. Let u(a) = -a**2 + a + 14. Let f be u(0). Which is smaller: f or m?
m
Suppose 0 = t - 80 - 65. Let i = t + -134. Suppose 28 + 27 = 5*p. Is i less than or equal to p?
True
Let p = 0.0589 - -0.0591. Which is bigger: p or -2/5?
p
Let y = 37 + -22. Suppose 3*f + 21 = -3*a, 2*a - f = -2*f - y. Is -3 smaller than a?
False
Let m(b) = 3*b**3 + 24*b**2 + 46*b + 61. Let l be m(-6). Let r = -190408/97 - -1963. Which is smaller: r or l?
r
Let b be 2 - 1 - (0 - 1). Let l be 3/(-15) - ((-32)/10 - 1). Which is smaller: l or b?
b
Suppose -2*g = 0, 2*a - 2*g - 2*g = -6. Let k be ((-51)/(-24))/(-8 + a). Let p = -3/8 - k. Is 0 smaller than p?
False
Let s be (-10)/4 + (8 - 5634/1020). Is s smaller than 1?
True
Suppose -6*i = -7*i - 117. Let u be i/(-15) - 2/(-10). Which is greater: u or 5?
u
Let z(v) = 16*v - 4. Let i be z(3). Suppose -3*r = r - i. Let q = -12 + r. Is 0.6 smaller than q?
False
Let w be ((-2)