Suppose -4*t + 53 = 329. Is t <= -69?
True
Let i = -75 - -245/3. Let k = 7 - i. Which is greater: k or 1/26?
k
Let d(p) = -p**2 + 43*p - 154. Let l be d(4). Let m = 2395/152 - 121/8. Which is smaller: l or m?
m
Suppose -2*n = 5*f - 6*f - 29, -4*n - 3*f + 33 = 0. Which is greater: -20 or n?
n
Let j = 19.4 + -0.4. Is 0.5 < j?
True
Suppose 7*a = 3*a + 8. Let j = -4 + -10. Let z = 14.4 + j. Is z greater than a?
False
Let r be (-3)/(3 + 0) + (1 - 1). Let j be (24/16)/(r/2). Do j and -16/9 have different values?
True
Let b = -22 - -27. Suppose 3*u + 2 = b*f, 18 = 4*u + u - 3*f. Suppose 0 = 3*i + u, 3*j - 2*j + 3*i + 7 = 0. Does -1 = j?
True
Let n = -0.4 - -0.4. Suppose 39*f - 37*f + 38 = -3*i, 83 = -3*f + 2*i. Which is smaller: n or f?
f
Let r = 8.29 - 2.29. Let n = -0.91 - -0.9. Do r and n have different values?
True
Let d = 170 - 127. Is -2/7 at most as big as d?
True
Let n(x) = 23*x + 38. Let y be n(-2). Is 0 greater than or equal to y?
True
Let q = -29.55 - 0.45. Let h = -46 - q. Is -1/2 greater than or equal to h?
True
Let q(p) = -3*p + 12. Let k be q(4). Suppose -4*h + 4 = 0, -2*j + 2*h - h - 1 = k. Which is smaller: j or 6/5?
j
Let r(h) = -h**2 + 7*h + 14. Let y be r(7). Suppose y*j = 17 - 73. Is j >= -33/7?
True
Suppose -3*g = 9*k - 11*k + 5, -4*g - k - 14 = 0. Which is smaller: g or -95?
-95
Suppose 2 = -2*r + 3*r. Suppose -r*w - 6 = q - 3*w, 3*q + w - 2 = 0. Let g be -10*108/(-555) + -2. Which is greater: g or q?
g
Let b = 0.2 - 1.2. Let g = b + 0.8. Let d = -119 + 123. Are g and d equal?
False
Let k = -417 + 398. Which is smaller: k or -2?
k
Suppose -4*s - 3 = -s. Let n = 2/32589 + 32455/2183463. Which is bigger: n or s?
n
Let z = 0.69 - -0.01. Let m = -25.7 - -25.6. Which is bigger: z or m?
z
Let l(t) = -t - 28. Let y be l(10). Is -38 not equal to y?
False
Suppose -15 = -4*z + 1. Suppose z*v + 12 = v. Let t be -6*(v/(-42))/(-2). Is t greater than -1?
True
Let b = -1333 - -1341. Let p(z) = -z + 8. Let m be p(4). Suppose 5*o + 41 = 5*t - 3*t, m*o + 60 = 5*t. Is b < t?
False
Let s be (6 + 1)*(-18 - 456/(-28)). Are -13 and s nonequal?
True
Suppose -5*h + p = 76, -4*h = -p + 5*p + 80. Which is smaller: -33/2 or h?
-33/2
Let p = -2/21 + -5/21. Let f = 24 + -34. Which is smaller: p or f?
f
Let v = 28 - 34. Let g be 1/v - 13/(-6). Suppose -3*y - g*s + 7 = 0, -2*y = -4*s + 2*s - 18. Which is greater: y or 4?
y
Let y = 277/4 - 803/12. Do y and 2 have different values?
True
Suppose -2*d - 12 = 3*v + 44, 3*d = 3*v + 66. Let t be (6/(-4))/(1/v). Suppose 3*k - 8*k = -t. Is k less than or equal to 6?
True
Suppose -2 = -5*y - 17. Let b = -144 + 425/3. Is b >= y?
True
Let f = 56167 - 4212449/75. Are 1 and f nonequal?
True
Let o(z) = -z**3 - 9*z**2 + 2*z - 11. Let a(g) = g**3 + 9*g**2 - 2*g + 11. Let t(q) = -6*a(q) - 5*o(q). Let i be t(-9). Are i and -30 nonequal?
True
Suppose 0 = -0*y + 2*y + 4. Let r(l) = l**2 - 1. Let q be r(y). Let x be (2/q)/((-10)/195). Is -13 greater than x?
False
Suppose 0 = -3*y - 1979 + 287. Are y and -564 equal?
True
Let b be 6/9*9/13083. Let a = b - 8872/327075. Let g be (8/20)/((-2)/(-5)). Is g at least a?
True
Let b(x) = -x**2 - 5*x - 4. Let v be b(-3). Let n(c) = -10*c - 94. Let o be n(-9). Let r be o*v*(-63)/(-120). Is -5 at least as big as r?
False
Suppose h + 3*y = 22, -3*y + 9 = -0*y. Let k = 63 - 64. Is h smaller than k?
False
Let n = -6 + 40/7. Let j = 4.82 - -0.18. Let s = -3 - j. Is s greater than n?
False
Suppose 3 = -o + 8, 3*a + 12 = 3*o. Which is smaller: a or 4/3?
a
Let c(b) = -2*b - 6. Let n be c(-6). Suppose v = 4*v + n. Let o = -4 + 3. Which is greater: o or v?
o
Let k = 61.5 - 59.38. Do k and -1 have different values?
True
Let s = 416 + -332. Is s >= 86?
False
Suppose 10 - 8 = -4*s + 2*w, -w + 1 = 0. Are s and 21 nonequal?
True
Let u = 19 + -19. Suppose 115 = 5*z - u*z. Let o = 29 - z. Is o smaller than 6?
False
Let c be (-440)/(-170)*2/(-8). Let r = c + 151/102. Which is smaller: r or 0?
0
Let i = 10 + 5. Suppose -10*v + i = -7*v. Let o = -2 + v. Is o >= 2?
True
Let q(u) = u**2 + 4*u - 12. Suppose 2*j + 3*s - 3 = 0, 2*j - 2*s = -6*s + 8. Let c be q(j). Which is bigger: c or -3/32?
c
Suppose 84 - 86 = -j. Suppose 0 = 5*i + 5*t + 90, -5*i + j*t - 104 = -0*t. Which is smaller: -23 or i?
-23
Suppose 0 = 17*t + 40*t. Which is smaller: t or -8/13?
-8/13
Suppose 3*x - 1 = -4*t + 1, -5*x + 5*t + 15 = 0. Suppose -x = q - 4. Suppose -2*v = -4*w + q*v + 20, 5*w - 3*v = 15. Which is bigger: w or -1/11?
w
Suppose 2*k - 4*l - 126 + 114 = 0, 3*l + 27 = 3*k. Which is bigger: -61 or k?
k
Let q = 81 + -75.98. Let j = -4.9 + q. Which is smaller: 0 or j?
0
Let m(k) = 23*k - 405. Let z be m(17). Is 20 at most as big as z?
False
Let d = -351 + 351.09. Which is bigger: 3/14 or d?
3/14
Let m(o) = -8*o - 17. Let q be m(-10). Is 62 >= q?
False
Let v = -70 + 492/7. Let p = 9.05 - 9. Let r = p - -0.45. Does v = r?
False
Suppose -4*t = 3*q - 78 - 48, -t + 3*q + 39 = 0. Let v = 84 - 50. Is t > v?
False
Let g(h) = -40*h**3 - 6*h**2 + 8*h. Let l be g(2). Is l less than 1?
True
Let h be 5/(20/(-16)) - -24. Let o be h*(-1 - 5/(-4)). Let i be (-4)/3*o/(-10). Which is smaller: i or 7?
i
Let k(o) be the first derivative of o**3/3 + o**2/2 - 7*o - 24. Let g be k(3). Do g and 6 have different values?
True
Let z = 4.51 - 4.57. Suppose i = 5*i + 4. Is i less than z?
True
Suppose 6*o - 348 + 348 = 0. Is o < 0.024?
True
Suppose -3*q - 7*f = -8*f + 5, -4*f = -5*q - 13. Which is greater: q or 3/25?
3/25
Let l be (-36)/27 - 48/(-9). Are 2 and l nonequal?
True
Let y = 10/4147 + -1799848/20735. Let p = -86 - y. Are p and 0 equal?
False
Suppose -10*x - 35 = -15*x. Let z(k) = k**3 + k + 21. Let d be z(0). Let c be d/4 - (-2)/(-8). Does c = x?
False
Let t = 20.5 - 20.7. Is t less than or equal to 48?
True
Let v(z) = z**2 - 79*z + 227. Let t be v(76). Are -1/553 and t unequal?
True
Suppose -4*n + 0 = 4. Let y be (-5 - -6)*(-2 - n). Let p be 2/(-7) + (-25)/35. Is p > y?
False
Suppose 0 = -0*i + 2*i. Suppose i = 16*c - 15*c - 568. Let b = c + -2283/4. Which is bigger: -3 or b?
b
Suppose -239 = 3*k - l - 257, -5*l = 0. Let x(j) = j**2 - 3*j - 2. Let h be x(5). Is k >= h?
False
Let c be (-526124)/(-81424) + (-4)/(-14). Let l = c - -2/727. Which is smaller: 7 or l?
l
Let t = -855 + 817.44. Let z = 0.56 + t. Which is smaller: 0.1 or z?
z
Let h = 101 + -75. Suppose -x = -3*k - 11, -x - 3*k + 3 + h = 0. Which is smaller: x or 21?
x
Let o = -3688 + 3688.1. Let y = -0.18 - 17.82. Which is smaller: o or y?
y
Let u = -12 - -16. Suppose 4*h + 0 = -u. Is -3 at most h?
True
Let y = 0.1 - -1.1. Let z = y + -1. Suppose -5*n + 3*n = -3*h - 24, -4*n + 44 = -5*h. Which is smaller: n or z?
z
Let v = -2 - -2.5. Suppose 4*t - 5 + 9 = 0. Let g = t - 0. Which is greater: v or g?
v
Let r be (2/8)/((-366)/24). Let i = -343 - -344. Do i and r have the same value?
False
Let c(n) = -n**3 - 11*n**2 + 11*n - 32. Let a be c(-11). Is a at least as big as -153?
True
Let h(s) = -5*s - 9. Let y be h(-6). Let p = -20 + y. Is 9/5 < p?
False
Let a = -29 - -13. Let g = a - -16.2. Let l = 0.05 + -8.05. Is g > l?
True
Let j = -957 + 973. Is j less than -1.1?
False
Let r be -3 + (-38)/(-14) + 814/154. Which is smaller: r or 13/3?
13/3
Suppose 0 = 3*c + 5*o + 14, c + o = -4 - 0. Let d be c/6 + (-31)/(-2). Let z be (3/15)/(d/50). Is z smaller than 5?
True
Let k = -60 - -49. Let j = k - -13. Is j <= 8/5?
False
Let d be (-1)/(-3 + 4 + 0). Is d <= -4/17?
True
Let n be 4/8*(2307 + -1). Let d = n + -1631. Let w = d + 6689/14. Which is smaller: w or 1?
w
Let l = -403 + 422. Which is smaller: 35/2 or l?
35/2
Let y be (-88 - -95) + -246 + 0. Is y smaller than -239?
False
Let m = -20.2 - -33.2. Is m greater than -5?
True
Let a be (-330)/25*(7 + 3). Which is bigger: -2/7 or a?
-2/7
Suppose 5*l + 10 = 0, 0*v - 4*v = 5*l + 2. Suppose -3*c + 8 = -f, -f - v = -c + 4. Let z = 349/5 - 70. Is z greater than or equal to c?
False
Let p be -2 + -4 - (-65)/12. Is p < -2?
False
Let g = -51 + 86. Suppose -4*j = t - 0*t - g, -2*t + j = -52. Is t at least 27?
True
Let l = -65 - -45. Let d be 4/16 - 7/l. Let v = 13 - 11. Which is smaller: v or d?
d
Suppose -12*v - 906 - 738 = 0. Is v > -138?
True
Suppose -778*k - 18 = -781*k. Which is smaller: k or 4?
4
Let j = 271 - 251. Which is smaller: j or 228/11?
j
Let h = 95/7 + -17