. Which is greater: x or 1?
1
Let r = -4 - -3. Let x = 3 + r. Suppose -3*p = -5*p - x*d + 24, 4*d = 4*p - 64. Is 14 <= p?
True
Suppose 3*q - 526 = -d + 388, 2*q + 2*d - 604 = 0. Which is smaller: 307 or q?
q
Let n be (-1 - 3) + 13/1. Let l(d) = d**2 - 11*d + 19. Let j be l(n). Let a be (-24)/36 + j/(-3). Which is greater: a or -2?
a
Let m = 1565 - 1563.6. Which is greater: -3 or m?
m
Let y be (-3)/(-15) + (-218)/(-10). Let d = 38 - y. Let n be ((-1)/(-3))/(2/d). Which is smaller: n or 2?
2
Let l be (3 - (-34)/(-10)) + (-91)/(-65). Which is greater: l or 26/121?
l
Let b be -3*(-9)/(2187/18). Which is smaller: -57/10 or b?
-57/10
Let o = 118.1 - 118. Which is smaller: -4/9 or o?
-4/9
Let o(t) = t**3 + 20*t**2 + 3*t + 61. Let h be o(-20). Are -4/227 and h equal?
False
Let k = -20.84 + -20.69. Let o = k - -0.53. Let l = -36 - o. Is l at least -3?
True
Let j be ((-10)/(-120))/((-8)/(-64)). Which is bigger: j or 0.486?
j
Let c = -437 + 437.3. Is -9/16 not equal to c?
True
Suppose 3*y - 5 = 16. Let u = 6 - y. Which is smaller: 2/5 or u?
u
Let h be (-3 + 33/9)*3. Let x be (-68)/(-28) + -4 + h. Is -1 less than or equal to x?
True
Let w be ((-8)/2088*-12)/4. Which is greater: 1 or w?
1
Suppose 0 = -5*x + 35 - 5. Suppose -x = 4*v - 5*d, 0*d + 10 = -v - 3*d. Let y(c) = -c**3 + 6*c**2 - 4*c - 7. Let j be y(5). Is v at least j?
False
Let g be (19/(-114))/((-2)/(-13) + (-50)/156). Let u be (-1)/(-2) - 95/198. Does g = u?
False
Suppose -3*p = p + 12. Let t be (p/21)/((-6)/452). Let l = t + -66/7. Does l = -2/7?
False
Let c = -249 + 216. Is -35 at most as big as c?
True
Let j be (-331)/1540*(-38)/5. Let p = 1/350 + j. Do 2 and p have different values?
True
Let u be 120/69 - (2 - 0). Suppose 3*b - 313 = 14. Let m = b - 109. Which is bigger: m or u?
m
Let w(a) = -9*a**3 + 10*a + 18. Let u be w(-2). Is u at most 72?
True
Suppose -29*j + 10 = -34*j. Which is smaller: j or -30/23?
j
Let t be 7 + (3 - (5 - -1)). Suppose -s - 49 = -t*s - 4*d, -4*d = 4*s - 72. Suppose 0*q - 5*y - s = -2*q, -2*q + 5 = y. Is 3 greater than or equal to q?
False
Suppose -2*m + 0*m = 4*k - 2, 0 = 3*m - 5*k - 3. Is m bigger than 2/1503?
True
Let y be ((-1)/((-15)/38))/((-22)/33). Let n = 0.06 - -0.04. Is n < y?
False
Suppose -2 - 10 = 6*c. Let r be (c/(-3))/(48/(-72)). Is r at most as big as -3/116?
True
Let f(q) = q**3 - 2*q**2 + q - 1. Let y be (-28)/7*(-2)/4. Let w be f(y). Let k = 12 - 7. Is k greater than or equal to w?
True
Let t = 254 - 242. Is 14 smaller than t?
False
Let w be 3/21 - (-280)/(-245). Which is greater: w or -1/1358?
-1/1358
Let y = 0.151 + -80.151. Let s = y - -51. Let d = 29 + s. Is d at least as big as 11?
False
Let b be (1 - 4/12) + (-52)/105. Which is greater: 1 or b?
1
Suppose 0 = -2*w - l + 36, -3*w = w + 5*l - 84. Let t = -14 + w. Let r be (t/(-3))/((-8)/12). Which is smaller: -1/11 or r?
-1/11
Let q = -33 + 37.5. Let d = 2.5 - q. Are d and 1/2 equal?
False
Let r(x) = -x**2 - 2*x + 13. Let m be r(-4). Suppose m*s - 5 = 0, -3*s - s = 3*n - 112. Is 36 at most as big as n?
True
Let f = 3 - 0. Suppose 0 = f*j + 5*d, 4*j + j = -5*d. Let g be 2/(-2)*1/11. Is j greater than g?
True
Let x = 0.08 + 9.92. Let p = x - 10.19. Let n = -0.09 - p. Which is greater: n or -18?
n
Suppose 0*n - v + 5 = n, 3*n - 13 = -v. Suppose -3*r - 13 = 2*s, 4 = 4*s - n*r - 0*r. Let i = s - 3. Which is smaller: -4 or i?
i
Let c be (-1*15/25)/((-14)/(-25)). Is c at least 1?
False
Let v(g) = -g**2 + 11*g - 28. Let p be v(5). Does -41 = p?
False
Let u be 34*(0 + (-12)/(-8)). Let n = 16 - 16. Let v be 2/(n + (-6)/u). Are v and -17 equal?
True
Let k = 4 + -8. Let w be (-9)/3*(-4)/6. Suppose 0 = -m - 0*m - 3, w*t - 11 = 5*m. Which is smaller: t or k?
k
Suppose 5*z - 4 = 6. Suppose z = -0*k - 2*k. Which is smaller: k or -81?
-81
Let o be (-78)/18 - (-2)/(-3). Let d(w) = w**3 + 5*w**2 - 2*w. Let a be d(-4). Suppose a = -i - 2*i. Which is smaller: i or o?
i
Let o be 85/5 + (-1 - (2 - 0)). Let v be 7/7*2/(-2) - o. Is -15 equal to v?
True
Suppose -11*z - 684 = -9*z + 4*g, 3*g + 9 = 0. Which is bigger: -335 or z?
-335
Let i(v) = 4*v - 8. Suppose -5*b + 51 - 10 = 2*h, -4*h + 40 = 4*b. Let w be i(b). Suppose 3*q + 4*p - 35 = 8*q, -p + w = -5*q. Which is smaller: -1/4 or q?
q
Let n = -51/5 - -199/20. Is 0.066 greater than n?
True
Let w = 37052/79 + -469. Is w > -1?
True
Suppose 5 = -3*z - 1. Let v = 10 - 21/2. Which is bigger: z or v?
v
Let d = 24768/7 - 3549. Is d at most -0.3?
True
Let z = -43 + 18.6. Let t = -24 - z. Are t and -0.05 non-equal?
True
Let d be 1 - -1 - 5 - 1. Are d and -20 nonequal?
True
Let m = 10 + -3. Suppose 3*t = -m + 22. Suppose -t*c + 16 = x - 42, 4*x = -4*c + 56. Is c not equal to 11?
False
Let w be 33/(-44) - 222/24. Let p(h) = 5*h - 2. Let u be p(2). Let m = w + u. Which is smaller: -3 or m?
-3
Suppose 0 = -2*c + 5*c + m + 211, -5*c + 5*m = 385. Let x = 72 + c. Is x smaller than 3/23?
True
Let j(o) = -o**3 - 9*o**2 + 19*o - 33. Let g be j(-11). Which is smaller: -2 or g?
-2
Let o be (7/21)/((-1)/39) - 3. Is o > -16?
False
Let w = 91 - 89. Suppose t = w*p - 16, -4*p + 3*p - 17 = 2*t. Which is bigger: t or -6?
-6
Suppose o + n = 6, 3*o - 5*n + 18 - 4 = 0. Suppose 3*s = -q + 2*q - 16, 4*q = o*s + 24. Suppose 2 + 2 = -q*j. Which is smaller: -1/4 or j?
j
Let a = 39/68 - 1069/204. Is a > -4?
False
Let b = -5858/11 + 533. Let j be (-7)/(-1) - 0 - 4. Let c(v) = v**3 - 4*v**2 + 4*v - 3. Let i be c(j). Which is greater: i or b?
b
Suppose 2*c - 2 = 0, -2*c - 41 = -3*f + 41. Is 25 != f?
True
Let k(m) = m**2 - 2*m - 3. Let q be k(3). Let f be 68/(-2686)*(-3)/6. Is q at most as big as f?
True
Let k = 67 + -18. Let d = k - 49.1. Is -14 less than d?
True
Suppose h + 1 = a - 2, a - 5*h + 1 = 0. Suppose -5*t + 5 = -a*t - 2*x, 4*x - 5 = t. Which is smaller: t or 14?
14
Let x be 11/(-25)*150/45. Are x and -2/7 non-equal?
True
Let h(z) = -6*z + 1. Let b be h(2). Let m = 32 - 33. Which is smaller: b or m?
b
Let j be ((-1)/1)/(0 - 1). Let w be (1 + 1 - j)/(-11). Which is smaller: 1 or w?
w
Let a(m) = m - 7. Let f be a(7). Let t = -3/46 + -10/23. Which is greater: t or f?
f
Let c(w) = 14*w - 677. Let o be c(54). Are 81 and o non-equal?
True
Let r be 27 - -1 - ((-36)/(-2) + -19). Let z be 28/3*6/2. Which is smaller: r or z?
z
Let c = 193/2 - 15635/162. Which is bigger: 0 or c?
0
Let n = 0.14 + 20.86. Let h = -4/83 - 146/415. Which is smaller: h or n?
h
Let h be (-12)/(-14)*238/51. Suppose 0 = 4*v - 3*s - h - 25, 0 = -2*v + 4*s + 22. Let d(f) = f + 2. Let p be d(4). Is v at most as big as p?
True
Let j be (-14)/2 + (-46)/(-6). Which is bigger: j or 77?
77
Let l = -6 + 16. Suppose 0*q - l = -5*q. Suppose 3*w = -q*w. Which is greater: -1 or w?
w
Let f(y) = 8*y - 30. Let w be f(14). Which is bigger: w or 5?
w
Let s be 30/(-288)*-8 + (-5)/6. Let f be (2/7)/(69/7). Are s and f nonequal?
True
Suppose 0 = 5*p + 40 + 30. Suppose 20*t = 74*t + 648. Is t not equal to p?
True
Let y be (-9)/(-2)*((-333)/54 + 6). Is 21 < y?
False
Suppose 3*d - 109 = 5*s, -s + 2*d = 2*s + 66. Which is greater: s or 3?
3
Suppose i - 305 = -20. Let w = -3993/14 + i. Which is bigger: w or 1?
1
Suppose 6 = -3*q + 2*v - 8, 0 = -2*v + 2. Let a be (2 - q) + (-4)/2. Let y be -4 - (9/(-24) - a). Which is smaller: y or 1?
y
Let s = 0.04 + -0.01. Let h = s - 0.04. Let u = 0.01 + h. Is 1 smaller than u?
False
Let l(c) = -31*c**3 - c**2 - 2*c - 1. Let y be l(-1). Suppose 0 = -33*h + y*h + 44. Is h bigger than 20?
True
Suppose -3 + 1 = 2*r. Let h = 4192 + -280863/67. Is r at least as big as h?
False
Let s be ((-19)/8 - -2)*96/648. Suppose -2*t = -7 + 5. Which is smaller: s or t?
s
Let j be (-3)/(21/(-14)) - 0. Which is greater: j or -0.62?
j
Let a be (2 - -6) + (14 - (6 + 7)). Let t = 2933/3 + -969. Which is smaller: a or t?
t
Let l be (3 + 0)*(-7 - -24). Let n be -1 + 0 + 367/7. Let w = n - l. Which is bigger: w or -1?
w
Suppose c + 2*o - 101 = 0, 0 = -3*c - 9*o + 10*o + 268. Is c > 181/2?
True
Let u = 1640365757/187 - 8772064. Let x = u + 622/11. Let i = x + -2. Is 1 <= i?
False
Suppose 338 = -6*m + 19*m. Suppose 0 = -2*q + 7*q. Which is smaller: m or q?
q
Let d(i) = i**2 - 2*i - 7. Let k be d(-2). Which is smaller: k or 4/259?
4/259
Let k be 16/(-88) + (-189)/(-11). Suppose -k = 4*c - 17. Let g = 0 + 2. Is g bigger than c?
True
Let b(n) = n**2 