?
False
Let a = -172 - -186. Suppose a*v + 5*v = 4*v. Which is bigger: v or -397?
v
Let f = 2.53991 - 0.00691. Which is smaller: 0 or f?
0
Suppose 3 - 23 = l. Let o(t) = t**3 + 5*t**2 + 6*t - 12. Let w be o(-4). Is l not equal to w?
False
Let t = -0.07 + 0.17. Suppose -3*w = w + 432. Let s be w/304 - 1/(-4). Is s at most t?
True
Suppose f = 4*f - 834. Let r = 247.9 - 248. Is f at least r?
True
Suppose -201 = 13*q - 14*q + 3*d, q = -5*d + 193. Let u = q + -180. Are u and 16 nonequal?
True
Let t(l) = l**3 + 9*l**2 + l + 9. Let h be t(-9). Let b = 0.032 + 0.157. Which is bigger: b or h?
b
Let f be 2*((-19)/(-76) - 2/16). Which is smaller: f or 2610?
f
Let q be 7 - (-3)/((-174180)/406412). Which is bigger: 0.1 or q?
0.1
Let b = -1 + -4. Let r(f) = 14*f - 7*f + 5*f - 168 + 5*f + 3*f. Let o be r(8). Is b < o?
False
Let f = -29 + 128. Let a be (f/(-15))/(-1) - 0. Suppose -2*u + 15 = 1. Is a smaller than u?
True
Let u = -15428.1 + 15481. Let c = 3 + -2.9. Let v = c + u. Is v greater than or equal to -1?
True
Suppose -53*l + 8208 = -49*l. Suppose -61*s + l = -80*s. Which is bigger: -110 or s?
s
Suppose -14*i - 10*i + 24 = 0. Is i at least as big as 13/267?
True
Suppose -37*m = -44*m. Suppose m*x = -3*x. Suppose 0 = -x*j + j - 8. Is 46/7 less than j?
True
Let l = 29535 - 503083/17. Let n = l - -58. Let p be (-3)/6*0/(-14). Which is smaller: p or n?
n
Let g be ((-2)/822)/((104/(-24))/(-13)). Is g > -1/8?
True
Let k = -3 + 16. Let y = -1082 - -500. Let z = y + 1189/2. Which is greater: z or k?
k
Let u(o) = 5*o + 21. Let a be u(-3). Suppose -a*x - t = -5*x - 1, 2*x + t = 0. Let l(j) = 38*j**2 + 2*j + 2. Let s be l(x). Which is smaller: s or 39?
s
Let i be (32/8)/((-4)/(-5)). Suppose -i*y - 20 = 10. Let s be (19 - 22) + (-4)/2 - 0. Which is smaller: s or y?
y
Let f(l) = -27*l - 1. Let m be f(-23). Let c = m + -574. Do 140/3 and c have different values?
True
Let t be 2 - ((-2)/3)/(0 - 18/(-2457)). Is t greater than or equal to 93?
True
Let c = -38 - -23. Let j be 40/(-56)*c + (-4)/(-14). Let h be (-4)/10*110/j. Is -4 less than or equal to h?
True
Suppose 211*v + 157 = -s + 215*v, 0 = 4*s - v + 643. Which is greater: s or 8?
8
Let r be (-10)/4*(-24)/15 - -2. Let d be (-5)/4 - (-14 + r - -6). Let m = -142/3 - -1556/33. Which is greater: d or m?
d
Suppose -172*c = -240*c + 53720. Is 791 greater than or equal to c?
True
Let u = 343796/19 - 18094. Let l(b) = -b - 3. Let s be l(-4). Is u less than s?
True
Let k = 25938 - 9674859/373. Which is smaller: 0 or k?
0
Let n = -50.46 - 0.54. Let t = n + 20.1. Let w = t - -31. Which is smaller: 4/13 or w?
w
Let i = 4336 - 4350. Is 0.63 < i?
False
Suppose 2*z - 138 + 10 = 5*j, 0 = 3*j - 4*z + 88. Let k(w) = w**3 + 25*w**2 + 24*w - 21. Let c be k(j). Is c < -22?
False
Let y be (50/(-6) - 1)*(-95 - -92). Suppose -y*w - 609 = -7*w. Which is smaller: 3 or w?
w
Let w = 487.9526 + -488. Let o = -0.0374 - w. Are 4 and o unequal?
True
Let u(k) = -2*k**3 - 6*k**2 - 5*k - 1. Let g be (4/18 + 48/27)/(-1). Let m be g + 1 + 3 - 16/4. Let z be u(m). Is z less than or equal to 2?
True
Let b be ((-4840)/250 - -20)/((-17)/(-5)). Is b > 1?
False
Let f be (-14077)/210 + 132/(-440). Are -66 and f equal?
False
Let o = 893/231 - 5/154. Suppose -4*s = 4*s - 205 + 181. Which is smaller: o or s?
s
Suppose -5*r = -c - 583, 3*c = -83*r + 87*r - 1782. Is c at most as big as -597?
True
Let c = -57/172 - -7/86. Which is smaller: c or -3/2404?
c
Let h = 16.268 - -8817.732. Which is bigger: h or 1/2?
h
Let y = -38 + 24. Let t(j) = -j**3 - 16*j**2 - 30*j - 7. Let n be t(y). Let l be (-7)/(14/6)*-7. Is n less than l?
False
Let g be 14 + -5 + -8 + 10/55. Which is smaller: -22 or g?
-22
Let g(f) = 25*f**2 + 354*f + 49. Let y be g(-14). Which is smaller: y or -73?
-73
Suppose 51*p + 7*p = -8*p + 66. Is 2/9051 not equal to p?
True
Let r be (-156)/(-38) - -1*2/(-19). Suppose 116 = m - 3*c, 2*m + 56 - 296 = r*c. Is 128 <= m?
True
Suppose -68*g + 40*g - 1960 = 0. Is g smaller than -492/7?
False
Suppose -5*w = -f - 4*w, -w + 9 = 2*f. Suppose f*n - 1 - 35 = 0. Suppose j + n = -5*u, 0*j - 2*u = -4*j - 26. Which is greater: -6 or j?
-6
Suppose -9*s = -442 + 415. Which is smaller: s or -449?
-449
Let v(u) = 50*u - 739. Let t(c) = 17*c - 246. Let z(s) = -11*t(s) + 4*v(s). Let o be z(20). Are o and 86/9 nonequal?
True
Let l = -18.58 - -19. Let m = -0.08 + l. Let c = 8/3 + -3. Which is smaller: c or m?
c
Let h be 145*(-5 + 2 - -5). Suppose -8*x = -6*x - 5*b + h, 0 = -x - 5*b - 145. Let c = x + 120. Which is smaller: c or -26?
-26
Suppose 13*z - 108 = -5*s + 10*z, -2*s + 5*z + 68 = 0. Which is smaller: 1 or s?
1
Let x = 7423 + -7422. Suppose 0*n + 4*f - 204 = 3*n, -f = -4*n - 272. Let y be (6/92)/((-51)/n). Which is bigger: x or y?
x
Suppose -6*o + 4*z + 54 = 0, 0 = 9*o - 14*o - z + 32. Which is smaller: -262 or o?
-262
Suppose -3*w + 14 = 4*l, -5*l + 6 = 4*w - 13. Suppose 40 = 2*t + w. Is 133/8 < t?
True
Let a = -5 - -11. Suppose -a = 2*x - 14. Suppose -3*q + x = q. Which is greater: 11/8 or q?
11/8
Let m be (-507834)/(-115) - -2 - (-4 + 5). Let y = m + -4417. Is 1 at most y?
False
Let u = -1.3 - -2.7. Let d = u - 13.4. Let v = 132 + -394/3. Which is bigger: v or d?
v
Let a(o) = -4*o**3 + 140*o**2 - 80*o - 94. Let g be a(35). Is g > 2?
False
Let n(m) = -m**2 + 4*m + 3. Let c be n(5). Let z = 9 - c. Let f = 95802 + -479012/5. Is z less than or equal to f?
False
Let j be (-70)/(-8) + -2 + 30/24. Suppose 3*d = d + j. Are 70/13 and d nonequal?
True
Let h(g) = -g - 39. Let m be h(11). Let b be (-42)/(-20) - (-5)/m. Let u = 0.9 - -0.1. Is u at most as big as b?
True
Let m = 17 + 7. Let r = 8 - m. Let w be (2 - 6)*2/r. Are w and -13 equal?
False
Let o(a) = -94*a**3 + 2*a**2 + 18*a + 21. Let l be o(-3). Which is bigger: l or -1/4?
l
Let z(w) = 26*w**3 + w**2 - 1. Let j be z(1). Let c be (-48)/312 + 810/j. Are 31 and c equal?
True
Suppose 0 = -2*v - 2, 32 + 252 = -5*f - 4*v. Suppose 1453 = -29*g - 2*a, 4*g = 44*a - 46*a - 178. Which is smaller: g or f?
f
Let s be (6 - 1)*(1 + 0). Let i = 3 - s. Let c = -17811/2 - -8906. Which is greater: c or i?
c
Let a be 66/(-6) + 13 + (0 - -1). Let l be ((-1 - (-12)/a)*-2)/(-6). Let m = 2791 - 801019/287. Is l less than m?
False
Suppose -2*j - 5*j + 245 = 0. Suppose -10*h + j = -3*h. Suppose h*p - 11 = -6*p. Are p and 2/13 nonequal?
True
Let j = 17381/2 - 8691. Are j and -1/11 equal?
False
Let y be ((-391)/1836)/(94/(-42)) + 8/(-72). Is 11 less than y?
False
Let u = -2660 - -4280. Let i be ((-6)/56)/(u/(-776)). Let t = i + -1/27. Is 1 greater than t?
True
Let h = 10 - 26. Let i = -34285 - -68569/2. Which is smaller: i or h?
h
Let o be (-1)/(((-3)/18548)/((-8)/(-64))). Let t = o + -778. Is -5 > t?
True
Let n(w) = 3*w + 6. Let s(q) = -10*q - 26. Let p be s(-3). Suppose 3 = p*l - 5*l. Let k be n(l). Is k >= -2?
False
Let d = 229.497 + -378.497. Suppose -15 = 5*n - 5*x, -n + 3*x - 8 = 5. Which is smaller: n or d?
d
Let f = 71/33 + -31/11. Which is bigger: f or 1651?
1651
Suppose 330*d = 7 + 7 - 14. Let n = -5169 + 1095831/212. Which is bigger: d or n?
n
Let j(x) = -x**2 - 5*x + 11. Let s be j(-6). Suppose 3*n + 20 = -n, s*d = -5*n - 20. Let a = -1100.969 + 1101. Are d and a non-equal?
True
Let y = 34 + 25. Let o = y + -58.68. Let v = o - 0.42. Which is greater: -18 or v?
v
Suppose b - 17 = 5*h, 2*b - 11 = h - 4. Suppose 0 = -2*o + 10, -b*p + 5*p = 4*o + 16. Which is greater: 15 or p?
15
Let k be (746/4)/(8/(-16)). Is -2616/7 at least as big as k?
False
Suppose 2*v + 28 = -26*v. Let q be ((-3 + -4)/21)/(v/3). Are q and 2/5 equal?
False
Let r = -5.1 + 6.1. Let q(l) = -205*l + 2430. Let s be q(12). Is r > s?
True
Let r = -129 - -136. Let j = -245 - -224. Does j = r?
False
Let j(x) = -2*x**2 - 38*x + 61. Let p be j(-20). Suppose 3*z = 2*n + 11 + 2, z - 4*n - p = 0. Is z > 1.12?
False
Let g(p) = 3*p**3 - 14*p**2 - 5*p - 3. Let w be g(6). Let z = 1725 - 1614. Is w less than or equal to z?
True
Let s = 7009 + -3145. Suppose 5*y = 33*y - s. Which is bigger: y or 137?
y
Let y be (-195)/52*(-12)/(-18)*670. Is y greater than -1677?
True
Let t = 82 - 76. Suppose -23 = -c + 4*f, -t*c = -3*c - 4*f - 109. Does 43 = c?
True
Let q(k) = 181*k**2 + 1. Let a be q(1). Let w = -181 + a. Is w greater than -4?
True
Let l(i) = -13*i + 5. Let p be l(-5). Let w(q) = q**