 24*f - 48. Let n be p(2). Suppose -35*w + 33*w = -q - 5, -4*q + 3*w - 10 = n. Suppose 0 = -3*c + c - 4, 5*v = -5*c - 55. Is q < v?
False
Let g(s) = -2*s + 16. Let d be (-18)/(-42) - (-1 - (-724)/7). Let a = -94 - d. Let q be g(a). Is 14/13 bigger than q?
True
Suppose 23*k + 9899 = 45618. Do 1551 and k have the same value?
False
Let p = -41.9969 + -0.1531. Let s = 3.15 + p. Which is greater: 0 or s?
0
Let m = -2683 - -2660. Let u = -87/2 - -43. Are u and m equal?
False
Let m = -384 - -177. Let n = 168 + m. Which is greater: -6 or n?
-6
Let p = 47136 + -40490. Are p and 6647 equal?
False
Let l be (12250/(-132))/49 + 8/(-6). Which is greater: -4 or l?
l
Let b = -244 + 276. Let k = 34 + -33. Which is bigger: k or b?
b
Suppose 85 + 87 + 34 = 206*j. Is 2/893 at most j?
True
Let p be (2/(-3))/(9 + (-272560)/30288). Let m = -507 - p. Do m and 125 have different values?
True
Let z = 0 + -2. Let f = -1.547 + -0.353. Let x = z - f. Which is smaller: 0 or x?
x
Suppose -12*q - 3380 = -2*q. Let i = -216 - q. Which is smaller: 121 or i?
121
Let z = -941 - -941. Is -14/137 greater than z?
False
Suppose y - 75 = -2*y. Suppose -5*t = 2*z + 13 + 24, -2*t = 4*z + 34. Let v(o) = o**3 + 4*o**2 - 9*o + 17. Let m be v(z). Is y != m?
True
Let y = -11.45 - -1058.45. Let a = -1034 + y. Let h be (-1 - 1)*(-2)/4. Is h >= a?
False
Let j = -10.985 + 258.985. Is j < -2/3?
False
Let d = 615 - 625. Let p be (-8 - d) + 2*20/(-25). Is 0.411 at least p?
True
Let h be ((-3)/12)/((-2)/88). Let d = -24 + 7. Let z be (-2 + 3)*13 + 17/d. Is z smaller than h?
False
Let f = 1.3848 - 1.3848. Is 5826 greater than or equal to f?
True
Let b be 7617/(-33) + (-20)/110. Suppose 0 = -35*m + 37*m + 460. Which is greater: m or b?
m
Let l be (-2)/477 + 0 + 0. Let s = 6035 + -6035. Which is greater: s or l?
s
Let u(i) be the first derivative of -14*i**2 - 14*i - 1. Let j be u(6). Let f = j + 3095/17. Which is smaller: f or -1?
-1
Let q = 17/283 + -1885/3113. Which is bigger: q or -2/791?
-2/791
Let y(x) = -3 + 2*x + 4 + 0*x. Let o be y(6). Let l = 656339/55860 + 4/13965. Is o not equal to l?
True
Let a be 4/(-22) - (-202)/22. Let v = 69 + -61. Suppose 82 = v*z + 10. Is z < a?
False
Let l(g) = -2*g + 5. Let q be l(-4). Let p = 12 - q. Let x = -337 - -10111/30. Which is bigger: x or p?
x
Let n = 68.6 - 64.6. Suppose 2*b + 20 = 4*b. Which is bigger: n or b?
b
Let k(t) = -t**3 - 155*t**2 - 1317*t - 421. Let x be k(-146). Let d(l) = l**3 + l**2 + 24. Let v be d(0). Which is smaller: x or v?
x
Let o(u) = 12*u**2 - 3*u + 3. Let x be o(4). Suppose 0 = 502*h - 507*h + 3*g + 875, 0 = h - 4*g - 141. Which is smaller: h or x?
h
Let s = 614.24 + -618.7. Is 0.2 equal to s?
False
Suppose 96 = -4*h + 2*h. Let v = -53 - h. Let o be ((-12)/(-40))/(6/v). Which is smaller: 0 or o?
o
Let q be 4715/6 - -84*(-15)/(-1080). Are 788 and q equal?
False
Suppose -5*i + 680 = -5*q - 1185, -3*q = 2*i - 756. Suppose 5*v - y = -i, 0*v + y - 299 = 4*v. Are -76 and v unequal?
False
Let a be -1 + (-3240)/(-21) - 2/7. Suppose -797 = 4*k - a. Which is smaller: -162 or k?
-162
Let j be (-10)/(-25) + (-31237)/55. Let u = 569 + j. Let s(z) = -2*z**3 - 4*z**2 - 2*z - 3. Let x be s(-2). Are u and x nonequal?
True
Let w be 10*(-9)/(-630) + -1 + (-14818)/(-7). Is w > 2115?
True
Suppose n - 2 = 2*n. Let c be -1 + 5/(-12)*n. Suppose 2 = -2*p + 4*p. Is c smaller than p?
True
Suppose 68 = 7*o - 100. Let k = 34 + o. Which is smaller: k or 54?
54
Let v(l) = -10*l**2 - 44*l - 14. Let s be v(-4). Suppose -s + 0 = 2*d + 2*h, 3*d + 3 = -5*h. Which is smaller: -2/19 or d?
d
Let h(o) = o + 41. Let p be h(-14). Suppose u + 74 = k, k = p*u - 29*u - 163. Which is greater: -78 or u?
-78
Let w(z) = 4 + 2 + 0 + 2 - 8*z + z**2. Let p be w(6). Let b be 1*((-36)/(-10) + p). Which is smaller: b or 20?
b
Let w be (2037/12)/(-2 + 117/52). Which is smaller: 690 or w?
w
Let g = 2590 - 2631. Which is smaller: g or -39?
g
Let c be -18 + 20 - (-1 + 1). Suppose -399 = -3*j - j - d, -5*d = c*j - 195. Is j > 99?
True
Let z be (-3639)/8491 - -1*30/(-322). Let k be 9/12 + (-14)/8. Which is bigger: z or k?
z
Suppose 16102 = 25*t - 82548. Which is greater: t or -4?
t
Let y = 113/227 + -354571/1362. Let b = 259 + y. Which is bigger: 0 or b?
0
Let h be (-1)/((-10)/3 - -3). Suppose x = -4*x + 2*v + 8, 0 = 4*x - 4*v - 4. Suppose -h*u = -0*f - 2*f + 103, -67 = x*u - f. Which is greater: -30 or u?
-30
Let w = 102618.703 - 102182.9. Let x = -436 + w. Let s = x + 0.097. Which is greater: s or 22?
22
Let j = -342235 + 1017487/3. Is -3073 greater than j?
False
Let s be -4*-1*(-1)/94. Suppose -18*d = -17269 + 17269. Which is smaller: s or d?
s
Suppose -1040 = y + 58*y + 71*y. Let k be (-1)/(-3)*(-585)/21. Which is smaller: k or y?
k
Let s be (-24)/(2/60*5). Let l = s + 269. Is l smaller than 125?
False
Let b = 324.002 - 324. Let g = -14 + 14.102. Let t = g - b. Are 47 and t unequal?
True
Suppose -21*a + 18*a - 4110 = 3*a. Which is greater: -688 or a?
a
Let j = -4.5 + -7.6. Let a = j + -174.9. Is a less than or equal to -1?
True
Let k = -6.7 - -6. Let y = -0.657 - k. Let p = 5.79 - 4.79. Is p != y?
True
Suppose -4*j + m = -0*m + 173, -2*m + 82 = -2*j. Let l = 58 + j. Let n = -15 - -28. Is n less than l?
True
Let q = -27244 + 27248.2. Is q != 4.36?
True
Let k be (4/8)/((-5)/2) + 1808256/(-320). Is k > -5653?
True
Let w = -20.32315 + -0.00685. Which is smaller: w or 2/5?
w
Let n be (6/4)/((-12)/(-32)). Let c(o) = 10*o - 90. Let a be c(n). Do -50 and a have the same value?
True
Let v be 7 - -3 - (1889 + (-7 - -10)). Is v at least as big as -1884?
True
Let d(f) = f**3 - 40*f**2 + 114*f - 111. Let b be d(37). Suppose -4*k + 60 = -0*k. Suppose z - k = -3*p, 5*z - 5*p - 56 - 39 = 0. Are b and z unequal?
True
Let n(t) = -t**2 + 1. Let z be n(-1). Suppose 527 = -5*m - 3*b, b = -z*b - 4. Are -102 and m equal?
False
Let g = -2447011.021 + 2449266. Let r = g - 2254. Let j = 0.021 + r. Which is smaller: 0.02 or j?
0.02
Suppose -32 = 2*i + 10. Let t = i - -40. Let j = t + -38. Is -19 != j?
False
Suppose -5*v + 8187 = -2*u, 163*v = -5*u + 167*v - 20476. Is u >= -4098?
True
Let u(q) = 6*q. Let b(w) = 60*w. Let o(h) = 2*b(h) - 21*u(h). Let r be o(3). Let x be 38*(4 - 5)*(-3)/(-6). Which is bigger: r or x?
r
Suppose 2*g + 11 = 5*l, -2*g + 7*g - 10 = 0. Let b be 12/(l + -6) + -1 - 49. Is b > -54?
False
Suppose -3*r + 150 = 3*f, r - 2*f = f + 42. Let b = -52 + r. Let o = b - -19. Is o greater than or equal to 13?
True
Let f be ((-3240)/(-16) - 5)*69/(-15)*-2. Which is bigger: f or 1818?
1818
Let b be (15/730)/((-27)/(-18)). Let k = -9 - -9. Which is smaller: k or b?
k
Let n = -6612 + 6613. Are 1/2590 and n unequal?
True
Let h = 96.8 + -97. Which is bigger: 708/13 or h?
708/13
Let c = 6 - -35. Let l = c - 41.07. Which is bigger: 5 or l?
5
Let k be -1*(3 - 45) + 2. Let a = -7821 + 7866. Does a = k?
False
Let o = 0.29368 + -0.39368. Which is smaller: o or -11273?
-11273
Suppose 498*b = 590*b + 348312. Which is bigger: -3784 or b?
-3784
Let q = 135 - 13. Suppose 0 = -m + 4*b - 366, 0 = m + b + 483 - q. Which is smaller: m or -363?
-363
Let p be 6/4*3*(-4)/(-1053). Let i = -0.73 + 0.42. Let b = i - -0.21. Which is greater: p or b?
p
Let v = -3443 + 3417. Which is smaller: v or -7?
v
Suppose 0 = -2*a, -15*g = -16*g - 5*a - 8. Which is bigger: g or -102/11?
g
Suppose -3*g + 2*b + 16 = 0, -3*b = -2*b - 1. Let o be 11/g + 135/(-54). Which is greater: 2/17 or o?
2/17
Let h(l) = -l**3 - 2*l**2 + l + 1. Let a be h(-1). Let i be (4/(-8))/(55/14230). Let z = i + 259/2. Does z = a?
False
Let m(y) = 30*y. Let l(o) = 4*o**2 + 2*o. Let z be l(-1). Let t be m(z). Which is greater: t or 59?
t
Suppose 593027 - 1587647 = -137*q. Do q and 7260 have the same value?
True
Let m be 5/27*1/((-70)/(-16)). Is m <= 0?
False
Suppose 64*m - 11*m + 15 - 280 = 0. Is m equal to 200/39?
False
Let d = -161 - -49. Let x = d - -109. Which is smaller: 6/13 or x?
x
Suppose -k + 30 + 37 = 0. Suppose 4*p - 295 = 5*u, 0 = -4*u + 4*p + 16 - 248. Let f = u + k. Which is smaller: 23/6 or f?
23/6
Let t be (-9816)/(-51408) + (-7)/63. Are t and 1 equal?
False
Let l(o) = -4*o - 200. Let y be l(-50). Let s = -77 - -89.4. Is s at most y?
False
Suppose 706 + 904 = 7*u. Let k = 222 - u. Which is smaller: k or -7?
k
Let b = 294 - 292. Suppose -13 - b = 3*k. I