 -4). Is -3/5 bigger than h?
False
Let j(t) = 65*t**2 - 1342*t + 66. Let w be j(22). Do 2000 and w have different values?
True
Suppose 8*s - 368 = -4*p - 0*p, 0 = 4*s + 5*p - 202. Which is smaller: s or -1.5?
-1.5
Let s(h) = 4*h**2 + 4*h - 3. Let t be 2/((10/(-665))/(-1)). Let m = t - 131. Let v be s(m). Is 2/3 <= v?
True
Let v = -1 - -1. Suppose 3*u = 11*i - 5078, -708 + 2540 = 4*i - 2*u. Is i greater than v?
True
Suppose -120 = -63*u + 48*u. Let i be -1 - u/(0 + 4). Let r = -16.9 + 18. Which is smaller: i or r?
i
Suppose 0 = -5*p + 2*o - 26, -4*o = -5*p + o - 35. Let h be ((p - -10)/(-12))/((-5)/(-1)). Is h <= 21?
True
Let w = 533 - 281. Let j be w/(-16) + 6/8. Is -170/11 bigger than j?
False
Suppose -8*b - 120 = -7*b. Let z be 4/(-10) - (-72)/b. Let r = 1.02 - 1.28. Is r greater than z?
True
Let m be 3 - 4*5/(-20). Let w be ((16/(-74))/m)/(2/6). Suppose 4*a + k + 0 - 7 = 0, 0 = -2*a - k + 5. Is a less than or equal to w?
False
Let p = -2.3872 - 10.3528. Which is bigger: 16 or p?
16
Let b(n) = -2*n**3 - 5*n**2 - 20*n - 91. Let j be b(-4). Is j at least 0.6?
True
Let i = -244/3 + 82. Suppose -1 = -c - 3*s, 2*s = -2*s. Let n = -7 + c. Are n and i equal?
False
Let o(h) = h - 33. Let a be o(8). Let r = 22 + a. Which is bigger: r or 33?
33
Let c = 3272 - 3235. Let f = -38.48 - -0.48. Let u = f + c. Which is greater: u or 0.03?
0.03
Let h = 0.01 + -0.01. Let t = -1 - h. Let j = 10340.99 + -10341. Do t and j have different values?
True
Let y = -61 + 77.1. Let h = 6 - y. Let o = h - -11. Is o at most as big as 0.1?
False
Let m = -117.05 + 245.25. Is m greater than -0.5?
True
Let p = 4806.8 + -4978. Is -0.3 equal to p?
False
Let b = -2.835 - -3.035. Are b and -35 equal?
False
Suppose a - 2 = 0, -3*q + 1031*a - 1032*a - 928 = 0. Which is bigger: q or -315?
q
Let f = 30415 - 30415. Which is bigger: f or -12/3887?
f
Let x(h) = -5*h**2 - 254*h + 1706. Let o be x(6). Is 2964 at least o?
True
Let l be 61/19 + 5/(300/36)*-5. Is l smaller than 385?
True
Let g be 5/(-6)*(-1053)/4680. Which is bigger: 3 or g?
3
Let y = 91216/59 - 1546. Let w be (8/14 - (-96)/(-21))/(-1). Let n be (-2 - 20/(-6))/(w/3). Is n bigger than y?
True
Let l = 28 + -23. Suppose 0*m - 3*m - 44 = 2*f, f = l*m + 69. Let y(v) = 3*v + 43. Let o be y(m). Are o and -1 non-equal?
True
Suppose 2*z + 65 = 91. Suppose -2*b + 7 = z, w = -5*b - 24. Which is bigger: -19 or w?
w
Let s(m) = 83*m - 2. Suppose -3*l + 2*y + 18 = 6*y, -4*y = -4*l - 4. Let c be s(l). Do 1 and c have the same value?
False
Let y = -0.06058 - -6.06058. Let i = 39 - 28. Is y smaller than i?
True
Let u(x) = x - 4. Let a be u(6). Suppose 23*m - 172 + 2725 = 0. Let n be -6 - m/12 - (-2)/(-8). Which is bigger: n or a?
n
Let z = -367 + 205. Let x = 154 + z. Does -17 = x?
False
Let j(t) = 234*t + 3956. Let k be j(-17). Which is smaller: k or -3/8?
k
Let a be (64/160)/((-2)/1780). Let k = a + 348. Which is greater: k or -38?
k
Let s = 173 + -196.4. Let u = -21.2 - s. Are u and 0 unequal?
True
Let r = 7693 - 7697.38. Which is greater: r or 2?
2
Let j(w) be the second derivative of -w**5/20 + 11*w**4/6 + 15*w**3/2 - 23*w**2/2 + 5*w - 2. Let y be j(24). Is -94 smaller than y?
False
Let o = -35 - -33. Let l be (o/(-7))/2 - (-41)/7. Let x be l/4 + (-12)/8. Which is smaller: x or -2?
-2
Let w = -127 - -132. Suppose -8 = 4*h - 2*f, -h - 3 = -w*f - 1. Let k be (2/9 + 152/(-36))/5. Which is smaller: h or k?
h
Suppose -26*n = -11*n. Suppose -19*d - 72 + 452 = n. Which is bigger: 0.02 or d?
d
Let f(w) = 22*w - 25. Let y(l) = 3*l - 19. Let c be y(9). Let v be f(c). Suppose 3 = 4*u + v. Are -37 and u equal?
True
Suppose 2*p - 2 = -4*r, -r + 337*p - 13 = 333*p. Is -436 less than r?
True
Suppose -2*c - 596 = 2*c. Suppose -8*t = 15*t - 5*s + 3425, 15 = -3*s. Which is smaller: t or c?
t
Suppose t - 3*w = -15, -2*w = 5*t - 3*w + 5. Is -1/2063 bigger than t?
False
Let f(z) = -4*z**3 + 115*z**2 - 13*z - 26. Let p be f(32). Is -13755 >= p?
False
Suppose -r = -5*q - 0*r - 35, -4*q - r = 19. Let y(d) = -2*d - 7. Let k(h) = -h**2 + 8*h - 10. Let u be k(7). Let m be y(u). Is q less than m?
True
Let n(r) = -4*r - 65. Let h = 13 + -30. Let p be n(h). Let l be p/(-8) + 4344/10560. Do l and 1 have different values?
True
Let k(a) = 11*a - 13. Let x(f) = -21*f + 26. Let t(y) = 5*k(y) + 2*x(y). Let n be t(2). Is n less than or equal to 64/5?
False
Let r = -825 - -45376/55. Let q be -8 + (13 - (-3865)/(-825)). Let n = q + r. Is n greater than 18?
False
Suppose -n = 2*s - 4, 7 = 5*s - 0*n + n. Let b be (-6 + 3)*-1 - 2. Let h be -1 - 0 - b - (2 - 5). Is s < h?
False
Let s = 69.82 + -75.82. Which is greater: s or -1074?
s
Let t = 59 - 27. Let g = 0.047 - 33.047. Let o = g + t. Which is greater: o or 2/21?
2/21
Let i = 275 - 260. Suppose -4*l + l - 480 = -r, -5*r + i = 0. Is -158 greater than l?
True
Let f = 69 - 29. Suppose 5*i - f = -0. Let g be (((-20)/i)/5)/(2/4). Is -2/3 less than g?
False
Suppose s - 4*f = -12481, -49*f + 47*f - 62229 = 5*s. Are s and -12448 nonequal?
True
Let r = 0.011 - 31.011. Let p = r - -51. Let b(m) = -m**2 - 36*m + 253. Let g be b(6). Which is smaller: p or g?
g
Suppose 150*y = -3*y. Which is bigger: y or 19105?
19105
Let g be -2 + 5 + -5 + 7. Suppose -k + 12 = 3*s + 4*k, 0 = g*k - 15. Is s >= 3/247?
False
Let z be (-8)/28 - 74/(-14). Let b be -2 + 0 - (z + -6). Let y = -569/3 - -21631/114. Is y > b?
True
Suppose -2*a - 3747 = 5*i, i + 6*a - 9*a + 763 = 0. Let z = i + 752. Which is greater: -9/19 or z?
z
Let t = 190 + -189. Let x be -2*(-6)/(6/3). Suppose -j - 2*h - 15 = 2*h, 3*j + x = h. Are t and j equal?
False
Suppose 36*a - 27*a + 1870 = -13*a. Do -82 and a have different values?
True
Suppose 2*j - 9810 = 4*f + 1882, 4*j - 8759 = 3*f. Do -2926 and f have different values?
True
Let n be (84/(-63))/(-4) - 596/6. Is -488/5 <= n?
False
Let a be ((-1)/3)/((-5)/45). Suppose -2*d + t = -3*d + 10, a*d - t - 10 = 0. Let j be d + -4 + (-21)/15. Which is smaller: 23 or j?
j
Let n be (-1 - 3) + 0 + 406/116. Suppose 3*x - 2*h + 31 = 8, 4*h = 2*x + 18. Is n at most as big as x?
False
Let z(n) = -n**3 - 10*n**2 + n - 1. Let y be z(-10). Let u be (-4)/1 + y/(-1). Suppose u*b = -4*b - 2*b. Do b and -2/29 have the same value?
False
Let c be 19/1*2/2. Let p(r) = -r**2 - 12*r - 7. Suppose -3*m = -14 + 23. Let u be p(m). Are c and u unequal?
True
Let v(m) = m**2 + 3*m + 7. Let o be v(-4). Let i be 312/22 + (-2)/o. Let k be (i/6 + -2)*(5 - -16). Is k at most as big as 7?
True
Let v be (11 - (-180)/(70/(-7)))*-461. Is v less than 3229?
True
Let k = 25187 - 24683. Which is smaller: 3537/7 or k?
k
Let o(y) = 2*y + 2. Let t be o(10). Suppose t = 2*k - 2*l, -l = -5*k + k + 53. Let i be k/(-21) + 14/(-6). Is i != 5?
True
Let h(n) = -34*n + 1102. Let q be h(32). Which is greater: 185/12 or q?
185/12
Let z = 3/3533 - -6727/399229. Suppose -5*x - 5 = 3*u, u + 4*x - x + 7 = 0. Suppose 0 = -u*f + 10 - 5. Do f and z have the same value?
False
Let j = 2.6 + -0.2. Let r = -12 - -11.04. Let u = r + 0.96. Which is smaller: u or j?
u
Let x be ((-4)/12)/(1/(-18)) + (679 - -12). Which is smaller: 700 or x?
x
Let i = -71.175 - -70.98. Which is bigger: i or 23?
23
Suppose 0 = -2*y + 10, 5*v + 2378 = -4*y - 2802. Are -1035 and v equal?
False
Let y be (0 - -4)*(-2)/(-4). Suppose y*g + a + 38 = 0, 2*a + 0*a = 2*g + 44. Let r(h) = 2*h - 3. Let w be r(-9). Is w at most as big as g?
True
Let r = -11686.3 - -11686. Is r at most as big as 3540?
True
Let u(w) = -3*w + 4. Let n be u(0). Suppose -2*r - 4*p - 38 = -6, 4*p = -n. Let f(j) = -j**2 - 12*j + 7. Let m be f(r). Which is smaller: m or -19?
m
Suppose 1273 + 1663 = 32*h + 312. Suppose 5*c = 390 + 30. Let w = c - h. Are 2 and w unequal?
False
Let g be (135 + (14/2 - 3))*-2. Let d be ((-12)/(-20) + g/5)*-1. Suppose -2*i = r + 26, 2*i - i + d = -2*r. Which is greater: -25 or r?
-25
Let w be (-20)/(30/36*(-6)/20). Suppose -4*d - w = 6*d. Let m be (4/51)/(d/36). Is m at most as big as -1?
False
Let b = -4979 - -64733/13. Which is bigger: b or -118?
b
Let r(n) = -n**2 + 12*n + 6. Let h be r(12). Let f be ((-34)/4)/(h/12). Let x = -21 - f. Which is smaller: x or -16/3?
-16/3
Suppose -28129 = -50*j + 125871. Which is smaller: j or 3079?
3079
Let h be 2/(-20)*5*2. Let i be 2252/(-4488) + -5 + 22/4. Which is smaller: i or h?
h
Let h = -65 