
Suppose 8 = c - 19. Let v be (45/(-60))/(-4 + 445/112). Is v at least c?
True
Let d be -1 + 0/2 + 14. Let j = -11 + 16. Suppose -j*k + d = -7. Which is smaller: 0.1 or k?
0.1
Let l(u) = u**3 - 21*u**2 + u - 34. Let s be l(21). Which is smaller: -14 or s?
-14
Let b = 7 - 8. Let u be -2 + (-3)/(-30) + 2. Let o = -1/15 - u. Which is greater: o or b?
o
Let m = -11.39 - 0.91. Which is bigger: -2/3 or m?
-2/3
Suppose 4 = 5*b - 16. Suppose -b*h = -8 + 120. Is -29 <= h?
True
Let h(k) = 2*k**2 + 4*k + 2. Let m be h(-2). Suppose g + 8 = -0*g + 2*r, m*r = 8. Suppose 12 = -3*u + 3*c, g = 6*u - 3*u - 4*c + 17. Is u greater than 2?
False
Suppose -3*w + 10 = -5. Let n = -11547 + 11540. Do w and n have the same value?
False
Let h = -67/48 - -23/16. Let v(r) = r + 8. Let c be v(-5). Suppose -6 - 14 = -4*f - 4*q, -8 = 4*f - c*q. Which is smaller: f or h?
h
Let a = -60 - -57. Let v be 2*(9/21)/a. Is v at most -0.1?
True
Let q = 5 + -3. Suppose -3*k + 5 + 4 = b, b + 4*k = 13. Is q bigger than b?
True
Let t = -339/2 + 165. Suppose 3*c - c = 10. Suppose c*j + 3*i + 13 = 0, j + 0*i - 3*i = -17. Which is bigger: j or t?
t
Let d = 12 - 6. Let c = d - 15. Let z = c - -11. Which is smaller: 2/11 or z?
2/11
Let w(s) = -3*s - 10. Let j be w(-4). Suppose 0 = d + j*d - 18. Let v be 1 - (-2)/(d/(-27)). Does v = -9?
False
Let v be 3 - (-5)/(2000/(-965)). Let r = v - 3/16. Let b = 2.9 - 3. Are r and b non-equal?
True
Suppose 8 = 3*z - 7. Let s(r) = r**3 - 18*r**2 + 18*r - 13. Let n be s(17). Suppose n = -z*m - 6. Which is bigger: -7/4 or m?
-7/4
Let o be -3*(-4)/(-6) - -2. Is -7/13 greater than or equal to o?
False
Suppose 5*a = -4*v - 147, 2*v - 2*a - 29 = -107. Which is smaller: v or -36?
v
Suppose 3*a = 3, -2*z = 3*z + 4*a - 9. Is 2/273 at least as big as z?
False
Let f(m) = -4*m**3 - 22*m**2 + 22*m + 1. Let q be f(1). Which is smaller: q or 2/27?
q
Let a = 180/23 - 2869/299. Is a at least as big as -3?
True
Let i = 2769.74 - 2731. Let j = -39 + i. Which is smaller: 2/5 or j?
j
Let d = -5 + 6. Suppose -9*u + 6995 = -14*u. Let a = -48968/35 - u. Is a at least d?
False
Suppose 2*m + 38 = 4*j, -j + 27 = -0*j + 3*m. Let a = -3 + 6. Suppose 2*k = -5*l + 20, a*l - j = 2*k - 0. Is k equal to 1?
False
Let x be (20 - 19)*-2*1. Let u be 7/(-2) - (-4)/(-8). Let b = 2 + u. Is x greater than or equal to b?
True
Let m(c) = c**2 - 12*c - 40. Let y be m(15). Suppose -27 = -j - 3*g, 14 = -j + y*g + 1. Is j <= 12?
True
Let w be (8 - 10)/(2 - 0). Let p be ((-36)/(-10))/((-1)/5). Let x = p + 16. Is x not equal to w?
True
Let y(t) = -40*t - 43. Let f be y(-3). Is f less than 80?
True
Let o = 28 + 8. Suppose -y = o - 9. Which is smaller: y or -28?
-28
Let r(b) = 4*b**2 - 9*b + 6. Let l be r(3). Let z be (-7 - 2)/1*2. Let t = l + z. Is t bigger than -5/2?
False
Suppose 5*p - 3*a - 55 = -149, 34 = -2*p + 3*a. Let r = 2 + 0. Let c = r - 2. Is c at least p?
True
Suppose -5*v = 5*b, 2*b + 2*v = b - 4. Suppose b*g = -0*g. Suppose g = 5*x + 6 + 9. Is -2 at most as big as x?
False
Let p = 6270 - 6260. Suppose 4*x - 39 = 5. Is p greater than x?
False
Suppose p + 50 = -4*s - p, 3*p - 23 = s. Let i be s + 13 + 1 + -5. Is i greater than -5?
False
Suppose b + 2*x = -2*x - 37, 3*x = 3*b + 141. Which is smaller: -46 or b?
-46
Let s(j) = j**2 + 5*j - 1. Let b be s(-3). Let t(i) = -i**3 + 8*i**2 + 8. Let m be t(8). Suppose -3*v - m = -2*v. Is b less than v?
False
Let d(p) = p**2 - p - 4. Let l be d(0). Let j(c) = -2*c. Let v be j(-2). Suppose -v*a + h - 2*h - 12 = 0, -2*a - h - 8 = 0. Do a and l have the same value?
False
Let w be 4 - 65/45 - 3. Let j = 1103/504 - 115/84. Let d = w + j. Which is smaller: -0.1 or d?
-0.1
Let v = -864922687/24150 + 895372/25. Let b = 153/18676 + 3/2668. Let d = v - b. Which is smaller: 1 or d?
d
Suppose 31*c - 23*c - 616 = 0. Let m = c + -10701/139. Which is greater: 1 or m?
1
Let k be 4/3 - 6/18. Let p = -9 - -17. Let t be p/(-10)*(-35)/238. Do k and t have different values?
True
Let s(f) = -3*f - 27. Let i be s(-4). Which is smaller: i or -2?
i
Suppose 0 = -10*v + 2 + 108. Which is smaller: v or -0.02?
-0.02
Let b = -17267/7 - -2471. Let j = -22 - -27. Is b equal to j?
False
Let y(a) = -3*a**2 + 7*a - 2. Let h be y(3). Is -79 greater than h?
False
Suppose -4*h = -69 + 309. Let d = 88 + h. Let o be (2/7)/(132/d). Is o at least -1?
True
Suppose 0 = -3*w - 4*m + 21, 2*m + 1 - 10 = -w. Let x(l) = 2*l + 1. Let h be x(w). Let s(z) = 2*z - 14. Let o be s(h). Which is bigger: 2/23 or o?
2/23
Let j = -0.02 - -2.02. Let p = -1 - -5. Let k be (14/p)/(13/26). Which is smaller: j or k?
j
Let m = 462 + -435. Is m >= 31?
False
Let d(c) = -c**2 + c + 1. Let q be d(-2). Let w be -2 + (-4)/(-2) + -6. Is w greater than q?
False
Let z(j) = j**3 - 5*j**2 - 2*j + 7. Let o be z(5). Suppose 9 - 15 = -3*q. Which is smaller: q or o?
o
Let a = 661 + -136167/206. Is a greater than 1?
False
Suppose 5129*r - 5138*r - 117 = 0. Let i be (-12 + -2)*1 - 0. Are r and i non-equal?
True
Let g = -26.6 - -26.53. Let i = 1.43 - 1.2. Let a = i - g. Which is smaller: -1 or a?
-1
Let x = -99 - -70. Which is smaller: x or -3/2?
x
Let r = -32 + 38. Let g be (-14)/21*2*-6. Is g greater than r?
True
Let w = -58/21 + 17/7. Is w at most -0.49?
False
Let j(s) = s. Let l be j(2). Let c(z) = -1 + 2*z**2 + 7*z - z**3 + z - 9*z**l. Let a be c(-8). Is -6 <= a?
True
Let f = 22.5 - 16.6. Which is greater: -4/9 or f?
f
Let z be (-132)/(-99) + 663/9. Are z and 75 equal?
True
Suppose 0 = -3*d + 4*d. Let h be (-3 - -5) + 2160/26. Let f = h - 85. Is f at least as big as d?
True
Let o = -73 + 60. Let z = o + -30. Does -43 = z?
True
Suppose 9*d - 10*d = -7. Let k = 7 - d. Suppose 3*q + 3*w - 5 - 4 = k, 4*q + 12 = 2*w. Which is smaller: q or 1/15?
q
Let i = -4 + 2. Let a = -26 - -31. Suppose 0*t - 4*t = 4*b, -t - 6 = -a*b. Do t and i have different values?
True
Let r = 253/65016 + 2/2709. Does 1 = r?
False
Let y = -15607/422177 - -11/287. Which is greater: 1 or y?
1
Let j = -192933/37 + 5215. Is 1 smaller than j?
False
Suppose 5*f + 8 + 1 = 4*x, 2*x + f - 1 = 0. Let b = 3666/17 + -216. Is b < x?
True
Let w be -266 + (2295/408 - 6/(-16)). Are w and -259 nonequal?
True
Let v = -1.1 + 3.6. Let z = -2.52 + v. Is z > 4/3?
False
Let z be (-422)/90*36/(-33). Let t be ((-95)/5*6/2)/(-11). Let c = z - t. Which is smaller: 1 or c?
c
Let p = 0.51 - 5.31. Let j = 2.8 + p. Which is smaller: j or -1/7?
j
Let a = 4 + -6. Let y = -5.5 + 13.5. Let r = 8.2 - y. Which is smaller: r or a?
a
Let a = -0.259 + 33.259. Which is greater: a or 2?
a
Let n be -1 + (-1)/2 - 323/228. Is -3 less than or equal to n?
True
Let p be ((-303)/2)/1 + 1/(-2). Is p less than -153?
False
Suppose 2*v + 24 = 2*t + 10, -2*t = -8. Which is smaller: -118 or v?
-118
Let f = -4871/4 + 1231. Which is greater: f or 14?
14
Let f be ((-10)/(-6) - 2)*1*174. Is f at most -57?
True
Let t(b) = -b**3 + 4*b**2 - 4*b + 3. Let s = 11 + -8. Let r be t(s). Let a be ((-12)/33)/((-12)/(-42)). Is a greater than or equal to r?
False
Suppose -3*q - 3*q - 54 = 0. Let d be 0 + -6*1/q. Let o = 85/6 + -50/3. Is o equal to d?
False
Let a = 11 + 3. Suppose -2*x - 4*f - a = 0, -f = 2*x + 4 + 7. Let y be x/(-2)*(-2)/(-10). Is 0.9 smaller than y?
False
Let j = -43/1743 + 6/83. Let c = -3 + 1. Let d be c/(-9) - 8/9. Which is bigger: j or d?
j
Suppose 0 = 5*a + 3*c + 14, -4*a + 8*a = 2*c + 2. Let y be (-5 + (-279)/(-57))/(-1). Which is smaller: a or y?
a
Let z = -511 - -658. Are z and 146 nonequal?
True
Let p be (-4*(-2)/2)/((-196)/(-49)). Is p <= -1/182?
False
Let r(i) = -3*i**3 - 2*i**2 + i. Let v be r(-2). Suppose 0 = -0*s + v*s + 294. Which is smaller: s or 1/2?
s
Suppose 2*k = -4*l - 42, 3*l - 5*l - 2*k = 22. Let w = 17 + l. Which is smaller: 0.3 or w?
0.3
Let n = 14 - 0. Let b = n + -12.3. Let a = -1.5 + b. Are a and 4/7 equal?
False
Let o be (33 - -3)*3/20. Let h = 184/35 - o. Is -1 smaller than h?
True
Let x = -449 - -563. Which is smaller: x or 0?
0
Suppose -68 = 5*d + 72. Let f(i) = 5*i**2 + 24*i - 13. Let o be f(-4). Which is smaller: o or d?
o
Let q be 3 - (-3 + 3) - -3. Let z be q/(-10) - 6/15. Let h = 72 - 505/7. Which is smaller: z or h?
z
Let l = -48.02 - 4.98. Which is bigger: l or -0.5?
-0.5
Let l(c) = -24*c + 14. Let t be l(4). Which is smaller: -81 or t?
t
Let g be 2596/6578 - (-5)/((-345)/6).