 -3*p - 33. Let a = p + 49. Does a = -20/13?
False
Let p = -0.46 - -0.279. Which is smaller: -3 or p?
-3
Suppose -73 = 12*t + 23. Let m(g) = g**2 + 17*g + 26. Let d be m(t). Is -46 less than d?
False
Let o(b) be the first derivative of b**3 + 2*b**2 - 5*b - 18. Let w be o(1). Let v = -5 + 5. Which is smaller: v or w?
v
Let k(h) = -2*h**3 - 36*h**2 + 53*h + 57. Let z be k(-18). Which is smaller: z or 2/3?
z
Suppose 5*r = z - 134, -78 = 5*r - 2*z + 60. Let s(v) = 26. Let k(w) = w. Let t(y) = -k(y) - s(y). Let j be t(0). Is j equal to r?
True
Suppose 0 = 3*f, -4*g + 8 + 8 = 2*f. Suppose -11*p = -13*p + g. Is p not equal to -34?
True
Let z(n) = n + 1. Let u be z(3). Let v(p) = 2*p**3 - 2*p**2 + 6. Let x be v(2). Suppose 122 = 5*m + 3*a, u*m - a - 98 = -x. Do 21 and m have the same value?
False
Let d = -584621/287 + 2037. Let n = d - -291/574. Which is smaller: n or -1/27?
-1/27
Let j = 3910/71 + -51185739/929461. Are j and -1 equal?
False
Suppose 4662 = 22*o - 2730. Which is greater: 347 or o?
347
Let m = 226.46 - 69.46. Is m at least as big as 30?
True
Let w = -0.91892 - 2.08108. Let j be 25/(2 - (-39)/(-18)). Let a = j - -1052/7. Which is bigger: w or a?
a
Let i(o) = -o**2 + 7*o + 13. Suppose 2*y = -2*y + 12. Suppose -2*c + 11 + y = 0. Let s be i(c). Is s > 13?
False
Suppose -s + 440 = -5*s. Let b = s + 109. Is b bigger than -3/52?
False
Let v = 1.019 - -0.161. Let m = v - 1.15. Which is smaller: m or 5?
m
Let w = 7285 - 5509. Which is greater: w or -0.2?
w
Let i(a) = 153*a - 279. Let k be i(12). Which is greater: 1556 or k?
k
Let o be (812/(-2780))/(-3 - (-756)/260). Let g = -1/417 - o. Which is greater: -3 or g?
-3
Let z = -3423 - -3437. Is 0.404 equal to z?
False
Let j be 2/(-3) + (-13 - 155408/(-120)). Let f = j - 8207357/6405. Is f >= -2/7?
True
Let o = -483 - -416. Let l = -75 - o. Is 14/3 != l?
True
Suppose -3*b - 270*v + 50 = -266*v, -49 = -3*b - 5*v. Is 13 equal to b?
False
Let a = -3591 - -3021. Which is bigger: -569 or a?
-569
Let z = -42694/479295 - -2/10651. Which is greater: z or 4.9?
4.9
Let q be (-6)/(-567)*(-24)/(-16). Suppose 7*u + 68 = 61. Do u and q have the same value?
False
Suppose -109698 - 203886 = -141*g. Which is greater: g or 2225?
2225
Let z(x) = x**2 - 11*x + 20. Let c be z(9). Suppose -c*d + 16 = -0*d. Let u = -162 + 1185/7. Which is bigger: u or d?
d
Suppose -28*q = -11*q - 85. Suppose -4*h - 4*d = -4 - 4, -q = -4*h - 3*d. Which is smaller: h or -33?
-33
Let s be 1 - -1 - (-12)/2. Let r(w) = w**3 + 218*w**2 - 219*w + 15. Let h be r(-219). Are s and h nonequal?
True
Let m be -118 - (-2 + -2)/(-4). Let d = -0.13666 - -0.03666. Which is smaller: m or d?
m
Let b be ((-38628)/(-999))/((-2)/3). Which is smaller: -3/10 or b?
b
Let b = 30.7417 + -30.733. Are b and 4 non-equal?
True
Let t = -54099 - -8006583/148. Is t >= -1?
True
Let m = 5.9 + -85.3. Let x = -8008 + 7928. Let i = x - m. Is i < 0.4?
True
Let x(a) = 97*a + 1252. Let h be x(-13). Is h less than -315/32?
False
Suppose -4*a - 4*z - 9408 = 0, 5*z = -4*a - 8269 - 1136. Is -2354 less than a?
False
Let s be (-2)/(-3477)*261/(-348). Which is smaller: s or 1?
s
Let l = -19543 - -19547. Which is greater: 1303 or l?
1303
Suppose 2*k - 64 + 19 = s, -3*k - 2*s + 50 = 0. Suppose 19*g = k*g - 49. Let m = g + -43. Is m not equal to 14/3?
True
Suppose 3*z - 24 = 6*z. Let y be 95/6 + z/(-24). Let k = y + -16. Which is smaller: 0.5 or k?
k
Suppose 0 = 3*h - d - 2*d + 126, -4*h = d + 163. Let z = h - -14. Let t be (-2 - (-8)/3)/((-6)/z). Which is greater: 0 or t?
t
Suppose -4*p + 264 - 72 = 0. Let j = 167/4 - p. Is j >= -7?
True
Let r be 3*2/6*(-4 + 7). Which is bigger: -60 or r?
r
Suppose -3329 = 24*u - 4769. Is 4 greater than or equal to u?
False
Let p(t) = 10 + 14*t + 4*t + 24 + t**2. Let a be p(-16). Suppose -k + 0*k = a*k. Which is bigger: k or 5/11?
5/11
Let r(h) = -h**2 - 194*h - 2404. Let f be r(-104). Which is smaller: f or 1/3?
1/3
Let j be ((-10)/(-6))/5 - (-220)/(-714). Suppose -10*u = 3*b - 5*u - 17, -3*b + 5*u = 23. Are b and j nonequal?
True
Let n(s) = 4*s + 6. Let c be n(-2). Let u be 36/72*(0 + -832 + c). Is u < -417?
False
Suppose -36*m + 105*m + 664056 = 0. Is -9624 < m?
False
Suppose 0 = -5*w - 17 - 13. Let s be (12/63)/(-7 + (30 - 1)). Let o = -5534/1155 - s. Is w > o?
False
Suppose 3*u = 2*q + 4, 0 = 4*q + 12*u - 7*u - 14. Suppose 5*o = 4*i + 83 - 5, 0 = i - 3*o + 16. Let n be 1 - (-1 + i/(-16)). Which is bigger: n or q?
q
Let l = -0.158 + 309.158. Let s = l - 309.2. Let a = 19727/252 - 313/4. Is s < a?
True
Let a(f) = f**2 - 5*f - 9. Let p be a(7). Suppose -p = -4*w + 7. Suppose -4*o = -5*o - w. Is o at least 6/11?
False
Let x = -12258 + 12522. Is x less than 296?
True
Suppose 586 - 3670 = -2*f + c, 3*f + c - 4621 = 0. Is 1538 less than or equal to f?
True
Let n(v) = 9*v + 15. Let y(j) = 9*j + 16. Let f(l) = -4*n(l) + 3*y(l). Let x = 309 - 315. Let q be f(x). Is 43 != q?
True
Let k(s) = 4*s + 43. Let h(v) = 18*v + 42. Let j(r) = r. Let t(i) = -h(i) + 15*j(i). Let a(c) = -2*k(c) - 3*t(c). Let q be a(0). Is 1/4 at most as big as q?
True
Let f = -3001 - -4012. Which is smaller: 0.1 or f?
0.1
Let x be (4/(-9550))/(1116/(-279)). Are x and 1 equal?
False
Let x = 117.2 - 118.4495. Let m = x - -0.0895. Is 1/6 bigger than m?
True
Suppose -27835 = 293*y - 176679. Suppose -j - 506 = -2*j. Is j >= y?
False
Let s = -14942 - -14965. Is -1.31 at most s?
True
Let s = 15.9421 - -0.0579. Let l be 2 + (-3)/(-1)*-1. Is s equal to l?
False
Let u = -179 + 165. Let m(o) = -o**3 - 14*o**2 - 3*o - 33. Let a be m(u). Is a > -3?
True
Let w(a) = 2*a**2 + 4*a + 2. Let c be w(-3). Let m = 50 - 48. Suppose -t = m*t - 27. Is t > c?
True
Let g be -128*(0 + (-2)/36). Let s be 30/(-100) + (-3273)/540. Let b = g + s. Is 0 >= b?
False
Let g = -18524 - -18283. Does -209 = g?
False
Let p(o) = -o**3 + 6*o**2 - o + 57. Let a be p(7). Which is smaller: a or -14/935?
-14/935
Let x = 0.008 + 27.492. Let w = -28 + x. Let n = 358 + -4656/13. Is w <= n?
True
Let d = -51 + 53. Suppose -d*t = 5*t - 147. Let m = 1 + t. Is 22 bigger than m?
False
Let u = 2/15 + 1/30. Suppose 4*v = j + 3, j + 0*j = -2*v + 3. Is u less than v?
True
Let n = 3.35 + -3.419. Let q = n + 0.069. Are q and -56 unequal?
True
Let x be (-28732)/155 - (-4)/10. Let s = x + 185. Let w be (-42)/(-168)*(3 - (4 - 1)). Which is bigger: w or s?
s
Let h(p) = -p**3 - 2*p**2 + 2*p + 4. Let u be h(-3). Let i = -59 - -37. Let m be 1257/165 - 4/i. Which is bigger: u or m?
m
Suppose -l + b - 1 = 0, -b + 6*b - 5 = l. Suppose 9*d + 18 + 162 = l. Which is greater: -13 or d?
-13
Let w be (-1)/6*(2/(-16) - 66/48). Which is smaller: w or 2074.3?
w
Suppose 96 = 12*l - 4*l. Let y be (-16)/l*((-2325)/774 + 3). Which is smaller: 0 or y?
0
Let j = 101 - 103.1. Let v = 2.4 + j. Let d = 211/2 - 108. Which is smaller: v or d?
d
Suppose -10 = -3*l - 1. Suppose -l*u = 4*n - 5*u - 2, 3*u = -9. Do n and 3 have the same value?
False
Let p = -4038 - -4038. Do p and -1/1175 have different values?
True
Let c = -495 - -1368. Suppose 862*z = c*z - 5489. Is z at most 499?
True
Suppose -127 = 35*m - 687. Is 20 at least as big as m?
True
Let r = 222.74 + -202.4. Let z = 20.3 - r. Let x be ((-2)/(-6))/(1 - 2). Which is smaller: x or z?
x
Let b = -226 + 462. Let a(v) = -622*v - 1631. Let t be a(-3). Is b at least as big as t?
True
Let g = -4094/13 - -947/3. Is 1 <= g?
False
Let s be 10/240 + (-597540)/(-1440). Which is smaller: s or 405?
405
Let m be (-4 + (-8)/(-2))/(-4). Suppose -7*k - 143 - 151 = m. Is k less than or equal to -2?
True
Let c(i) = 4*i**2 - 43*i + 87. Let m be c(8). Is 8/51 greater than m?
True
Let s be (-6210)/783 - 4/58. Let g be ((-3)/18)/(s - 76/(-36)). Which is greater: g or 0?
g
Let b be -38*125/(-50)*2/(-12). Are b and -1/11 equal?
False
Suppose -2*n + 7 = 5*y, -19*n + 7 = -16*n + 4*y. Let f = -110241/115 - -4787/5. Let k = f + 446/253. Which is bigger: n or k?
n
Let o be (-2049)/(-4) + (-3)/(-6). Let g = o + -510. Which is smaller: -1/9 or g?
-1/9
Suppose -5*u = -0*u + 15. Suppose 4*p + 21 = -11. Let g be (-52)/16 + 6/p. Which is bigger: g or u?
u
Let t(v) = v**3 - 6*v**2 + 2*v + 8. Let o be t(5). Let a be 6 - 2/1*o/14. Let i be (7 - a) + (6 - -1)*-1. Which is greater: -3 or i?
-3
Let c = -11 + 7. Let k be -5 - 60/(1 + 3). Let j be (k + 4 + 10)/(-2