 19681. Is -279 at most f?
False
Suppose 6 = -4*k + 14. Suppose -y = -k*y - 3. Does -2 = y?
False
Let q = 1852445/8853 + -62/681. Let k = 209 - q. Which is smaller: 2/3 or k?
k
Let p(r) = 5*r**2 + 153*r - 61. Let l be p(-31). Which is bigger: l or 7/43?
l
Let s = -443 + 450. Do s and 51/7 have different values?
True
Let i = 13.07 + -6.9. Let r = i + -0.17. Let v = 4.9 - 5. Which is smaller: v or r?
v
Let p(d) be the second derivative of -d**3/6 - 5*d**2 + 5*d. Let o be p(-7). Let z be (o - 1) + 0 + -2. Which is greater: -4 or z?
-4
Let n(o) = 3*o**2 + 23*o + 24. Let y be n(-7). Is 10 equal to y?
True
Let y(b) = 4*b**2 + b - 4. Let s be y(-2). Let f be 2*10/(-8)*-2. Suppose -4*h - c = -5 - 31, h + f*c - 9 = 0. Is h at least s?
False
Suppose 4*i - v = -1066, 0*v - 1320 = 5*i + 5*v. Do -266 and i have the same value?
True
Let n(y) = 3*y**3 + 3*y**2 - 2*y - 3. Let q(p) = -p**2 + p - 3. Let a be q(1). Let c be n(a). Which is bigger: -49 or c?
-49
Let t = 0.1133 - -0.8867. Which is smaller: -65.8 or t?
-65.8
Let y = 61 - 43.4. Are -1/3 and y non-equal?
True
Let k = 14 + -55/4. Let r = -0.333 + 0.033. Is r at most as big as k?
True
Suppose -52*u - 1197 = -59*u. Are 170 and u equal?
False
Let m = -352/7 - -50. Let s = -7.69 - -7.8. Let j = 0.09 + s. Which is bigger: m or j?
j
Let q be (5/(-3)*3)/(-1) - 5. Which is bigger: q or 13/11?
13/11
Suppose 2*x = -4*c - x, 0 = -3*c - 5*x - 11. Let u be (c/6)/(1/22). Let k(d) = d**2 - 10*d - 6. Let s be k(u). Is 6 at least as big as s?
True
Suppose -p + 5 = -2*j + 4*j, -2 = -p - j. Suppose 6*t - 60 = t. Let x be 2/(-8) - (-7)/t. Is p <= x?
True
Let s = 6601/13 + -507. Which is greater: 0 or s?
s
Let l(q) = -q**3 - 10*q**2 + 12*q + 11. Let d(a) = a**3 - 19*a**2 - 19*a - 31. Let c be d(20). Let v be l(c). Is -2 bigger than v?
False
Suppose 0 = 13*u + 101 + 3. Is u at least as big as -51/7?
False
Let f be (-7)/((-7)/(-2))*1/2. Is f != 3/17?
True
Let m = -565 - -558. Is m >= -5?
False
Suppose 0 = -7*l - 408 + 2480. Let w = 9770/33 - l. Which is greater: -1 or w?
w
Let r(n) = -82*n**2 - 7*n - 5. Let a be r(-1). Is a at least -83?
True
Let c be (-6)/(-10) + (-88)/55. Let g = 2.01 - 0.01. Let i = -1.88 + g. Is c < i?
True
Let k(f) = -f**2 + 13*f - 41. Let b(n) = n + 1. Let r(z) = -3*b(z) - k(z). Let h be r(16). Is h equal to 36?
False
Let s(k) = -4 + 5*k - k**3 + 3 - 1 + 1. Let x be s(2). Is -2 greater than x?
False
Let p = -0.75 - -36.75. Let h = p - 37. Is h < 0?
True
Suppose 0 = -0*v - v, -5*u - 2*v = -25. Let h be 2/(-4) - (-10)/4. Suppose m = 4*m + 15, 4*y = h*m + 34. Which is smaller: y or u?
u
Let s = -31.5 - -44. Let n = 3.5 + s. Let k = n - 17. Which is smaller: 0.2 or k?
k
Let i be (1/(-2))/(0 + 1). Let k = 0.3517 - 0.3357. Which is smaller: k or i?
i
Let z = 4.8 + 0.2. Let m = -18.1 + 19.1. Which is smaller: z or m?
m
Let y = 97 - 53. Let a = 14 - y. Which is greater: a or -29?
-29
Let t(c) = c**3 + c**2 + 1. Let u(n) = n + 5*n**3 - 3*n**3 - 2*n**3 + 10*n**2 - 2*n**3 + 9. Let y(i) = 3*t(i) + u(i). Let b be y(-13). Is -1 equal to b?
True
Let x be (-2)/(0 - (-2)/(-4)). Suppose -q + 2232 = 4*m - 5*q, -4*m = 5*q - 2259. Let t be x/22 - 168/m. Do t and -1 have the same value?
False
Suppose -13*j + 18 = -21. Let v(p) = -p**3 - 4*p**2 - 3*p. Let k be v(-3). Suppose 2*y + 3*z - 11 = -4, k = 3*y - 3*z - 3. Which is smaller: j or y?
y
Let p = 0.34 + -3.14. Let d = 2.9 + p. Is -1 at least d?
False
Let d be -4*((-5)/(-2))/(-5). Let g be 6/d + 206/(-70). Suppose -q - q = -4*q. Which is greater: q or g?
g
Suppose 930 + 558 = 5*a + 2*r, -1190 = -4*a - 2*r. Which is bigger: 597/2 or a?
597/2
Let b be (-1 - 2434/(-806)) + -2. Let j = b - 3/31. Which is greater: j or 1?
1
Let k = -8.2 - 2.8. Let t = k - -11.4. Let q = -13.1 - -13. Do t and q have the same value?
False
Suppose -j - 72 = 5*j. Let r(f) = f**2 + 16*f + 49. Let c be r(j). Which is smaller: c or -4.6?
-4.6
Suppose -5*b + 18 = b. Is 3 smaller than b?
False
Let h(f) = -f**2 - 12*f + 2. Let a be h(2). Which is smaller: -2 or a?
a
Let g = 199 + -437. Which is smaller: g or -240?
-240
Let a be (226/98 - 2)/((-16)/56). Which is smaller: -1 or a?
a
Suppose -95 = -5*p + 2*w, 3*p + 11*w - 57 = 15*w. Is p smaller than 17?
False
Let v(z) be the first derivative of z**3/3 + 7*z**2/2 + 3*z + 1. Let j be v(-6). Let t = 3892 + -11681/3. Which is smaller: t or j?
j
Let x = -5066651/23493 - 2/7831. Let o = x + 213. Which is smaller: 2/7 or o?
o
Let f be (136/(-14) - -10)*-14. Let w be (11 - -2) + 2/1. Suppose -5*j = 40 - w. Is j at most f?
True
Suppose -5*o = p - 20, p - 6*p + 3*o = 12. Which is smaller: p or -1/38?
-1/38
Suppose 0 = 4*d + 2*d - 42. Let z = 10 - d. Suppose z*o = 3*f - 9, 0 = 2*o - f - 0*f + 4. Is o less than or equal to -2/11?
True
Suppose -32*q = -34*q + 182. Is 92 at least as big as q?
True
Suppose 0 = -11*z + 14*z - 84. Let p be z/1491*6/(-4). Which is bigger: p or 0?
0
Suppose 88 = 8*p + 456. Which is smaller: -51 or p?
-51
Suppose 83*f = 75*f - 8. Are f and -2/395 unequal?
True
Let a = -34 + -9. Let c = a - -38. Is c less than 0.1?
True
Suppose t - 20 = -3*t. Suppose t*r + 98 = 4*v, -2*r - 4*v + 7*v - 42 = 0. Which is greater: -17 or r?
-17
Let b = 424.07 + -426. Let w = b - 0.07. Which is greater: 5 or w?
5
Let p be (-4 - (-4035)/25) + 4/(-10). Which is smaller: 156 or p?
156
Let x be (-18)/12*(-20)/(-285)*-9. Does x = 0?
False
Suppose j = -2*f - 4, 4*f + 3*j = -7 - 5. Suppose -3*a + f*a + 6 = 0. Is 10 <= a?
False
Let h = 3 + 2. Suppose -h*b + 178 = 2*a + 2*a, 0 = -2*b - 4. Is a bigger than 46?
True
Suppose -21 = -4*m + 7. Suppose -2 = -3*c - 2*w + 15, -2*w = 4. Is m greater than c?
False
Let d = -103 - -57. Let s = d + 27. Let v = -18 - s. Which is smaller: 1/4 or v?
1/4
Let k be 10/(20/14) + 1560. Is k bigger than 1568?
False
Suppose -3*o - 15 = 5*u, -5*u + 293 = o + 308. Are o and 34/47 non-equal?
True
Let s = -12 - -17. Let v be s/(-25) - 27/(-210). Let x = 49 + -49. Which is bigger: v or x?
x
Suppose -u - 3*y = 15, u - 2*y - 2 - 8 = 0. Are -15/23 and u unequal?
True
Let r = 12.1 - 11. Let y = 1 - r. Is -3.6 != y?
True
Let o(c) = 5*c + 26. Let l be o(-8). Is l greater than -3?
False
Let t(b) = 3*b**2 + 13*b - 11. Let z be t(-5). Which is greater: 4/69 or z?
4/69
Let l be (-1)/(34*2/(-32) + 2). Which is greater: -7 or l?
l
Let c = 30/1663 + -29207/1711227. Is c greater than 1?
False
Let x = -21 - -63. Let c = x + -42. Are c and -4/7 equal?
False
Suppose -9*n + 510 = 78. Suppose -5*w + u + 23 = -16, 0 = 4*w - 5*u - n. Which is smaller: w or 84/13?
84/13
Let f = -1/2873 - 5419/939471. Which is bigger: 1 or f?
1
Suppose 13 = 2*i + 15. Which is bigger: -7/3 or i?
i
Let q be -8*6/48*-6 - 3. Which is greater: q or -41?
q
Let h be 10/45 + (-151)/(-9). Let w(b) = 2*b - 3. Let x be w(-5). Let n = h + x. Which is smaller: 1 or n?
1
Let i be 14/40 - 0 - 1. Let v = 740 - 3702/5. Let d = v - i. Is d at least as big as -0.13?
True
Let p(i) = -i**3 + 12*i**2 - 22*i + 24. Let b(u) = -u**3 + 12*u**2 - 22*u + 23. Let z(s) = 3*b(s) - 2*p(s). Let k be z(10). Which is bigger: k or 1/13?
k
Let s be (-5)/(-25) - 14/245. Are s and 0 unequal?
True
Let i = 213 + -425/2. Which is smaller: i or -24/11?
-24/11
Let m be (-9)/(-6) + (-150)/(-44). Let q = -356/77 + m. Let c(d) = 2*d + 6. Let b be c(-3). Is b equal to q?
False
Let n(w) = w**3 - 2*w**2 - 3*w - 4. Let h be n(3). Let s = -2918 + 20406/7. Is s at least h?
True
Let r = -37 - -40. Which is smaller: r or 62?
r
Let k = -0.292 - 18.808. Let f = -1.1 - k. Let v = f + -25. Is -1 less than v?
False
Let o = 340967034/143 + -30413556/13. Let m = 45648 - o. Let i = m - 768. Which is smaller: -2 or i?
-2
Let u(m) = 12 + 4*m - 2*m - 11*m**3 - 11. Let l be u(-1). Is l less than 10?
False
Let r = 5.49 - 5.9. Let a = -0.51 - r. Which is greater: -3 or a?
a
Let n(m) = m**3 + 5*m**2 + 8*m + 11. Let s be ((-4)/(-2))/((-6)/12). Let l be n(s). Which is smaller: l or 1?
l
Let p = 1760/3 - 586. Does p = 147?
False
Suppose 116*r - 3 = 119*r. Which is smaller: -1/29 or r?
r
Let y(g) = -82*g**3 + g**2 - 3*g + 1. Let p be y(1). Let t = p - -580/7. Is t bigger than -0.02?
False
Suppose 19*v - 7600 = 15*v. Let x = -20924/11 + v. Which is smaller: -1 or x?
x
Let n = 47 + -130. Let z = n - -62. Do 1 and z have the same value?
False
Let o be -2*21/(-14