is greater: q or v?
v
Suppose 0 = 4*t + p - 3*p - 56, 0 = -3*t + 2*p + 44. Let x be (-2 + t/2)*12/(-8). Let g be (x/5)/3 + (-116)/(-265). Is g <= 0?
False
Let k(u) = -3*u**3 + 19*u + 5119. Let y be k(0). Which is bigger: y or 0.1?
y
Let v be 17370/(-70) + -5 + 216/42. Which is smaller: v or -249?
-249
Let a = -50500 - -145354/3. Which is smaller: -2049 or a?
-2049
Suppose 4*j - 1722 - 2500 = 3*r, 4*r - 1027 = -j. Which is smaller: 1049 or j?
1049
Let i = 907 - 9073/10. Let u = -32 - -31. Is i at most u?
False
Let l = 26 + -25. Let h be (-1358)/(-1386) + (l - 2). Let c = h + 115/792. Is 0.1 greater than c?
False
Let j be 22460/300 + (-4)/(-30). Which is smaller: j or 381/5?
j
Let i be ((-3)/(-21))/(18/58). Let x = i - 4/7. Suppose -2*c + 5*c + 3 = 0. Is x <= c?
False
Let i = 0.08 - 1.48. Let j = -1.3 - i. Let d = 8.25 - 4.85. Is d equal to j?
False
Let r = 529 + -509. Let a(o) = o**2 + 6*o + 7. Let u be a(-5). Suppose -2*z - r = -5*q, -5*q - u*z = z + 5. Which is greater: q or -4?
q
Let p(t) = -12*t - 154. Let h be p(-16). Suppose 0*d + h*d = 608. Which is greater: 97/6 or d?
97/6
Let v = 260.807 - 261. Let n = v + 0.023. Which is greater: n or 0.07?
0.07
Suppose 360 = -467*i + 1761. Suppose -4*j - 2*f + 638 = 0, 2*f + 0*f + 304 = 2*j. Which is smaller: i or j?
i
Suppose 0 = -2515*r + 2521*r - 642. Is r > 146?
False
Let h = 108 + -101. Suppose 7*b = 63 - h. Which is smaller: b or 5?
5
Suppose -13*x + 45 = 19. Suppose -x*q - 31 - 13 = 0. Let b = -166 - -142. Is q at most as big as b?
False
Let p(y) = 2*y - 14. Let l be p(11). Suppose -3*j + l = -5*v, j - 3 = -3*v - 5. Suppose -27 = -c - 26. Is j not equal to c?
False
Let p = -8509 + 110616/13. Which is greater: 209 or p?
209
Let w be 3*(-2 - 344*12/(-18)). Let k = w - 640. Which is bigger: k or 41?
k
Suppose -4*q = -2*k + 6, 5*q - 4*k = -k - 10. Is 842 at most as big as q?
False
Let a = -5.77 + 823.77. Let g = a - 810. Is 5/13 > g?
False
Let f be (-342)/1254 + (-406)/(-440). Let h = 9 - 8. Are h and f equal?
False
Suppose 36*o - 27*o = 252. Suppose 292 = -4*t - 3*r, -62 = t + 5*r + o. Suppose -2*q - 2*q = 280. Is q < t?
False
Let f be (1116/(-248))/((-2)/(-88)). Is -198 equal to f?
True
Suppose 60*x - 46*x = 70. Suppose 6*m = 11*m - 60. Let r = 19 - m. Do x and r have different values?
True
Suppose -3*o + 193 + 29 = 0. Suppose 5*f + 2*q = -78, -f - q = 4*f + o. Let u be (-63)/49 + (-4)/f. Is 8 <= u?
False
Suppose 5*s - 10 = -0, 3*o = 2*s + 5. Suppose -4*j + 10 = 6*u - o*u, 0 = j + 3*u - 7. Is 3/58 at most j?
True
Let q(g) = g**3 + 7*g + 2. Let l be q(0). Let b(c) = 105*c**2 - c. Let j be b(1). Suppose l*h - 10*h = j. Which is smaller: -12 or h?
h
Let y be (-28)/(-8)*(-72)/42. Let h be ((-250)/(-4))/((-33)/y). Which is smaller: h or -1?
-1
Let j = -15 + -21. Let c = j + 36. Suppose c = -5*g - 2*g + 21. Which is greater: g or -1?
g
Let w be 4/7 - (-800)/(-28). Let r be 2/3 - (-1 - w/(-12)). Suppose z = -5*h + 8 + 3, -5 = 3*z - r*h. Which is smaller: 26/11 or z?
z
Let w = 0.54238 - 196.56438. Let s = w + 196. Which is greater: -0.2 or s?
s
Let p = -41750 + 167015/4. Is p at most 90?
True
Let g = -0.06229 + -0.93771. Let f = -0.006 + -5.394. Let x = -1.6 + f. Is g greater than or equal to x?
True
Suppose 24 = 5*k + 69. Let b be (-2)/((-9)/(k/3))*6. Let n be (b/(-18))/((-3)/42). Is -2 smaller than n?
False
Suppose -3*n + 15 = 3*i, -4*i - 24 = 5*n - 6*i. Is n at least as big as -26/25?
False
Let j = 174.66 - 233. Let q = j + -0.66. Let p = q - -53. Which is smaller: p or 0.04?
p
Let k be 26/(-82) - (-1)/4. Let u be (-2)/(-164)*554/(-220). Let l = u - k. Are 1 and l equal?
False
Suppose -2*q - 7 = d + 3*q, 0 = d - q + 7. Let o be (0 - 4)/(32/(-120)). Suppose -15*b = o + 60. Are b and d equal?
False
Let f = 51.89 + -51. Let p = 0.79 - f. Which is smaller: p or -38?
-38
Let r = 75 - 73. Suppose 3*y - 55 = -4*w, -2*y + 14 + 12 = r*w. Suppose 13*o - 17*o + w = 0. Which is greater: o or -2?
o
Suppose 0 = -4*u - v - 5, -786*v = -u - 785*v. Which is smaller: u or 4/4919?
u
Let b(m) = -m**2 - 12*m - 18. Let k be b(-12). Suppose 0*u + u - 5*o - 3 = 0, -4*o + 3 = u. Let y be 1/u + -1*245/15. Which is bigger: y or k?
y
Let p = 22/63 - -2/9. Suppose -2*z + 0*x - x = -118, 0 = z - 5*x - 48. Let i = z - 56. Are i and p unequal?
True
Let i be ((-2992)/330 - -9)/(37/27). Which is greater: i or 1?
1
Suppose -11*t + 6*t = 17*t + 26158. Which is bigger: t or -1191?
t
Let g(p) = 265*p**2 + p - 1. Let y be g(1). Let a be -11 + (-19 - 29502/126). Let v = a + y. Which is greater: 0 or v?
v
Let b(h) = -26*h + 2473. Let g be b(90). Is g less than 150?
True
Let z(o) = 6*o + 10. Let c be z(-10). Let x = -48 - c. Suppose 0*q = 2*q - x. Which is smaller: q or 2/53?
2/53
Let b = 613/3 - 239. Suppose 0 = -9*q - 325 + 10. Is q bigger than b?
False
Let d = -1378/3 - -975/2. Which is greater: d or -2?
d
Let z = 61 - 57. Suppose s - 3*j + 83 = 0, 0 = 7*s - 4*s + z*j + 184. Let n = 54 + s. Is -15 smaller than n?
True
Let w = -390 - -233. Let r = 157.1 + w. Which is smaller: r or -8/11?
-8/11
Let g = 712 - 567. Let i(x) = x**3 + 5*x**2 - 7*x - 2. Let w be i(-6). Suppose g = m + w*m. Which is bigger: 28 or m?
m
Let g = -111 + 112. Let r = -11.12 + 11. Let d = r - -0.11. Is g less than d?
False
Let d = -14 - -48. Suppose 3*a + d - 7 = 0. Let u = -7043 + 7045. Which is smaller: u or a?
a
Let y be (-314)/264 - (0 + -1). Let t = 2/33 - y. Let o = -30743 + 30734. Is o greater than t?
False
Let x = -1887 + 2737. Suppose -x*g - 16 = -854*g. Is -30 smaller than g?
True
Let u be 16/40*((-20)/(-556))/(3 - 6). Which is smaller: -4 or u?
-4
Let c = -3.0108 + 2.0108. Which is bigger: c or 28925?
28925
Let u(i) = i**2 + 8*i + 201. Let j be u(-30). Are j and 863 nonequal?
True
Let j = -38 + -14. Let m = -1569 + 1568. Which is bigger: m or j?
m
Let r(c) = -11*c**3 + 13*c**2 - 26*c - 20. Let a(t) = -7*t**3 + 9*t**2 - 17*t - 13. Let k(j) = -8*a(j) + 5*r(j). Let y be k(6). Let m = -51.91 + 51.9. Is m > y?
False
Let s be 0 + 4 + (-153*31/(-60))/6. Is s >= 17?
True
Let l(c) = 3*c**2 - c + 1. Let k be l(1). Suppose -4*m - 2*r = 0, k*m - 2 = -m - 3*r. Let o be 1 + 4 + 280/(-60). Is m less than or equal to o?
True
Let u be 85/34 + (-2)/(-4) - 2. Suppose -2*c = -2*a - 10, -2*a = 3*c + u + 4. Let q = -188 + 4701/25. Does q = c?
False
Let r = 40 - 28. Let b = -198 - -207. Is r smaller than b?
False
Let x = 199 - 111. Suppose 146 + 542 = 8*m. Is m at most x?
True
Suppose 0 = -4*m - f + 49, 4*f + 57 = 4*m - 7. Suppose -8*b = -5*b - 33. Is b at least as big as m?
False
Let k = -26343/48356 - 3/4396. Which is smaller: k or 160?
k
Let c be 28/16 + -3 - 845/(-260). Is c bigger than 54/67?
True
Suppose 5*g + 5*n + 125 = 0, -n - 13 - 64 = 3*g. Let i be (8 - 4) + g + 4 + -2. Is 0 less than or equal to i?
False
Suppose 4*k + a + 1078 = -131, 0 = 5*k - 5*a + 1530. Do k and -301 have the same value?
False
Let j = 1388 + -90222/65. Let b(t) = 4*t**2 - 5*t + 29. Let n(i) = i**2 - i + 1. Let s(r) = -b(r) + 5*n(r). Let q be s(5). Do q and j have different values?
True
Suppose -444 + 151 = 5*y + 2*b, 0 = 3*y + 5*b + 172. Let l = y + 63. Suppose -l*f = -4*k + 4, 0*k - 6 = -4*k + 2*f. Which is smaller: -3/7 or k?
-3/7
Let a = 0.69852 - -0.10148. Suppose 2*u + 3*w + 24 = 0, -w + 20 = -6*w. Let d(t) = -t**2 - 6*t - 3. Let i be d(u). Which is smaller: a or i?
i
Let p be ((-8)/(-10))/(2/5). Let m be 3 - (1 - (p + -3)). Let b be -1 - m - 408/(-210). Which is bigger: -0.1 or b?
b
Let m be 5/5 - 2997/2998. Is m != -1?
True
Let o be (-1134)/(-432)*8/(-6). Let w = -34 + 49. Suppose 3*c + 2*x = -13, -c + 5*x = c + w. Which is greater: o or c?
o
Let j = 14.385 - 681.285. Let v = -667 - j. Which is smaller: 1.01 or v?
v
Let s = 58 + -57.95. Suppose -4*v = 5*h - 2, h - 12 = -0*v + 5*v. Let j be (-3)/9 + v/12. Is j < s?
True
Suppose 4*d - 138 = 35*d - 8*d. Which is smaller: d or -200/33?
-200/33
Let r be ((-35)/14*-26)/(-7) + 9. Let p = 0.031 + 0.011. Let y = -82.042 + p. Which is bigger: y or r?
r
Let t(u) = 1 + 0*u + 5*u - 4*u + 4*u. Let v be t(3). Let y be (2/12)/((-2)/v). Which is bigger: y or 0?
0
Let w(f) = 67*f + 70. Let j be w(-1). Let a = 12 - 6. Let l be (-5)/(-15) - (-22)/a. Which is smaller: l or j?
j
Let i be (-8476)/(-684) + 48/(-432). Which is bigger: 13 or i?
13
Let p = 4504 - 