. Which is smaller: -5 or t?
t
Let f be -411 + (0 - (1 + -7)). Let s = 406 + f. Which is bigger: -4/69 or s?
s
Let f be (520/24 + -19)*(-30 - 0). Suppose -4*a + 95 = -0*i - i, 154 = -2*i - a. Which is smaller: f or i?
f
Let r be 6102/(-278388) - (21/(-133))/3. Which is smaller: r or -1?
-1
Let v(y) = -59*y + 20. Let o be v(-4). Let w = 238 - o. Suppose -2*u - 21 = l, -3*l - 42 = 2*u + 13. Which is bigger: w or l?
l
Let u(h) = -12*h**2 + 125*h - 502. Let o be u(4). Are o and -190 equal?
False
Let h be -3*8/24 - (-24)/2. Suppose 0 = 3*a + 3*w + 72, 0 = h*a - 15*a - w - 81. Are a and -6 equal?
False
Let f = 10253.1 - -1937.9. Is f at most -1?
False
Suppose -v - k = 45, 3*k = -5*v + 7*k - 216. Is -310/7 >= v?
False
Suppose 4*d + 647 = 3*z + 17, -3 = -d. Let n = z + -226. Is 1/3 >= n?
True
Let x be ((-1)/(-2))/(1/(-2)). Let i be -1 - (x - 2/8). Let v = 1061126 - 1061085. Do v and i have the same value?
False
Let u be (-28)/(-175)*115*50/60. Let h be ((-9)/12)/(1 - -2). Is h >= u?
False
Suppose 0 = 136*i - 114*i. Which is bigger: -1/3589 or i?
i
Suppose -29*q - 9 = -o - 24*q, -3*o + q = 57. Which is greater: o or -372/19?
-372/19
Let j(f) = -285*f + 1027. Let g be j(5). Which is smaller: 2/5 or g?
g
Let c(j) = j**2 + j - 174. Let q be c(-14). Is q <= 137/17?
True
Suppose -f + 5*f = -1572. Let z be (-3)/(-1173)*f - (-5 + 4). Let l = 1160/73899 + z. Are l and 1 nonequal?
True
Let a = -147 - -181. Suppose -j + 0*q + 2*q = a, -q = 2. Which is bigger: j or -37?
-37
Let z = 11131 - 10248. Which is smaller: z or 4419/5?
z
Let i be 16/7 + -2 - (-366)/42. Let v be 7692/i*(-9)/(-78). Let a = v - 98. Which is smaller: 0.2 or a?
0.2
Let l be (2 - 1) + 1 + (-8 - -6) + -372. Is -379 <= l?
True
Suppose 0 = 13*a - 8*a - 10. Let k = a + -11. Let u(g) = g**2 + 7*g - 6. Let p be u(k). Which is bigger: 9 or p?
p
Suppose 5*x + 4*i = 18 + 2, 0 = 4*x - 3*i - 16. Suppose -3*z - 55 = -85. Suppose -2*m = 5*y + z, m + 3 = -y + 4. Is x at most as big as m?
True
Let a = 2.834 + 10.603. Let k = 13.5 - a. Let c = k - 1.063. Is c > 0?
False
Let v = -38/143 + 31574/429. Let k be 4/(-6) - (1326/(-18) + 1). Do k and v have different values?
True
Let k = -113.9 - -104. Let c = k + 8.9. Is c at least as big as -2.6?
True
Suppose -3*n = 9 - 39. Suppose m + 5 = n. Suppose l - v - v = 16, -m*l + 52 = -3*v. Is 7 not equal to l?
True
Let q(x) = -x**3 + 5*x**2 + 8*x - 22. Let s be (-5)/(-1) + -3*(-1)/3. Let b be q(s). Suppose -10 = 5*k + 2*y + 20, -30 = 5*k + 5*y. Which is greater: k or b?
k
Let c(m) = 359*m**2 - m - 24. Let h be c(-3). Suppose -31*d + 21*d = h. Is -321 <= d?
True
Let o be (-2 - 3*(-3)/9)*(-14 - -13). Is -3/445 less than or equal to o?
True
Let w = -12098 - -12101. Which is smaller: 2/1215 or w?
2/1215
Let p(t) = -121*t + 731. Let w be p(9). Which is smaller: w or -359?
-359
Let y = 1211.1 - 1211. Which is bigger: y or 300?
300
Let g(j) = -5*j**3 - 32*j**2 + 81*j. Let w be g(-12). Which is smaller: 3061 or w?
w
Let c be ((-10)/(-8562))/((-680)/2448). Which is smaller: c or 0?
c
Let s(b) = -2*b**3 + 19*b**2 - 12*b - 110. Let g be s(6). Which is bigger: 24 or g?
g
Let y be ((-4)/10)/((-14)/10). Suppose -15*c = 26*c - 36080. Let x = 881 - c. Which is bigger: x or y?
x
Let a = 327 - 113.8. Let b = a - 213. Is 0.152 at most as big as b?
True
Let t be ((1 + -2)/1)/(-2). Let c(l) = -l**3 - 3*l**2 + 6*l. Let k be c(5). Let s = 171 + k. Is s equal to t?
False
Let i = 345 + -361. Let h(p) = -6*p - 103. Let g be h(i). Suppose 5*t = 3*m - 13, -4*m + 1 = 3*t + 3. Which is smaller: t or g?
g
Let w be 10/2 - (40/(-5) - 386). Let j = -3181/8 + w. Is 1 equal to j?
False
Let s = -1203.2 + -446.8. Which is bigger: -1 or s?
-1
Suppose 0 = 4*v - 5*c + 2167 - 317, -4*v = c + 1886. Is v greater than or equal to -469?
False
Suppose -5*k = -5*y + 675, 2*k = y + 3*k - 125. Let v = 129 - y. Do v and 3/163 have the same value?
False
Let u = 0.323 - -4.797. Let g = u + -5. Which is bigger: 5 or g?
5
Let h(j) be the first derivative of 57*j**2/2 + j - 1. Let i be h(1). Let g(p) = p**2 + 120*p - 21942. Let y be g(100). Is i > y?
False
Suppose w = -2*r + 13, 2*w - 8 = -152*r + 157*r. Which is bigger: r or 194/315?
r
Suppose f + 5*f = -198. Let c be (-24)/189*f/(-22). Which is smaller: -1 or c?
-1
Let r = -3277 - -3199. Are r and -71 unequal?
True
Let j = 3.98 + 0.02. Let h = j - 3. Let g = -960.7 - -960.6. Which is greater: h or g?
h
Suppose -5 = -4*w - 21. Let r be (w/(-3) + 0)/4*-138. Which is greater: r or -45?
-45
Let u(m) = 7*m + 65. Suppose -5*y + y - 4*w - 24 = 0, -5*y = 2*w + 39. Let q be u(y). Which is bigger: -0.8 or q?
q
Let w = -1.44 - 85.46. Let v = w - -87. Suppose -2*r + 3*l = -77, -6*r - 4*l + 204 = -r. Which is smaller: r or v?
v
Let t = -2597 - -1148. Which is bigger: t or -1448?
-1448
Let j = -273 + 278. Suppose j*f - 2*b - 865 = 0, -519 = -3*f - 3*b - 0*b. Are 172 and f non-equal?
True
Let z(d) = -2*d**3 - 5*d**2 + 168*d + 344. Let k be z(-2). Which is bigger: 203/40 or k?
203/40
Let q = 43839/47197 + -102/109. Suppose -10 = -z + 2*t, 9*z - 15 = 10*z + 3*t. Is z less than q?
False
Let k = -1 - 0. Let r be (-9594)/(-2132)*4/(-27). Is k <= r?
True
Let z = -9871 - -39501/4. Suppose 2*w = -3*w. Suppose -5*y + 4*j + 11 = -34, w = 4*y + 2*j - 10. Do z and y have different values?
True
Let z = -5486 - -5486.2419. Let o = 0.0419 - z. Which is smaller: 1/190 or o?
o
Let v(y) = 106*y**3 - y**2 + 1. Suppose -10 = -5*r - 0*i + 5*i, -5*r - 5*i = 20. Let m be v(r). Let d = m - -171. Is 65 less than d?
False
Let f = -9797.8 - -9798. Which is greater: 1/24733 or f?
f
Let q(h) = 2*h**2 + 3*h - 20. Let j be q(-5). Let r be 7/35 + 732/j. Which is greater: 0 or r?
r
Suppose -15 = -0*l - 2*l - 5*x, 0 = -4*l - x + 39. Suppose -8*h = -l*h + 8. Let m be (h/((-12)/3))/(2/(-2)). Is 24 less than m?
False
Let u be 21/(-14) - 138/(-4). Let l be 0*((-5 - u/(-6)) + -1). Is 207 at most as big as l?
False
Suppose -6*c - 1722 = 4194. Is c less than -986?
False
Suppose -8*r + 11*r - 68460 = 33*r. Is r at least -2285?
True
Let g be (-768)/(-360) - (-22)/(-165). Suppose -14 + 4 = -2*y. Let r be (8/y)/((-11)/(-15)). Which is greater: r or g?
r
Let g = -478 - -476. Let l(i) = -26*i - 13. Let s be l(g). Which is bigger: 40 or s?
40
Let g = 0.1346 + 0.4654. Which is greater: g or 15?
15
Let x = -112.082 + 0.082. Let h = 2252 - 2364. Let d = x - h. Which is greater: -3/4 or d?
d
Let d(a) = -3*a**2 + 37*a - 46. Let j be d(11). Are -83/122 and j equal?
False
Let y be (-2)/(-6) + 5/(-6). Let t be (((-6)/(-6))/(-4))/((-1)/52). Suppose -16*x - 3 = -t*x. Which is smaller: y or x?
x
Suppose -5*c = -5*w + 175, -9*w - c - 375 = -20*w. Are 19 and w equal?
False
Let f = -0.254 - -1738.254. Is f <= -1?
False
Suppose 2*r = -6, 0 = 3*n - r - 10 - 8. Let d = 1 + n. Suppose d*y + 7 = 13. Is y at least 6/17?
True
Let k(m) = m**2 + 21*m - 24. Let w be k(-22). Let z(q) = -5*q - 8. Let r be z(w). Which is smaller: -31 or r?
-31
Let k = 96012 + -480068/5. Let d(y) = -y**2 - 3*y + 2. Let h be d(-3). Suppose -f - 1 - h = 0. Is k at most as big as f?
False
Let c be (-1 - 0)/(104/16) + 64904/52. Which is smaller: c or 1249?
c
Let c(u) = 14*u**2 - 45*u + 8. Let w(l) = -5*l**2 + 15*l - 3. Let t(v) = -6*c(v) - 17*w(v). Let b be t(-15). Suppose b*k = 82 + 32. Is 37 >= k?
False
Let o(c) = c**2 - 8*c - 11. Let j be o(9). Let f be 1568/245 - (-12)/j. Is f smaller than 20?
True
Let g = -1043/18 + 4087/36. Is 55 bigger than g?
False
Let s = -31 - -36. Suppose 3*y = 2*h - 42, 2*h - 2*y - 44 = -0*y. Suppose 0 = -2*b + s*g - 28, 3*b + 5 = g - h. Are -9 and b non-equal?
False
Suppose 0 = 5*w - 3*s - 236, 2*w - s - 101 = -2*s. Suppose 51*p + 106 = w*p. Suppose 0 = 3*h - 6, 7*z + 4*h + 204 = 3*z. Are z and p nonequal?
False
Let i = -21455 - -21417. Which is smaller: 3/14 or i?
i
Let p = -281 + 409. Let v = p - 127. Which is bigger: 1/434 or v?
v
Let w(h) = 52*h + 312. Let i be w(-6). Let p = -6 - -11. Suppose -s = p*c + 13, -2*c = 2*c + s + 10. Which is smaller: c or i?
c
Suppose -24*k = 71*k - 95. Which is smaller: 5/338 or k?
5/338
Let w be 5*36/10*(5 + 3). Suppose 81*y + w = 72*y. Which is smaller: 6 or y?
y
Let j(a) = -2*a**3 + 2*a**2 + 24*a - 534. Let c be j(0). Which is smaller: -538 or c?
-538
Let t be (36 - (3/4)/((-22)/(-88))) + -5. Let b(a) = 8*a - 5. 