t. Let j = t + -57. Suppose p = -j*s + 114, 3*p - 66 = -s - 2*s. Which is smaller: s or 20?
20
Let g be 256 - ((-3)/9*3)/(-1). Let j = g + -250. Is j > -50?
True
Let v be (-13)/(39/(-42))*252/8. Is 443 greater than v?
True
Suppose 0 = -y + 1. Suppose 23*u - 16*u = -7. Let g be 8/(-80)*((-22)/10 - u). Which is smaller: y or g?
g
Let g be (-436)/22 + ((-600)/(-88) - 7). Which is smaller: -27 or g?
-27
Let n be (2 + 1110/(-546))*4/36. Do 1 and n have the same value?
False
Let c = -0.65 + 1.7. Let m = -0.45 + c. Let n = -3.3 + m. Is n greater than 1?
False
Suppose -21*c + 24*c + 117 = 0. Let j = c - -4. Suppose 0*y = -2*h - y - 73, -3*y - 117 = 3*h. Is h smaller than j?
False
Let a be (((-2)/23)/1)/((-52)/5402936). Let g = a + -9035. Which is greater: 1 or g?
1
Let q = -15149.005 - -15141. Do -2 and q have different values?
True
Let k(h) = -402*h**2 + 301*h + 1212. Let v be k(-4). Which is smaller: -6425 or v?
-6425
Suppose -n = -4*j - 997, -44*n = -39*n + j - 5069. Is 1012 at most n?
True
Let u = -503.0017 - -503. Let p = u + 2.0017. Is -30/13 bigger than p?
False
Let a be 366 - -68*(-5)/(-20). Is a smaller than 387?
True
Suppose -4*i + 6*t - 1012 = 9*t, 0 = -4*t. Let s = i + 268. Which is smaller: 97/6 or s?
s
Let p = -2 + 1. Let c be 3 + (-182 - 12/3). Let o = c - -167. Is p smaller than o?
False
Let x be ((-2)/(-4))/(1546/12). Let a = x - 2149/155373. Let t = 0 + -1. Which is greater: a or t?
a
Let j(o) = -160*o + 959. Let f be j(6). Is f < -23/94?
True
Suppose -526 = -24*t + 21*t - 5*x, 3*t + 3*x = 516. Is 178 greater than t?
True
Let u be 12/(-8)*(-18)/27. Let p be 4 + 2/u + -6. Is -28 greater than p?
False
Suppose 4*z + 2*f + 5876 = 0, 29*z + 9*f = 30*z + 1469. Which is greater: z or -1468?
-1468
Let s be (-1007085)/(-195) - 42/(-91). Is s bigger than 5165?
False
Let b = 77.8565 + 0.0435. Let i = 78 - b. Suppose 0*k = k - 3*t + 4, 0 = 4*k - 4*t. Which is smaller: k or i?
i
Let l be (906/3624)/((-302)/888 + (-1)/(-3)). Suppose 8*p - 5*x + 4 = 5*p, -3*p + 4 = -x. Let d be ((-37)/(-3))/(p/(-6)). Are d and l non-equal?
False
Let z(k) = 4*k**2 + 7 + 85*k + k**2 - k**3 - 70*k. Let h be z(-5). Which is smaller: h or 181?
181
Let q be ((-6)/(-63))/(2/(-12)). Suppose -2208 = -4*v - 600. Let b = v - 394. Do q and b have different values?
True
Suppose -5*v + 17 = 7. Suppose -4*a - 8 = v*t, -2*a + a + 5*t + 9 = 0. Let y be 5/7 + 56/196. Is y less than a?
False
Let z(y) = 2*y - 32. Suppose -8*s + 6*s + 28 = 0. Let a be z(s). Let m be a/(-6)*6/776*4. Which is smaller: -1 or m?
-1
Suppose 30014 = -3*g + 3*w + 8555, -w = 3*g + 21491. Which is greater: -7160 or g?
-7160
Let x = -9.1 - 17.9. Let p = 27.2 + x. Is -0.26 != p?
True
Suppose 6*j - 16 = 4*j. Suppose j*t = -179 - 109. Is -262/7 equal to t?
False
Let x = 18 + -19.3. Let p = 0.02255 - 1.64255. Let k = p - x. Does -2 = k?
False
Let c be 1 + 3 - (141 - -7). Let v be (-1)/((-1)/(c/(-28))). Let p = -0.9 - -1. Which is greater: p or v?
v
Suppose 0 = 33*g - 85*g + 1976. Is g > 0.26?
True
Let w = -2938/19 + 717119/4636. Is w <= -1?
False
Let j(x) = 4*x**3 + 5*x**2 - 8*x + 146. Let l be j(0). Which is smaller: l or 127?
127
Let f(z) = z**3 - z**2 + z - 1. Let q be f(2). Suppose 0 = -2*b + q*b - 39. Suppose 4*l + b + 12 = -5*y, -3*l + 5*y + 25 = 0. Does 0 = l?
True
Let o be (-60411)/(-364) + 19 - 1/((-4)/(-5)). Is o > 184?
False
Let a(o) = -7*o**2 + 4*o - 4. Let g be a(1). Let y(i) = i**2 - 14*i - 28. Let j be y(g). Is 120 <= j?
False
Suppose -2*r = 4*m + 6, -5*r + 4 = 2*m + 27. Let k be (-3 + (-1916)/(-638))*1. Which is smaller: k or m?
k
Let h = -33579 - -170029/5. Are 428 and h equal?
False
Let o = 3 - 2. Let j be 9 + 56/280*(0 - 41). Which is greater: o or j?
o
Let d = 2271 + -2346. Let v(w) = w**3 + 5*w**2 + 6*w - 4. Let g be v(-6). Which is greater: g or d?
d
Let n(r) = r**3 - 3*r**2 + 9. Let o be n(3). Let z be 4 - (1/((-3)/o))/(-3). Suppose 5*p + 3*y = -73, 2*p - z*p + 5*y - 37 = 0. Is -17 > p?
False
Let x(g) = -g**2 - 55*g - 98. Let a be x(-52). Suppose 2*l = 5*j - 79, 5*j - 68 = 3*l + a. Is -45 equal to l?
False
Let r = -162 - -286. Let d = 118.9 - r. Let a = 5.12 + d. Which is bigger: 5 or a?
5
Let o = -775522/7 - -110604. Are o and -186 non-equal?
True
Suppose -8*s - 11*s = -12*s. Let t be ((-20)/(-28))/((s - 0) + -1). Let k = -18 + 16. Which is greater: t or k?
t
Let v = -5171/2 - -2584. Is v at least as big as 1.08?
False
Suppose 39*t - 5489 = 20914. Is 677 less than t?
False
Suppose -4*f + 24 = -8. Suppose f - 56 = -6*d. Suppose 0 = 4*h - d*h - 3*s + 33, -4*h + 39 = 5*s. Is h equal to 7?
False
Let x = -1756 - -1780. Let f be 76/(-14) - (-21)/49. Let n = 30 + f. Which is bigger: n or x?
n
Let u(w) = 57*w - 426. Let o be u(10). Suppose 3*m + o - 45 = 0. Which is greater: m or -26?
-26
Let h = 0.034 - 0.134. Let z = -0.17 - -0.59. Let j = z + -0.44. Is j <= h?
False
Suppose 52 = 2*s + 2*d, 3*d = -4*s + 104 - 3. Let y = -2117 + 2131. Which is greater: s or y?
s
Let g be 18/(-81)*477/106. Is -113/57 at least as big as g?
False
Let g be 0 - (0 + 1 + -2). Let a = 0.065 - -39.935. Let m = -56 + a. Which is greater: g or m?
g
Let n = 156 - 167. Let q be (-6)/n + (-68325)/123750. Is q greater than 1?
False
Suppose -3*z = -4*n + 7, 52*n - 50*n - 23 = -5*z. Let g be (4/(-742))/(-9*n/21). Which is smaller: 0 or g?
0
Let g(v) = 3*v**2 - 43*v - 6. Let u be g(16). Which is smaller: u or 77?
u
Let x be (-10)/5 - (3/3 + 3). Let q be (x/(-20))/((-6)/(-30)*-12). Which is bigger: q or 9?
9
Let s = 635.0686 + -635. Is s bigger than -1/4?
True
Let j = 9185 + -8172. Which is greater: 1018 or j?
1018
Let g = -109400 + 4704902/43. Which is smaller: 16 or g?
16
Let p = 279 - 434. Let g = p + 428. Is g >= 272?
True
Let x = -105 + 140. Let a = 36 - x. Suppose 0*b = b. Which is greater: a or b?
a
Let d = -454 - -512. Is 2 != d?
True
Let q = 17.72 + -20.72. Which is smaller: q or -0.56?
q
Let a = -7 - -42. Suppose -v = 5*k + 6, 5*k = 7*v + 62 + 20. Is a greater than k?
True
Let q = 229/6 - 39. Let s be (0 - 18 - (-8 + 5))/(-1). Suppose -12*z = -s*z - 19*z. Are z and q nonequal?
True
Suppose 224 - 300 = 19*c. Let l be 3/(-12) - (-4 + 49/c). Suppose -3*q = 2*h - q, 0 = 3*h - 4*q - 14. Which is smaller: h or l?
h
Let k be 2/(-6) + (-9305270)/3270. Let y = -2846 - k. Let c = -105/218 + y. Is c >= -0.06?
False
Suppose 2*z = -0*z + 54*z. Suppose z*b - 4*h = -b - 1, 0 = -2*b + h - 37. Is b equal to -9?
False
Let n(d) = -10*d + 9. Suppose 0 = -z - 0 + 3. Let x be n(z). Let g be (-1580)/140*(-7)/(-4). Is x greater than g?
False
Let h be (1 + -4)/(5 - 4). Let y be ((9/28)/h)/((-80)/12480). Is y less than 16?
False
Let y = 21739/18 + -320345/198. Which is smaller: -409 or y?
y
Suppose -2*z + 4*z - 2*p + 1802 = 0, 3*z + 2701 = 2*p. Are z and -901 unequal?
True
Let l(u) = -u**3 + 13*u**2 - 2*u - 75. Let g be l(8). Is 230 at least g?
True
Let s = 26556 + -26556.1. Let l = 0.89 + 0.01. Which is bigger: s or l?
l
Let h = 0.342467 + 0.057533. Let z = -5 - -4.998. Is h at most as big as z?
False
Suppose 0 = 5*w + 5*p - 3*p - 8, 0 = -5*w - 5*p + 5. Suppose y + w*y - 162 = -5*f, 2*f - 70 = 4*y. Is 31 != f?
True
Let r = 6 - -43. Let q = 196 - 146. Is r != q?
True
Let l = -336 + 121. Do l and -1/3 have the same value?
False
Let z = 12.56072 - 0.19972. Let y = -0.361 + z. Which is smaller: -0.4 or y?
-0.4
Let c(n) = n**3 + 23*n**2 - 2*n - 51. Let g be c(-23). Let j be (-109)/(-85) - (g - 498/(-102)). Which is bigger: j or 2?
2
Let f be 3/(126/1194) - (-22 - -17). Is f at most 33?
False
Let f(h) = 11*h**3 + 31*h**2 + 40*h + 25. Let o(b) = 5*b**3 + 15*b**2 + 19*b + 12. Let l(a) = -3*f(a) + 7*o(a). Let y be l(-5). Is -50/11 bigger than y?
True
Let f = 53 - 109. Do -1/26 and f have different values?
True
Let c = -191 + 194. Let t be (c/2)/(-4 + 153/(-36)). Which is greater: t or -3/7?
t
Let g(k) = -3*k**2 + 0*k**2 + 2*k**2 - 3*k + 3*k**2 - 3. Let f be g(4). Let r = -13188 - -13201. Is f > r?
True
Let m = 37.146 + 0.154. Let w = 10.7 + m. Suppose -75*f = -92*f. Are w and f equal?
False
Let m be (29766/143 - 9) + 8 + -1. Which is greater: m or 207?
207
Let o(v) = v**3 + 20*v**2 - 71*v - 156. Let q be o(-19). Are 0.1 and q equal?
False
Suppose 1318 - 67111 - 6543 = 176*u. Are -421 and u equal?
False
Let q be 309/1030 - (9/2 + -4). Which is greater: 