n?
False
Suppose 5*b = t - 5, 0*b + b = -4*t - 1. Let n = -4 + -2. Let p be 8/(-32)*n/(-17). Which is smaller: p or t?
p
Let a(g) = 304*g + 145. Let u be a(-5). Is u less than -1368?
True
Let g be 10 - 1 - (-17640)/24. Is g <= 744?
True
Let s = -5150 + 25744/5. Which is greater: s or 0.034?
0.034
Let z be ((-3096)/840)/43*-12*1. Which is smaller: 1 or z?
1
Let g = 4126 + -2281. Which is smaller: 1846 or g?
g
Let r = 101 - 183. Let g be (-22 + -476)*(-2)/(11 + -23). Does g = r?
False
Let m = -0.3 + -30.7. Let t = m - -30.8. Which is greater: 39 or t?
39
Suppose -98 = 3*n + 2*g, n - 4*n - 92 = 5*g. Let o = 34 + n. Let i be (18/(-4))/9 - o/2. Is i at least 38?
False
Let x = -112.9 + 118.9. Is x > 2/63?
True
Let v be (-1409)/(-8) + (-8 - 2 - -9). Let z = 175 - v. Let m(o) = -o - 4. Let u be m(-4). Is u <= z?
False
Let g be (-1842)/30 + 2/(-5). Let z = g + 62. Suppose 5*s - 3*v = -5, 3*s + 2*v + 3 = -0. Is s <= z?
True
Let n(d) = 33*d + 143. Let p be n(16). Let l = 670 - p. Which is greater: l or 2/57?
2/57
Let z be -2 + 27*(-1)/(267/(-21)). Which is bigger: 1 or z?
1
Let s = 487/66 - 94/11. Suppose -5*h + 1 + 4 = 0. Let b be h - 4 - (2 + -3). Is b > s?
False
Suppose -4*d = 4*u + 52, 4*u = 5*d - 33 + 80. Let t(c) = -14*c - 340. Let m be t(-24). Which is greater: m or d?
m
Let f be 1/(-6)*3 + (-16)/32. Which is bigger: -6/457 or f?
-6/457
Let z(r) = 25*r**2 - 8*r - 3. Let u(v) = v**2 + 1. Let i(b) = 4*u(b) - z(b). Let m be i(-1). Which is greater: -23 or m?
m
Let p = 3 - 2.4. Let d = 0.2353 + 0.5647. Let i = p - d. Which is smaller: i or -36?
-36
Suppose 9*u - 12*u - 3*c = -12, -3*u - 4*c = -16. Which is smaller: u or -16?
-16
Let n = 14205 - 14240. Is n at least as big as -140?
True
Let t = 796568537/166881 - 52506/11. Which is greater: t or 0?
t
Let t be 32/63 + 4/(-14). Let l = 54.5 - 54. Let v = l - 0.3. Which is smaller: v or t?
v
Suppose 0 = -4*g + 3*g. Let o = -975869/452767 - -1157/911. Let r = 2/71 + o. Which is smaller: g or r?
r
Let n = 14499 + -15676. Which is smaller: n or -1175?
n
Let d = 118 + -102. Suppose -8 = -3*v - 5*o - 4, 0 = -3*v - o - d. Are -8 and v nonequal?
True
Suppose -5*a = -15 - 5. Suppose 0 = -5*b - a*b - 54. Which is greater: b or -9?
b
Suppose 2*j - 4*n = -88, 250*n - 247*n - 43 = j. Which is smaller: -49 or j?
-49
Let s(r) = -16*r**2 - 237*r + 201. Let i be s(-16). Suppose -4*q + q = -108. Let c be 8/q + (-1876)/18. Is c at least i?
False
Suppose -18*i = -43*i + 18*i - 15351. Is i greater than 0?
False
Let g = 5796 - 3163. Let v = 47407/18 - g. Is 2 at most as big as v?
False
Let o(u) = -u - 4. Let i be o(-3). Let j = -0.02451 - 7.97549. Which is bigger: i or j?
i
Let s be (-476223)/342 + (2 - 21/14). Let i = s + 1392. Suppose -4*j = d - 2*j + 1, 5*d + 5 = -3*j. Is d at least as big as i?
False
Let m(g) = 128*g + 187. Let c be m(8). Suppose -10*n - c + 141 = 0. Is 0.1 smaller than n?
False
Let l(b) = b**3 + 21*b**2 + 33*b - 39. Let u be l(-19). Suppose -57*n + 1 = -u*n. Let a be 3759/735 - n*5. Is 0 at least as big as a?
False
Let y = 6 - 8. Let r be (2*y/28)/(-1). Suppose -c = 4*d, 3*d + 62*c - 59*c = 0. Is r != d?
True
Let q = 1.0769 + 0.6693. Let t = 0.0538 + q. Which is greater: t or 14?
14
Let a = -13 + 94. Let g = a - 38. Let l = g + -48. Which is greater: 1 or l?
1
Let i be (-18)/90 - 352/(-10). Let u be 14/i + 1*(-4)/85. Let d = -2 - -1. Is u at most as big as d?
False
Suppose -5*y + 99 = -o - 8*y, -396 = 4*o + 2*y. Which is bigger: o or -96?
-96
Suppose n + 0*q = -3*q - 14, -4*q = -4*n + 24. Let i be (-8)/1 - (-2 - n). Is -42/11 <= i?
False
Let u = -92 - -91.6. Which is smaller: 0.1253 or u?
u
Let b = 35488/3 - 11841. Let o(t) = -t**3 + 6*t**2 - 4*t + 2. Let x be o(6). Let s be (-123)/11 - 4/x. Which is greater: b or s?
s
Let m(c) = 2*c**3 - 103*c**2 + 53*c + 212. Let s be m(51). Let w = -4 - -9. Let q be w/(-30) - s/60. Which is smaller: q or -4?
q
Let c be ((-1)/1)/(-5 - (-78)/13). Which is bigger: c or 2/6185?
2/6185
Let p(i) = -i**3 + 10*i**2 - 8*i - 2. Let y be p(9). Suppose 396 = y*h + 4*h. Suppose 5*x = 4*x - h. Which is smaller: -35 or x?
x
Let h = -2 + 1. Let l be (-28)/(-5)*(-5)/(-2). Suppose 18*k = l*k. Is k less than h?
False
Suppose -6*b + 243 = -3*w - 2*b, -2*b = 2*w + 162. Let u = w - -92. Which is smaller: -0.5 or u?
-0.5
Let h = 220 + -221. Let b be -1 + 68*3 + 1/h. Is b != 203?
True
Suppose 5*d + 8*z + 19050 = -2*z, -5*d + 4*z = 18938. Is -3794 greater than d?
False
Let a be (-4)/9*(-6)/4. Let w = 15273 - 15273.1. Is w at least as big as a?
False
Let j(k) = 3*k + 62. Let p(f) = -20*f + 25. Let g be p(3). Let w be j(g). Do -43 and w have different values?
False
Let f = -51937/6573216 + 11/1374. Is f >= 1?
False
Let o = -86 - -85. Suppose -5*p + 0*p = 0, 0 = 3*s + p - 9. Let m be s/4 - ((-7)/(-84) - o). Which is smaller: m or -1?
-1
Let u be 4 + -3 + 0 + (-14880)/120. Suppose -640 = 3*q + 2*q + 5*x, 0 = -x - 4. Is u at least as big as q?
True
Let q = -31159/3 + 10299. Does q = -86?
False
Let r = -3241 + 3037. Is 0.5 > r?
True
Let r be (-2 + (-18)/(-8))*(3 + 1). Let h be 2 + (r - (-10)/(-26)). Is 2 > h?
False
Let v(q) = 13*q + 265. Let r be v(-20). Suppose -2*u - 5*y = -5*u + 336, 0 = -r*u - 3*y + 560. Are 110 and u nonequal?
True
Let w = -0.00801 - -267.00801. Is w not equal to -1?
True
Let m = 0.073 - 1.073. Suppose t + 45 = -42. Let i be 6/(-8) + t/(-84). Is m less than i?
True
Suppose 6*p + 688 = -506. Let m = p - -212. Is 13 at least as big as m?
True
Suppose -34 = 3*l + 5*p + 61, -5*p = 2*l + 65. Suppose -6*j = -269 - 277. Let d be (-19)/(-57)*(-2 - j). Is d less than or equal to l?
True
Let h be (403 - (3 - 0)) + 63/7 + -3. Is 411 <= h?
False
Suppose 5*i = w + 8, -2 = -16*i + 15*i. Suppose 3*c + 4*p - p - 567 = 0, w*p = 8. Which is greater: c or 184?
c
Suppose 3*g = -i - 23, -2*g + 26*i - 6 = 28*i. Do 371 and g have different values?
True
Let v be 158/(-30) - -5 - (-36)/(-60). Which is greater: -1 or v?
v
Let b = 113 - 98. Let l be 222/b - 2/(-10). Which is smaller: 0 or l?
0
Let m(j) = -3*j - 6. Let t be m(14). Let h be (16/40)/(t/(-135)). Is 2 at least as big as h?
True
Suppose 5*t = 2*k + 244, 0 = -2*t + k + 3*k + 104. Suppose 2*q = -t + 66. Suppose q*m - 4*m = -5. Which is smaller: m or 4/9?
m
Let j(n) = -6*n**2 + 40*n - 4. Let x be j(4). Let q be (40/7)/(22/231). Is x equal to q?
True
Let p(c) be the second derivative of -7*c**3/6 + 85*c**2/2 + 19*c + 1. Let s be p(12). Do 3/158 and s have the same value?
False
Let m(j) = j**2 + 1. Let l be m(1). Let d(p) = 12*p**2 + 4*p + 5 - 4 - 13*p**2 - l. Let w be d(4). Is -6/7 <= w?
False
Let s be 506/(-2310) - (0 + (-1)/(-15)). Is -1.4 smaller than s?
True
Suppose -3*i = -r + 49, 2*r + i = 4*i + 86. Let z(g) = g**3 + 6*g**2 + 11*g + 6. Let l be z(-3). Which is bigger: l or r?
r
Let m = 140 - 285. Let h = m + 87. Is h bigger than -59?
True
Suppose 55 - 185 = -170*b + 40. Which is smaller: b or -3712?
-3712
Let c(t) = 23*t + 71. Let v be c(-3). Suppose v*n - 5 = -r, 2 + 3 = -2*n + r. Which is smaller: -63 or n?
-63
Suppose 14 = 2*b - 4*k, -10 - 25 = -4*b + k. Suppose 0 = b*a + a - 20. Suppose 19 = -r - a. Which is smaller: r or -23?
-23
Let f(q) = q**2 - 15*q - 26. Let n be f(16). Let g be 125/42 + n/(-4). Let x = g - -25/21. Which is bigger: 7 or x?
7
Suppose 13*o - 217 - 95 = 0. Let c be -3*(o/(-378))/(-4). Which is bigger: c or -1?
c
Let l = -152 - -152. Suppose 0 = -4*d + 8, 2*x - 4*d - d + 16 = l. Is -2 < x?
False
Let v = -9378 - -9377.6. Is -0.2281 equal to v?
False
Let p(c) = -c**3 + 6*c**2 - 9*c + 5. Let s be p(3). Suppose s*o + 2*m - 30 = 3*m, 3*o - 3*m - 30 = 0. Suppose -o*x + 2*x + 42 = 0. Is 13 at most as big as x?
True
Let x be 6/(-8) + (-273)/(-348). Let c(l) = -2*l + 11. Let g(o) = -2*o + 11. Let f(p) = -3*c(p) + 2*g(p). Let m be f(6). Which is greater: m or x?
m
Let n = -0.10689 + -227.09311. Which is smaller: n or -0.1?
n
Suppose g = -5*w + 114, w - 26 = -g - 0. Let s(k) = 2091*k**2 - 4183*k**2 + 16 + 31*k + 2090*k**2 + 7. Let b be s(0). Is w at most b?
True
Let z(b) = -11*b + 2*b + 10*b + 64 + 17*b. Let u be z(-6). Which is smaller: 1 or u?
u
Let p be (-116)/(-6)*(-1*4 - -1). Let l be (p/(-12)*-2)/((-660)/9). Let z = -2/11 + l. Which is greater: 0 or z?
0
Let d be 1*(-2)/(-4)*280/4. Suppose 4*z = 5*w - 10, -5*w - d = z 