
Let r = 7949 + -580317/73. Is 0 less than or equal to r?
False
Suppose 0 = -13*v + 18*v - 3*j + 11, 3*j - 1 = -5*v. Is -4/9 greater than or equal to v?
True
Suppose 0 = -0*c - c + 3*k - 5, 0 = -3*k. Suppose -33 = -5*u + s - 1, 4*u = -2*s + 20. Suppose f = -u*z + z, 0 = 4*f - z + 21. Is c < f?
False
Suppose 8*n - 3*n + 70 = 0. Are -66/5 and n unequal?
True
Let q be (-2)/4*(-6 + 2). Let d(o) = o**3 + 17*o**2 + 18*o + 33. Let h be d(-16). Which is smaller: h or q?
h
Let d(f) = -11*f**2 - 18*f + 182. Let h be d(6). Is -323 greater than or equal to h?
False
Let w(n) = -30*n - 208. Let l be w(-7). Which is smaller: l or 23/26?
23/26
Suppose -5*w + 1 = -2*m, -m = 2*w + 2*m + 11. Let z be 1 + 16*(-2)/(-4). Suppose 8 - z = v. Is w < v?
False
Let k = 1351 - 1349.947. Let v = 0.047 + k. Is -1 at most as big as v?
True
Let i = 3 - 6. Let d be ((-1 + 0)/i)/(154/(-126)). Is d <= -1?
False
Let a be (9/(405/(-30)))/(2/36). Which is bigger: a or -14?
a
Let j(t) = t**2 - 20*t - 2. Let f be j(20). Let a be (-162)/(-24) - f/8. Suppose -a*s + 10 = -2*s. Which is smaller: 3 or s?
s
Let b = -4 + 8. Let a be b - (0 - (4 + -2)). Suppose a*n - 88 + 28 = 0. Which is smaller: n or 9?
9
Let b = -8 - -13. Suppose 0 = -2*y - 3*y + b. Let d be 2/4 + (-23)/42. Is d at most y?
True
Let b be -1 - (-4)/(-1) - (-1505)/280. Do b and -1 have the same value?
False
Let i = -2492 - -2471. Let q(y) = -y**3 - 5*y**2 + 3*y - 5. Let s be q(-5). Is i less than s?
True
Let n = -0.59 + 8.59. Let j = 11 - n. Let w = -2 - -6. Is j less than or equal to w?
True
Let d = 4/2837 + -12336/700739. Which is smaller: 1 or d?
d
Suppose -2*x = 5*t - 7, -4*t - 3*x = -7 - 0. Suppose 19 = 5*c - t. Suppose 4 + 0 = 2*h - 4*s, c*h = 4*s. Is 0 < h?
False
Suppose -5*j - 5*w + 6 = -4, w = 5. Suppose 0 = -31*s + 30*s - 5. Let k be (0 + -3 - 54/(-9)) + s. Do j and k have the same value?
False
Let z be (216/2790)/(6/(-40)). Which is bigger: z or 0?
0
Let o(j) = -44*j + 172. Let r be o(17). Do r and -575 have different values?
True
Let v = 3.51 + -58.51. Which is bigger: -2 or v?
-2
Let g(d) = d**2 + 3*d. Let n be ((-2)/(-4))/((4 - 7)/18). Let h be g(n). Is h > 7/8?
False
Let i = 3/212 - -6745/2756. Let t = i + -276/91. Suppose -5*u + 4 = 3*a + a, -11*u + 3*a - 3 = 0. Is t not equal to u?
True
Suppose 0 = -7*n - 2*n + 9. Let b = 10 + -7. Which is greater: b or n?
b
Let v(i) be the first derivative of i**3/3 - 5*i**2/2 + i + 9. Let l be v(7). Suppose 7 = x + l. Is x at most as big as -8?
True
Let x = -49 + 69. Let y = x - 28. Let j be ((-12)/y - 1) + -4. Which is smaller: j or -4?
-4
Let v be -5 + 4 + 3 + -5. Suppose -4*g = -9*g - 10. Let n be (-38)/14 - g/(-7). Are v and n equal?
True
Let w be 8/(-20) - 208/(-420). Let h be -1 - (-6 - (-4 + 0)). Are h and w non-equal?
True
Let n = -419569/4548 - -4/1137. Which is greater: -92 or n?
-92
Suppose 2*b + 4*u - 4 = 0, 0 = 3*b - 2*u + 2. Let k(o) = -o**2 + o - 1. Let h be k(2). Let a be (-4)/(-10) - 3 - h. Is b != a?
True
Let z be (-28)/(-42) - 11/3. Let s be (z/(-3) + -2)*-2. Suppose 3*k - 4*h + 15 = 0, 5*k + 3*h + s = 6. Which is greater: k or 2?
2
Let o(t) = -7*t + 18. Let p be o(5). Are -16 and p unequal?
True
Suppose c - 5*c = -5*f + 41, -5*f = -c - 29. Suppose f*b + 4*y - 3 = 39, 4*b + 2*y - 30 = 0. Suppose -5*g = -b + 1. Is g <= 8/11?
False
Suppose -x + s - 3 = 0, -x - 2*s - 14 = 1. Let f be (-1 - -3)*x/(-2). Is 6 greater than or equal to f?
False
Let y be (2 + 0)*2/(-4). Is -2/189 bigger than y?
True
Let f(s) = s**3 + 6*s**2 - 9*s - 5. Suppose 10 = 6*t - t. Suppose -2*j - 2*j = -5*h + 23, -3*j + t*h - 19 = 0. Let x be f(j). Do 10 and x have the same value?
False
Let i be -1 + (-1)/((-15)/9 - -2). Which is bigger: i or -45/11?
i
Let p = 33 + 7. Let c = -71 + p. Let h = c - -44. Is 14 equal to h?
False
Let v = -0.71 + 50.71. Let b = v - 56. Is 0 less than or equal to b?
False
Let h(l) = -2*l**3 - 10. Let x be h(-5). Let c be 77/8 + 90/x. Which is bigger: c or 13?
13
Let b = -0.1 + 0. Let d = -6.66 - -66.65. Let f = d - 60. Which is smaller: b or f?
b
Let i be (371/4)/(10/8). Let l = 10323/140 - i. Let f = l + 3/14. Which is greater: f or -1?
f
Suppose 14*b - 23 - 33 = 0. Does 21 = b?
False
Let f = -214474 - -118604278/553. Let l = -2/553 - f. Which is bigger: l or 0.28?
0.28
Suppose -l = -3*l - 2. Let c be 4/(-14) + -4 + 165/63. Let s = c - -13/6. Is l equal to s?
False
Let k = -24 - -14. Let n = 18 + k. Does n = 8?
True
Suppose -3*a + 0*c + 160 = 4*c, 0 = -c - 2. Suppose 22*z - a = 18*z. Is z at most 13?
False
Let z = -167.902 - -168. Is -1/4 greater than z?
False
Let b(w) = -50*w**2 + 2*w + 2. Let r be b(-1). Let x = r + 77. Is x greater than or equal to 0?
True
Let q be (3186/(-1308))/(-1 + 55/4). Let j = q - -8/109. Let s(d) = d - 1. Let w be s(0). Which is smaller: w or j?
w
Let s be (-2)/114*-6 - 231/(-513). Let n = s - 8/9. Which is smaller: n or -0.55?
-0.55
Suppose 3*u + 2 = -1. Let d = 564696 + -25412921/45. Let b = d - -179/5. Which is bigger: u or b?
b
Let m be (-2)/(5*(-5)/(-12575)). Let k = 37224/37 + m. Let r = 61 + -245/4. Is r equal to k?
False
Suppose n = 9*n - 96. Suppose 15*b + n = 11*b. Is b >= -2?
False
Suppose 7*u - 5*u + 8 = 0. Let l be -1 - (2 + 1 + u). Suppose -3*c + 0*c - 24 = -4*z, -2*z - 5*c + 12 = l. Which is bigger: z or 5?
z
Suppose -12*u - 24 = -18*u. Suppose -u*b = 2*z, 0 = 3*z - b - 28 - 0. Is z at most 6?
False
Let v(g) = 65*g + 4 + 4 + 2 + 2. Let b be v(5). Let x = -4379/13 + b. Which is smaller: 1 or x?
x
Let a be (-3596)/186*6/(-16). Is 3 greater than a?
False
Let j be 1/(-4) + 90/(-24). Let d be (j/6)/((-13)/(-1266)). Let l = 65 + d. Is -1 >= l?
False
Let w be (69/(-6))/(-3*3/18). Which is greater: w or 27?
27
Let j = 628/7 + -90. Let c = 1.2 - 27.2. Let t = c - -24. Which is bigger: t or j?
j
Let m = 0.16 + -0.06. Let d = 1.1 + -1.34. Let o = 0.16 + d. Which is smaller: m or o?
o
Suppose 56 = -4*k - 5*r, 2*k + 42 = -k - 5*r. Let z be ((-4)/k)/(1/91). Let c = 34 - z. Which is smaller: 13/2 or c?
13/2
Let k be 1/(-1) + 0/(-7). Let y = 8/239 - 1622/34177. Is y >= k?
True
Suppose 5*w + 236 = -49. Are -64 and w non-equal?
True
Let v(b) = -b**3 + 27*b**2 - 58*b + 27. Let r be v(25). Is r >= -175?
True
Let n = -730/99 - -68/9. Which is smaller: -0.006 or n?
-0.006
Let r = 37.3 + -41.4. Are 0 and r equal?
False
Let m = 357 - 358. Which is smaller: m or -3?
-3
Let l(f) = -f**3 + 6*f**2 - 6*f + 6. Let m be l(5). Let d = 1243 + -1231. Does d = m?
False
Let y be 4 + -4 + 9/3. Suppose 0 = -2*z - 0*z + f + 5, -y*f = -2*z - 5. Suppose -z*i = 7 - 62. Is 0 at most as big as i?
True
Let v = -63.46 - -66. Let c = -0.04 + v. Which is greater: c or 0.1?
c
Let x = -848.6 - -849. Is -0.001 <= x?
True
Suppose 96*u = 91*u + 5. Which is smaller: -0.2 or u?
-0.2
Let r = 384 + 326. Let j be ((-5)/(r/(-3)))/((-6)/(-8)). Are j and -1 equal?
False
Let y be 2/(-7) - (-28825)/315. Let x = y + -277/3. Is -2 less than x?
True
Suppose 2*m = 2*a - 20, -127 = -5*a - 4*m - 41. Let k = a + -10. Suppose 4*i - 3*i + 5*o = -8, -2*i = k*o + 16. Are -9 and i nonequal?
True
Suppose 3 = -2*i + 15. Suppose 5 = 5*k + 5*g, 5*g = -k + 1 - 4. Suppose 3*c = -2*b - k, c - 11 = -0*b - 3*b. Is b < i?
True
Suppose 5*t - 29 = 2*j, 4*j = 2*t + 1 - 19. Suppose -2*b = s, -3*b = b + t*s - 6. Is -1/14 less than or equal to b?
False
Suppose -4*z + 2*z + 28 = 0. Let d(v) = 2*v**2 - 19*v + 34. Let l be d(7). Let j be (l - -3) + (-44)/(-4). Which is greater: j or z?
z
Let w be (-1 + 74)*(-10)/(-25). Let f = -29 + w. Let i = 1 + -2. Is f equal to i?
False
Let p = 14 + -11. Suppose 0 = q + 4*b - 21, 2*q = b - p*b + 12. Which is greater: q or 1/7?
q
Let c be (1 - (-7)/5) + -2. Let j = 752 - 752.1. Which is smaller: j or c?
j
Suppose -10 - 10 = 5*b. Let r be (b/(-66))/((-2)/(-12)). Which is smaller: -1 or r?
-1
Let c be 1 + (-130)/(-22) - (1 + 1). Is 6 greater than or equal to c?
True
Let p = -44 + 44. Let f be (-1 - 28)*(1 - (p - 0)). Which is smaller: f or -28?
f
Let l = 196 + -33. Let i = -180.3 + l. Let d = -18 - i. Is d != 0.1?
True
Let w = -3862 + 11398/3. Let t = w - -59. Is t at most -3?
True
Suppose 2*q + 7 = 5*k, -7 = -2*k + k - q. Suppose 3*b = -3 - k. Suppose 6*n = 8*n + 2*r + 4, 5*n + 1 = -2*r. Is n not equal to b?
True
Let q(v) = v**2 + 15*v + 58. Let z be q(-7). Which is smal