2352 or q?
2352
Let v be (2/(-24))/((-3)/6). Let w = 23 + 952. Suppose -w*g + 978*g = -3. Is v at least as big as g?
True
Let i = 366 + -211. Let b be (16/70)/((-682)/i). Do b and 0 have different values?
True
Let p = 910 - 910.5. Is 0.132 < p?
False
Let i(h) = 2*h - 8. Let z(s) = 8*s - 33. Let x(p) = -22*i(p) + 6*z(p). Let r be (-2 - 1) + (-792)/(-72). Let a be x(r). Which is greater: a or 8?
a
Suppose 53*b = 48*b + 20. Suppose -2*u + y - 25 = 0, -6*u - 50 = -3*u + y. Let h = -11 - u. Is h at most b?
True
Let g = -781 + 781. Suppose l + u - 286 = 0, 3*l - 8*u + 3*u - 874 = g. Are 288 and l unequal?
False
Suppose -n - 1 = 15. Let z(k) = -11*k - 38. Let t be z(n). Is t < 138?
False
Let m(q) = -37*q**2 - 60*q - 237. Let y be m(-4). Which is smaller: -0.1 or y?
y
Let c(w) = -10*w - 16. Let s = -205 + 202. Let z be c(s). Suppose 0 = 2*n + 3*n - 80. Is n at least as big as z?
True
Suppose -3*v + 3*i + 39 = 0, 5*v + 16 = 7*v - 4*i. Suppose v = c + 9. Let a(l) = l**3 + 4*l**2 + 2*l + 4. Let k be a(-3). Which is greater: c or k?
c
Let w = 8905 + -276059/31. Is -2/3 < w?
True
Let s(c) = 10*c**2 + 5*c - 5. Let o be s(1). Suppose o*q - 18 = -8. Let j be (73/24 + -4 + q)*-14. Is 0 at least as big as j?
True
Let p = 9 + -11. Let b be 44 + p + -3 + 5. Is 43 at most as big as b?
True
Let h = -473/2769 + -23/39. Which is greater: h or -1?
h
Let n = 610.42 + -645. Let a = -254 - -254.58. Let i = n + a. Which is smaller: i or 0.1?
i
Let u be (11 + -9)*(-233)/2. Is -233 greater than or equal to u?
True
Let b = -58974 + 272106037/4614. Which is greater: b or 1?
1
Suppose 30 = -5*z + 5*w, 0 = -z + 4*w - 7*w - 2. Let b(s) = -3*s - 12. Let g be b(z). Suppose -2*x - 97 = p, x + 199 = -g*x + 3*p. Which is bigger: -48 or x?
-48
Let k(v) = -14*v + 159. Let m(z) = 13*z - 157. Let o(s) = 5*k(s) + 6*m(s). Let p be o(17). Is p smaller than -11?
False
Let y = 27507064/3213 + -59928/7. Which is smaller: 0 or y?
0
Let k = 2102 - 70001/33. Is -18 at least k?
True
Let l be -3*17/(-510)*-10. Do l and -2/2117 have the same value?
False
Let b be (25416/(-596))/(-31 - 1). Let y = b + -3/149. Which is greater: 0 or y?
y
Suppose 26*a - 4 = 24*a. Let d be 4/1 - (-9 - -5). Suppose -d*s + a*s + 72 = 0. Does 12 = s?
True
Let q = -846/11 + 77. Let u(t) = t**2 + t - 2. Let y(r) = -40. Let f(a) = u(a) + y(a). Let z be f(-7). Is q at most as big as z?
False
Let j(o) be the first derivative of o**4/8 + 11*o**3/6 + o**2 + 4*o + 24. Let l(i) be the second derivative of j(i). Let x be l(-4). Is -44 at most x?
True
Let z be (-7 - -3)/(-1) + -1. Suppose -z*i = 32 - 80. Let u = -3 + i. Is u at least 12?
True
Let l be 376/40091*2/(-8). Which is greater: 1 or l?
1
Let y = -587.847 - -0.847. Let f = -677.9 - y. Let d = -91 - f. Which is smaller: -3.5 or d?
-3.5
Let k(w) = w**3 - 4*w**2 + 1. Let y be k(4). Let p be 1/(-48)*266/(-931). Do y and p have the same value?
False
Let t(n) = 8*n**2 + 117*n + 21. Let z be t(-18). Is z <= 507?
True
Let w be 24/(-9)*-3 - (14 - 18). Suppose -77 = 14*o + 7. Which is smaller: w or o?
o
Let j = -3770.838 + -0.162. Is 2 smaller than j?
False
Let p = -1959.633 - -1958. Is 2/5 > p?
True
Suppose l + n = -79, l + 22 + 63 = n. Let s = 609 - 2763/4. Let d = s - l. Which is smaller: d or -67?
-67
Suppose 4*x - 2*o = 10, -181 = -5*x - 2*o - 191. Are 4/4567 and x non-equal?
True
Let p = -3511/7016 - -3/7016. Is p <= 78.8?
True
Let x(f) = 10*f + 121. Let t be x(-12). Let s be (t - 0) + 2755/(-395) + 6. Is s at least 1?
False
Let o = 141/7 + -33/7. Suppose w = 2 - 3, 3*l + 3*w = 39. Which is smaller: o or l?
l
Let p(d) be the third derivative of 19*d**6/60 + d**5/60 - d**4/12 + d**3/3 + 17*d**2. Let m be p(2). Which is greater: m or 307?
307
Let x be (-1994)/(-16) + (23 - 23). Let k = 193/8 - x. Which is smaller: -101 or k?
-101
Let d be ((-2126)/(-3) - 0)*(411 + -408). Is 2127 >= d?
True
Let u = -4395.4 + 4396.4. Are -10/4083 and u equal?
False
Suppose 75*c - 42*c = 33. Which is smaller: c or -1/1441?
-1/1441
Let u = -30.71 + 1.51. Let s = u - -29.1. Which is bigger: -155 or s?
s
Let f = -5.45 + -0.55. Let u = -6.019 - f. Let q = -1.019 - u. Is -1 bigger than q?
False
Let q be (-24)/((-18)/3) - -11. Suppose -5194 + 1144 = q*f. Do -270 and f have different values?
False
Let b = 157 - 139. Suppose -28 + b = 10*k. Which is smaller: 6/25 or k?
k
Let j = -31956/53285 + -3/10657. Which is smaller: 4591 or j?
j
Suppose 114*h - 109*h = 0. Which is smaller: h or 14/647?
h
Let m = -15392 + 15393. Is -96/1153 smaller than m?
True
Let u = 25739.6 + -25739.64. Suppose -g - 2*h = 8, -8 = -2*g + 2*h - 0*h. Is g != u?
True
Suppose 4485 = -8*f + 1405. Let w be (((-78)/4)/3)/(66/(-4004)). Let g = w + f. Which is smaller: g or 10?
g
Suppose -5 - 17 = -11*v. Suppose f + 2 = v*m, -5*m = -10*m. Is -13/16 at most f?
False
Let s(o) = 5*o**3 + 4*o**2 + 23*o + 27. Let y be s(-3). Suppose -3*z + 2*w - 432 = -11, 546 = -4*z - 5*w. Which is smaller: y or z?
y
Let n = -2440/9 - -178210/657. Let v = n - -10296/511. Let o = v + -19717/973. Is o less than 1?
True
Let b(j) = 42*j**2 + 251*j - 7. Let l be b(-6). Which is smaller: l or -107?
-107
Let h(r) = r**3 + 9*r**2 + 10*r + 9. Let n be h(-8). Let d = 7 + 13. Let s = d - 29. Which is greater: n or s?
n
Let m = -100.08 - -99. Let z = m + 0.04. Let u = 1.24 + z. Is -8 greater than u?
False
Let d be -2*(-1)/(-6) + (-312)/(-72). Suppose 3*q + 33 - 101 = -4*i, -2*i = q - 26. Suppose d*h - 36 = q*h. Are h and -7 equal?
False
Let h = -0.2 - -0.1. Let i(n) = -21*n - 39. Let q(v) = -2*v - 8. Let c be q(-2). Let y be i(c). Is h greater than y?
False
Let i = 17 + -1072/63. Let r = i + -103/126. Which is smaller: r or -2?
-2
Let x = 133 - 134. Let y = 7/363 + -1237/26499. Let k = 101/1022 + y. Is k smaller than x?
False
Let u(d) = -4*d**2 + 13*d - 4. Let l be u(2). Suppose -22 = -l*z - 28. Let p = 471 - 3306/7. Which is smaller: z or p?
p
Let p be (-104)/156*(-3)/(-296)*62/(-3). Is p > 1?
False
Let q = -1445 - -10145/7. Suppose 0 = j - 104 + 100. Is q >= j?
True
Let y = -1700 - -3141. Let q = y + -44641/31. Is 1 at least q?
True
Let x = 51892/75 - 1164/25. Is 645 greater than x?
False
Suppose -3*u = -5*j + 42292, 82*j - 83*j + u + 8456 = 0. Is 8461 smaller than j?
True
Suppose -4*a - 26 = -9*a + x, a - 5*x = 10. Suppose a*u - 84 = 3*u. Suppose k + u = 4*h, 3*h + 5*k - 33 + 13 = 0. Do 10 and h have different values?
False
Let o = -122 - -101.7. Let a = o + 17.3. Which is smaller: a or 3?
a
Suppose 5*x - 5 = 3*d, -d + 21 = -x + 4*d. Suppose -18*k - x = -14*k. Is -4 at least k?
False
Let b be (1/(-12)*-303)/((-14)/8). Which is smaller: b or -2?
b
Suppose -2*w + 3*k + 200 + 74 = 0, 3*w + 3*k = 426. Let i = -697/5 + w. Suppose 41*d + 102*d = -64*d + 207. Does d = i?
False
Let q = 352.063 - 352. Let t = q - 27.063. Which is smaller: t or -1/4?
t
Let x be ((-66)/(-10) + -3)/(18/(-7260)). Let r = x - -987. Which is bigger: r or -466?
r
Let l be 4/(-14) - (-284)/14. Let q(f) = -f**2 + 20*f + 6. Let g be q(l). Which is smaller: 21 or g?
g
Let z be (28 - (14 - 11)) + 11. Suppose -4*v = -4*s - 2*v + 10, -4*s - 4*v = -16. Suppose -3*m - t = -105, 6 = t - s*t. Do m and z have different values?
False
Suppose -w = -6, -4*w = 3*i + 1463 - 1493. Let c = -6.2 - -12. Which is greater: i or c?
c
Let f = -21.1 + 21. Let b be ((-330)/(-42))/11 - 2/(-7). Let n be b/2 + (-1 - 354/12). Are f and n equal?
False
Let c = 0.037 + -0.008. Let h = -0.229 + c. Which is smaller: 94 or h?
h
Let w be -452 + -1 + (-3)/((-24)/32). Let p = 3147/7 + w. Which is smaller: 0 or p?
0
Let k = -212.86953 - -0.25953. Let g = k + 212. Is g bigger than 2/5?
False
Suppose -69*j + 28*j - 41 = 0. Let f = -611 + 148. Let m = 21299/46 + f. Is m greater than j?
True
Suppose 4*k + 2*l = -70 + 684, k - l - 161 = 0. Which is smaller: k or 157?
k
Let g = -17.61 - -16.61. Which is smaller: g or -670?
-670
Let n = 3397 + -4842. Is -1445 greater than n?
False
Suppose u + 16 = 368. Let q = -316 + u. Is q < 33?
False
Suppose -4*d = -5*l - 239, -11*d + l = -12*d + 53. Let s = 509/9 - d. Let a = -11 - -14. Is s smaller than a?
True
Let k = -32 + 38. Let d(r) = r - 18. Let b be d(k). Let a(m) = m**3 + 13*m**2 + 11*m - 12. Let w be a(b). Which is bigger: -1/39 or w?
w
Let j(v) = 8*v + 168. Let p be j(-30). Let h = -331 + 329. Are h a