ast b?
False
Suppose -637*y + 628*y = -54. Suppose y*c - 1149 = -33. Is c greater than or equal to 185?
True
Let x = -817 - -875. Which is smaller: 87 or x?
x
Let p be -1 + 1 + -1*2. Let t(j) = 21*j + 55. Let k be t(-3). Let a be (3 + -1)/(1 + 20/k). Which is smaller: a or p?
p
Let l be -3 + 511/175 - 50712/(-150). Do 341 and l have different values?
True
Let u = -1.69 + 1.63. Let k = u - -0.36. Is -3/5 equal to k?
False
Suppose -s - 169 = -3*i, -7*s + 157 = 3*i - 5*s. Suppose 8*u = i + 57. Let v be ((-651)/u)/(3/4*-1). Is v > 61?
True
Let z be ((-6)/(-20))/(((-15)/(-186))/5). Let m = z - 11203/615. Let i = m + 2/123. Is 3/2 at least as big as i?
True
Suppose 3*g = 2*g. Let i be (2/254)/((1512/180)/42). Which is smaller: i or g?
g
Let t = 77 + -59.1. Let w = -17.1 - t. Which is smaller: w or -0.1?
w
Suppose 4*a - 3*k = 2462 + 22, -3*a = 3*k - 1884. Suppose -a = 28*y - 2*y. Is -25 at most y?
True
Suppose -9 = 3*m - k - 12, 0 = m + k + 3. Which is greater: m or -43/57?
m
Let j(n) = -n**2 - 45*n - 396. Let v be j(-12). Is 1/41135 greater than v?
True
Let r be -16 + 54/4*270/(-405). Let u(m) = -m**3 - 5*m**2 + 4*m + 2. Let a be u(-5). Which is bigger: r or a?
a
Let s = -2.9 - -3. Let z = -0.205 - -0.128. Let f = -0.243 + z. Which is greater: s or f?
s
Suppose -7*o = -4*o - 3*j + 12, 0 = -o + 3*j - 4. Let k be (1 - o/(-3))*0. Suppose k = -5*p + 4 + 1. Is p at most as big as -18?
False
Suppose -2*b - 38 = -5*u + 33, 3*u - 48 = 3*b. Let i be 1 + -1 - (-5 + u - 2). Which is smaller: i or 3/8?
i
Let x(u) be the first derivative of -2*u**3/3 - 11*u**2/2 + 7*u - 3. Let j be x(10). Let g = j + 9699/32. Which is greater: g or 1?
1
Let n be (3 + -4)*709/(-7). Let j = 102 - n. Which is bigger: 1/3 or j?
j
Let k be 117/(-36)*2/13. Let n = -14 + 35. Is k <= n?
True
Let f(x) = -2*x**3 - 2*x**2 + 7*x + 7. Let q be f(-1). Suppose 4*k + 0 = -8. Let l be 1*k*(-5)/(-46). Which is smaller: l or q?
l
Let v = -6061 - -7170. Do 1110 and v have different values?
True
Let c = -1 + 7. Let v be 1853/(-30) - 2 - (-4)/c. Let n = -63 - v. Are 1 and n unequal?
True
Let f = -64 + 71. Let p be (-30)/(-15) - ((-54)/f)/(-2). Which is greater: -1 or p?
-1
Let a be 174/2001 - (-97110)/(-46). Which is smaller: a or 2?
a
Let y = 76 - 74. Let c be ((-22)/4 + 5)*y. Do c and 4/43 have the same value?
False
Let o be ((-7)/5)/((-3)/15). Suppose -o*g + 35*g = 728. Which is greater: 23 or g?
g
Suppose 0*f - f = 0. Let w(l) = 20*l + 32. Let q be w(-4). Let k be q/234 + (-8)/(-12). Is f bigger than k?
False
Let t be (-32526)/156 + (-5)/2. Let y(m) = -11*m**2 - 9*m + 2. Let x be y(4). Do t and x have different values?
True
Suppose 6*a - 87 = 339. Let b = -52 + a. Are 13 and b equal?
False
Let i(a) = -4*a - 16. Let q be i(-6). Suppose 2*d = -q*d - 90. Suppose 13 = -w + 2*j, -w = 2*j - 0*j + 5. Is d not equal to w?
False
Let f(k) = -4*k**3 - 7*k**2 - 19*k - 57. Let y be f(-4). Suppose 4*t + y = 3*s, -3 = -0*s + s. Which is smaller: t or -39?
t
Suppose 0 = -2*q + 10*r + 3852, -4*q - 7*r + 6*r + 7641 = 0. Does 1914 = q?
False
Let s = -175 + 496. Suppose 327*w = s*w - 78. Is w at most as big as 2?
True
Let b = 92 + -70.2. Let k = 25.2 - b. Do k and -0.1 have the same value?
False
Let s = 17211 - 27758. Which is smaller: s or 0?
s
Let f be ((-1450278)/23968 - (-16)/28) + (-2)/32. Suppose 5*s + 333 = 3*i + i, 0 = 4*s + i + 258. Is s greater than or equal to f?
False
Let j = -94 + 144. Let l = -0.056 + -50.044. Let i = l + j. Which is smaller: i or 0.49?
i
Let j be (-610)/(-35) - (-16)/28. Let w be j/34 + (-7)/14. Is w not equal to 1?
True
Suppose -4*z + 3*h = z - 25, 3*z - 26 = 4*h. Suppose z*q = -q. Let j(d) = -d**3 + 13*d**2 - 30*d - 5. Let w be j(10). Do w and q have the same value?
False
Suppose -5*i + a - 754 = 0, 2*a + 151 = -4*i - 455. Let j be 18/207 + (7042/23)/(-2). Is i at least j?
True
Suppose 0 = -4*n - x - 2708, -3*x = 3*n + 1103 + 928. Let a = -585 - n. Is 92 >= a?
True
Let y = 404 + -392. Let a be (y - (-7847)/(-651))*(-2)/(-35). Which is greater: a or -1?
a
Let c(o) = -2*o**2 - 12*o - 9. Let y be c(-4). Suppose -179 - 24 = y*u. Which is bigger: u or -32?
u
Suppose 572*w = 568*w - 4. Let f be 1 + (3/2 - 8386/3388). Do w and f have the same value?
False
Let u = 19/3 - 55/9. Let p be (-3)/4 + (-24)/(-32). Suppose p = 2*t - 0*t. Which is smaller: t or u?
t
Let g be 1694/33 + 1/(-3). Suppose -2*z = n - 26, 3*z - g = -2*n - 2*z. Let d = 0.1337 - 0.1337. Which is bigger: d or n?
n
Let a = 72/55 - -193/5. Is 40 at least a?
True
Let d = -172 - -203. Suppose 0 = -d*n + 40*n + 720. Is n smaller than -78?
True
Let x be 2/((42/108)/(-7)). Let c be x/(-9) - (-122)/(-30). Which is greater: c or -28?
c
Let v be 8*15/240*30. Is 19 != v?
True
Let g be (-123)/(2 - 5) + 2. Suppose -8*w - 37 = g. Suppose -3*l - 44 = 2*d - 15, d + 2*l + 17 = 0. Which is smaller: w or d?
w
Let l be (-32030)/40 - 5/20. Is l < -795?
True
Let k be (3 - 2)/(-1 + 0). Let j be 2*(-2)/(k - -5). Let v = 322 - 329. Are v and j non-equal?
True
Suppose 7*o - 9*o + 5*s + 39 = 0, o = 3*s + 22. Suppose o*q - 11*q + 8 = 4*g, -11 = -3*g - 4*q. Which is smaller: g or -25/6?
-25/6
Let w = -30302/29 + 1045. Suppose -6 = 8*y - 6*y, 0 = -2*l + 3*y + 9. Which is smaller: l or w?
l
Let f = -1.054 + -3.946. Let w = 13.228 - 0.128. Let j = w - 13. Are j and f nonequal?
True
Let w = 319 + -319. Suppose w = 12*h - 7 + 151. Suppose 0 = 4*j + v + 45, 0 = 4*j + v + 2*v + 39. Is j at least h?
True
Suppose 3*f + 8 - 2 = 0. Let u = 46 - 44. Suppose -u*c - 9 = -21. Is f greater than or equal to c?
False
Suppose 1114 - 2234 = -7*q. Which is smaller: q or 14?
14
Suppose 7*a - 81 = 2*b - 2, -2*b - 4*a + 42 = 0. Let d be 2/(-38)*(-2)/(-18). Is b at least as big as d?
False
Let u = -959 + 294. Let a = u + 3327/5. Is 92 not equal to a?
True
Let w = 4.695 + -5.004. Which is bigger: 4/5 or w?
4/5
Let z be 26/(-28)*((-1292)/(-247))/(-17). Which is greater: z or -8331?
z
Let b = 834 + -1214. Let i = 411 + b. Which is bigger: i or 0?
i
Let s = 279 + -271. Let g be s/14 + (-54)/(-126). Does g = 1/74?
False
Let m = -42 - -45. Suppose -m*r + 5*r + 65 = a, 3 = 3*r. Suppose 6*v - 41 = a. Which is bigger: 1 or v?
v
Suppose -20 = -12*b + 8*b. Suppose -g = -b, -2*g + 96 = -3*q - 184. Do q and -90 have the same value?
True
Suppose -57*u = -50*u - 546. Suppose 124*a = 118*a - u. Which is bigger: a or 4/3?
4/3
Let y be 634/6096 + 277/(-2216). Is 0 less than or equal to y?
False
Suppose -3*k + m = -6*k, -3*k + 2*m = 9. Let r(f) = -f**2 - 12*f - 21. Let w be r(-6). Let h be w - k*(0 - 2). Is 13 < h?
False
Let j = -363.92 - -356. Let q = j + 8. Let z = 3029 - 3033. Do q and z have the same value?
False
Let k be -15*(-120)/225 + (-312 - -1). Is k != -310?
True
Let o = -20398 + 6198. Is -14201 smaller than o?
True
Let f = -3044 - -1579. Are f and -1465 unequal?
False
Suppose 4*u - 1756 + 2963 = 3*q, 4*u = 5*q - 2009. Which is greater: q or 399?
q
Let g(i) = -i**3 + 3*i**2 + i - 1. Let b be g(1). Suppose -b*f - 4*s = -62, -2*f - f - s + 103 = 0. Let n = f - 96. Is n at least -61?
True
Let k = -6479 - -6542. Is k bigger than 15?
True
Suppose 3*o + 320 = -o. Let j = 30576 + -30657. Is o not equal to j?
True
Let s = -14 + -243. Let g = s - -253.2. Which is smaller: -1/5 or g?
g
Let t be (400/(-160))/((-10)/4)*-1. Which is smaller: -1/680 or t?
t
Let r be 3/(-5) - 210/150. Let k be (-15 - -16) + r/1. Are -1/167 and k nonequal?
True
Let y = 63 + -38. Suppose 2*x = 21*q - 17*q - 86, 4*q = -3*x + 101. Which is smaller: q or y?
q
Let u(f) = -f**3 + 15*f**2 - 26*f + 22. Let t be u(12). Let o be (-2*(-6 - -5))/(t*1). Which is smaller: -1 or o?
-1
Let l(o) = o**3 - 11*o**2 - 14*o - 7. Let s be l(12). Suppose 5*u = 10*u + 20. Let p be -4 - (64/(-24))/(u/42). Is p less than s?
True
Let z be ((-3)/9)/(1/(-15)). Suppose z*l + 32 = 3*l. Let a be -25 + (1 - -10 - 1). Are l and a nonequal?
True
Let c be 17/2 - 39/26 - 4. Let o be (-45)/(-30)*c/(18/188). Is o at least as big as 47?
True
Let k = -4133 - -4124. Which is greater: k or 2/311?
2/311
Let d = 1082179/8 - 135098. Which is smaller: 174 or d?
174
Let h be (-566712)/(-51544) + (0 - 11). Suppose 5*i - 4*v = 4 - 0, -v = -i + 1. Which is greater: h or i?
i
Let m = -2180107/75 + 29068. Which is smaller: m or -1?
-1
Suppose i = -92*z + 89*z - 28, -