 - -11414. Which is smaller: p or 2124/23?
p
Suppose -3*y + 2*v = 8897, 3*v = -64*y + 62*y - 5953. Are -2970 and y non-equal?
True
Suppose -2*z + 102 = -4*q, -5*q = -3*z - 3*q + 137. Let k = -46 + z. Which is smaller: -25/7 or k?
-25/7
Let c = 79 + -78.98. Let u = -1.5 + 2.8. Let d = -1.5 + u. Which is greater: c or d?
c
Suppose -s = q - 4, -3*s - 4*q + 12 = -2*q. Suppose -4*o + w + 61 = -s*w, 5*w + 42 = 3*o. Let x = o - 34. Which is bigger: -14 or x?
-14
Let r = -304712/3 - -2119367/21. Let t = -647 - r. Do t and -2 have different values?
True
Let u(c) be the third derivative of c**6/120 - c**5/5 + 5*c**4/12 + c**3/6 - c**2. Let l = 114 - 103. Let d be u(l). Is d not equal to -10?
False
Let o be (110/100)/((-2)/4). Let x = o + 87/35. Does -1 = x?
False
Let q be 126/84*((-6)/45)/1. Let v = 74 + -74.41. Does q = v?
False
Let g be (-99)/(-60) + 42/(-30). Which is smaller: 154.8 or g?
g
Let x(d) = -286*d + 2856. Let f be x(10). Is 3435 >= f?
True
Let x = -4.061 - -0.061. Suppose -3 = 4*t + 1. Let z(f) = -6*f - 1. Let c be z(t). Which is bigger: x or c?
c
Suppose -28*y - 28*y + 26*y = -900. Which is greater: y or 10?
y
Let w(t) = 3*t**2 + 19*t + 20. Let j be w(-5). Let s(a) = a**3 - 7*a**2 - 6*a - 8. Let d be s(8). Which is greater: d or j?
d
Suppose f = -4*n - 55, -29 = 2*f - 4*n + 21. Let k(j) = -j**2 - 8*j + 4. Let x be k(-6). Let r = x + -50. Are f and r non-equal?
True
Let x(s) = s**2 - 5*s - 2536. Let u be x(52). Let o(r) = -11*r**3 - r**2 - 2*r + 3. Let g be o(2). Is u smaller than g?
False
Let u(l) = -15*l**3 - 19*l**2 + 78*l - 13. Let d be u(5). Is d greater than 2/3?
False
Let j = -37 + 98. Suppose -2*v + j = -39. Let g be (3/(-2))/(v/(-180)). Is g at most as big as 5?
False
Suppose -6*z = -z + 58*z + 756. Is 43 bigger than z?
True
Let u be -85*((-96)/40)/12. Suppose 4*s + u*g = 14*g - 223, -217 = 4*s + 5*g. Are s and -58 equal?
True
Let j(d) = d**3 + 21*d**2 + 21*d + 19. Let y = -263 + 243. Let c be j(y). Do c and -8/11 have different values?
True
Let s = -15.5883 - 6.4117. Let u = 27.9 - 30. Let d = -2 - u. Is d bigger than s?
True
Let l = -342 - -379. Let h = l + -38. Do h and -6 have different values?
True
Suppose 9*a = 3*a - 14862. Let p = 178718776/19 - 9408729. Let t = p - a. Is t at least as big as -1?
True
Suppose 3*l - 2 = -a - 0*a, a - l - 2 = 0. Suppose v = f - 3, a*v + 6 = -v + 2*f. Let n be (1/(-3) - v)*252/70. Is n <= 0.1?
True
Let g = 3783 - 3782. Which is bigger: -2153 or g?
g
Let r = 179386 + -9147980/51. Which is smaller: r or 14?
r
Let m be -1 + -10 - (-11322)/999. Is m at most -913/7?
False
Let g = 645 + -3237/5. Let k = g + 14/5. Is k >= -9/2?
True
Let h be 18921/(-2142) - ((-10)/(-12) - 2/3). Do 15 and h have different values?
True
Let z = 600.64 - 601. Let c be ((-36)/(-75))/(-6)*5. Which is bigger: c or z?
z
Let u = -334 - -339. Suppose -2*r = -2*y - 8 + 6, 0 = -3*y + u*r - 1. Is y equal to -22/41?
False
Let s = -2723 + 2722. Which is bigger: 2/55 or s?
2/55
Suppose 27*v - 16*v = -15*v - 312. Are -918/71 and v equal?
False
Suppose -y = -8*y + 595. Which is bigger: 21 or y?
y
Let j be (-49)/(-35) - 3/(-5). Let c be (1*(-35)/(-5))/((-1)/j). Let k be (90/63)/((-8)/c). Which is smaller: k or 1?
1
Let v = -16650.1 - -16650. Is 0.12 at least v?
True
Suppose 0 = 4*s - 66*z + 61*z - 15202, 3*z = -5*s + 18947. Is s at least as big as 3793?
True
Let v(y) = y**3 - 8*y**2 + 7*y + 3. Let g be v(7). Let m be (-2 + g)*(1 - 3). Let c be m/30*2*30/(-144). Which is smaller: 1 or c?
c
Let u = 15 - 23. Suppose 0 = 3*p - 4*b - 29, 4*p + 2*b - 7 - 17 = 0. Suppose p*q + 100 = 30. Do u and q have the same value?
False
Let l = 5760 - 7878. Is -2118 >= l?
True
Let k = -77/249 + -2/83. Suppose -15*g + 18*g = -3, g + 17 = 4*y. Suppose -y*f + 103 = -9*f - a, 2*f - 3*a + 48 = 0. Is f less than or equal to k?
True
Let b be (-4)/(24/6 + -2). Let t be (b/3)/(19/3 + 1). Is -0.5 greater than t?
False
Suppose -4*y - 32 = -3*t, 5*y = -337 + 297. Let r = 34 - 20. Let m be 3 + 0 + (-38)/r. Which is greater: t or m?
m
Let r(b) = 2 + 9 + b**2 + 0 - 18*b + 34. Let z be r(15). Suppose -10*o + 8*o - 2 = z. Is 2/17 smaller than o?
False
Let m = 4/17 - 70/153. Let a = 36 - 24. Let l be (32/a)/(-4)*(-24)/(-136). Which is bigger: l or m?
l
Let x be 2/(-1)*27/(-6). Suppose -n = 2*t - 10, 2*n + 4 - x = -t. Let z be (54/(-14) - -3)*-7*t. Are 31 and z unequal?
True
Suppose -2*w - w - 3 = 0, 3*w = -2*c - 11. Let k(z) = -12*z - 21. Let m be k(c). Suppose 53 = 2*n - p, 0 = 4*n + 3*p - 54 - 67. Is m at least n?
False
Let q be (1770/(-25))/((-82)/(-1230)). Which is greater: -1066 or q?
q
Let d = -1035 - -1000. Which is smaller: -69/2 or d?
d
Let a(m) = -m**3 + 6*m**2 + 4*m. Let q be a(7). Let j(d) = -d**2 - 9*d - 6. Let y be j(-8). Suppose 0 = 2*v - 2, 4*v + 7 - 55 = y*l. Is q <= l?
False
Let s = -9517 + 9479. Do -0.049 and s have the same value?
False
Let u(s) = 113*s + 451. Let o be u(-4). Is -2/8369 > o?
True
Suppose 606*c + 2860 = 596*c. Is -285 < c?
False
Let v(b) = -2*b**3 - 8*b**2 - 2*b - 10. Let t be v(-8). Suppose 2*s = -5*s + 126. Suppose 25*r - t = s*r. Is r < 74?
False
Let z = -16278 + 18574. Which is greater: 2298 or z?
2298
Suppose -3*t + 2 = -3*f + 11, -5*f + 21 = t. Let a be ((-1774)/f)/(-1)*(-1)/9. Let g = a + 197/4. Which is greater: g or -1?
g
Let m be (-4)/64 - (-615)/7280. Suppose 5*x = 2*t + 2*t + 45, -3*x = 4*t + 5. Let v = 6 + t. Is m at most as big as v?
True
Suppose 11*v - 913 = -0*v. Let i(h) = h**2 + 6*h - 9. Let q be i(7). Which is bigger: v or q?
v
Let u = -6.4 - -7.18. Let y = 79.22 + u. Is -2 at least y?
False
Suppose -24 = -3*s + 3*b, -2*s = 2*b - 25 - 7. Let y(z) = -z**3 + 12*z**2 - z + 11. Let q be y(s). Which is greater: -1/126 or q?
-1/126
Let q be (7 + (-19740)/78)*24/(-28). Which is smaller: q or 211?
q
Let s = -3228/58349 - -2/1577. Let w(c) = 5 + 2 - c - 2 + 4. Let i be w(9). Is i at most as big as s?
False
Suppose 13*i + 46 - 7 = 0. Let o be ((-3)/(-16))/((-25)/300). Which is greater: i or o?
o
Let y be (-42)/((-260)/208*(-81)/5). Which is smaller: y or -3?
-3
Suppose v + 5 = -2. Suppose 3*m + 177 = -180. Let d be 34/m - 44/v. Is d smaller than 5?
False
Let b = 51/11 - -595/33. Suppose 23*d - 21*d = 46. Which is greater: b or d?
d
Let m = -754 - -862. Let a(w) = 9*w**2 - 8*w + 4. Let y be a(-3). Which is smaller: y or m?
m
Suppose 54*h + 63*h = 0. Which is smaller: -25/29 or h?
-25/29
Let z(m) = 7*m**3 - 292*m**2 - 88*m + 180. Let j be z(42). Does -84.1 = j?
False
Let v be -9 + 18 - (-336)/(-32). Is v equal to -145?
False
Let w = 55 + -54.22. Let n = 2.49888 + -0.01888. Let i = n - w. Are -0.1 and i equal?
False
Let b = 1451 - 1453. Let j = 12 - 7. Suppose j*o = -0*n - 3*n - 41, 2*o = 3*n - 29. Is o at most as big as b?
True
Let l be ((-2)/(-15) - 301/(-105)) + -1. Suppose 10 = -l*z + 130. Suppose q - z = -q. Is q <= 2/7?
False
Let z be (94/141)/(((-16)/(-1110))/4). Suppose -182*f + 213 = -z*f. Let w = -128 + 58. Is f at least as big as w?
False
Suppose 0 = 4*l - 96*m + 93*m + 15, -2*m = 2*l + 32. Let j = 3 + -2.6. Which is bigger: j or l?
j
Let y = 1102 + -1101. Are y and 3/4 unequal?
True
Let k = -6460 - -4292. Is 0 at least as big as k?
True
Let m = -1.5 - -0.72. Let a = m - -79.78. Let d = 78 - a. Which is greater: d or 29/4?
29/4
Let v = 17119 - 17123. Are v and -1421 unequal?
True
Let w = 347 + -488. Let l(k) = -3*k**2 + 44*k - 22. Let u be l(17). Is w greater than u?
False
Let h = 139 - 139.393. Let o = h + 0.457. Is o smaller than 3?
True
Suppose 2*j = 5*g, 0 = 4*g - 2*j - 0*j. Suppose -2*h = -t - 4*t + 55, 5*t = -3*h + 55. Let n = t - 10. Which is greater: n or g?
n
Let l(m) = -m**3 - 2*m**2 + 5*m + 9. Let k be l(-3). Suppose 2*h + 1 + k = 0. Is -1/143 bigger than h?
True
Let f(z) = -15*z**3 - 12*z**2 + 6*z - 20*z**3 + 27*z**2 + 104 - 20*z**3 + 56*z**3. Let v be f(-15). Is 12 bigger than v?
False
Let x = -125254/3230235 - -2/15605. Which is greater: -1 or x?
x
Suppose 345704 = -123*g + 202*g. Which is smaller: g or 4374?
4374
Suppose 7*l - 2*l + 2*z - 10 = 0, 2*l = 5*z + 4. Let a = 2675/8 + -332. Is l smaller than a?
True
Let n = 2.81981 - 0.03981. Which is smaller: 1/3 or n?
1/3
Suppose -3*o - 9 = 0, 102 = 3*j - 4*o - o. Which is smaller: 20 or j?
20
Let z(b) = b**2 + 97*b + 745. Let n be z(-76). Which is smaller