equal to r?
True
Let z be ((18/(-8))/((-35)/28))/(1/(-30)). Which is greater: z or 0.59?
0.59
Suppose 3*p + 5 = -4. Let j be 54/(-12)*11/p. Is j > 18?
False
Suppose 32 - 34 = -o. Suppose 5*i + 767 = -4*x + 63, -374 = o*x - 3*i. Is x not equal to -1?
True
Let o = 5469 + -5469. Is o > 23/51?
False
Let t be ((-5)/1)/(4/80). Let j be -3 + t/(0 + -4). Suppose 0 = 4*o + 4*g + 16, -j = -o + 5*g - 2. Which is smaller: -1/11 or o?
-1/11
Let k(y) = -y**3 + 8*y**2 + 11*y - 16. Let l be k(9). Suppose -2*h - 16 = -0*h + 2*v, 5*v + 31 = -l*h. Which is smaller: -11/4 or h?
h
Let t = -8075 - -7918. Is -140 greater than or equal to t?
True
Let s(x) = -x**3 - 48*x**2 + 519*x + 212. Let m be s(-57). Which is smaller: m or -20?
m
Let d be (12 - 4)/2 + 1. Let f be 1/d - (-68)/12. Let a = f + -26/5. Is 23 at most as big as a?
False
Let l = 2/929 + -59462/2787. Let w be 94/(-4) + (-12)/(-8). Is w smaller than l?
True
Let m = 194533/4252 + -183/4. Which is smaller: -1 or m?
-1
Let c = 1.22 - -155.78. Let t = c - 214. Is t at least as big as 0?
False
Let a be (4 - 10) + 6*20/24. Which is smaller: 27/182 or a?
a
Let x = 21 + -25. Let i(u) = u + 23. Let q be i(x). Let v = -2/227 - -7949/454. Is q less than v?
False
Let k = -16 + 16. Let b = k - 0.05. Let x = -2/1865 - 3724/5595. Which is bigger: b or x?
b
Let c(l) = 665*l - 13300. Let x be c(20). Is x < 2/32441?
True
Let g = -90 + 37. Let s = g - -37. Let h(w) = 4*w - 41. Let j be h(6). Are s and j non-equal?
True
Let w(r) = r**2 - 9*r + 1. Let t be w(9). Suppose -3*d + b - t = -b, 2*b = -2*d + 6. Let o = d - -1. Which is greater: o or -0.5?
o
Let t = -10345 - -10582. Which is smaller: 248 or t?
t
Let y be 93/9 - (-2 - (-14)/6). Let r = 12 - y. Suppose -2*k - r*v = v - 26, -3*v - 52 = -4*k. Is k > 14?
False
Let d(u) = 33*u + 60. Let z be d(-4). Let i = -1367/19 - z. Is -1 != i?
True
Let k = -8/22467 - -242078/553654281. Which is smaller: k or -1?
-1
Let h = 4 - 3. Let v be ((-44)/10)/(20/(2600/(-442))). Are h and v equal?
False
Let v be ((-70)/(-25))/((-8)/(-1015)). Let q = v + -1158123/3260. Is 0 at least as big as q?
True
Let j = -42333 - -42183. Which is bigger: -2529/17 or j?
-2529/17
Let q(v) = -v**2 - 8*v + 5. Let l be q(-5). Suppose -n + l = -20. Let r(f) = f**3 + 11*f**2 - 39*f - 166. Let j be r(5). Is n at most as big as j?
False
Let v(a) = 5*a**3 + 2*a**2 - a. Let l be v(1). Suppose 2*g - 2*f + 0*f = -2, -2*g = 4*f - 4. Let j be ((-3)/(-3) + g)/1. Is l greater than or equal to j?
True
Suppose -5*a + 25 = 2*s + s, -11 = -s + a. Suppose -u - 5*m - 34 = 0, 174 - 162 = -2*m. Which is greater: u or s?
s
Let o = -4.1 + 2.5. Let z = 1.91 + o. Let b = z + 18.69. Which is smaller: b or 1?
1
Let y(i) = 6*i - 80. Let s be y(23). Suppose 0 = -2*j + 366 - s. Is 155 less than or equal to j?
False
Let q(y) = -y**2 + 22*y - 108. Let f be q(14). Suppose -z + 1 = f*r - 2*z, 4*z = -3*r + 15. Let v = -296 + 4442/15. Which is bigger: v or r?
r
Suppose -13*g + 385 = -2*g. Which is bigger: 450/13 or g?
g
Let u(q) = -q + 4*q + 11 - 2*q + 3. Let j be u(-10). Suppose 3*c = -j*o + 3, -4*o + 0 = -c + 1. Which is smaller: 1/69 or o?
o
Let v = -148 - -82. Let i be (2/(-12) - 77/v)*-19. Is -24 at least as big as i?
False
Suppose -602*b - 619*b - 449*b = -377*b + 12930. Let h be (4/2 + 0)*5. Which is smaller: b or h?
b
Let x = 693.8 + -681.8. Is x at most -19?
False
Suppose 4*m + 5*t - 1 = 0, 8*m + 2*t - 2 = 6*m. Suppose 0 = -m*o + 2*o + 24. Let j be -1 - ((-8)/o + 29/(-15)). Which is smaller: j or 2?
j
Let w be 1 - (-2 + 87 + -2). Let j = w + 55. Let y be 2*-9*12*(-10)/(-80). Is j < y?
False
Suppose -4 = n + 4*l + 8, 4*l = 2*n - 12. Let j = -4766/11 + 109612/253. Is j at most as big as n?
True
Suppose 30844 = 31*f - 373. Suppose 475 + f = 38*i. Which is smaller: i or 38?
38
Let c be 5*(-10)/34*81354/(-455). Which is smaller: 264 or c?
c
Let f = 33 - 99.9. Let z = -70 - f. Let n = z + 5.1. Which is bigger: n or 5?
5
Let w(p) = p**2 - 57*p + 444. Let c be w(45). Is -88 less than c?
False
Let n = 16452/7 - 16455/7. Which is bigger: -137 or n?
n
Let w be 56820/(-108794) - (-164)/574. Let y = 66/409 + w. Are 1 and y unequal?
True
Let s(y) = -20*y + 80. Let a = 38 - 34. Let q be s(a). Let z be (-2)/4*(-20)/(-11). Which is smaller: q or z?
z
Let s = 201.89 - 242.89. Is s greater than -71?
True
Suppose 0 = s + 5 - 0, 5*s = k - 23. Suppose 2*c - u - 95 = 0, -3*c - 2*u + 6*u = -155. Let a be -3 + 595/c - k/(-9). Is a greater than 13?
False
Suppose -6*p - 2020 + 2104 = 0. Is 236/17 bigger than p?
False
Let w be (22 + -14)/(2 - (-16)/(-10)). Let a(f) be the first derivative of 2*f**3/3 - 7*f**2/2 + 4*f - 2. Let p be a(5). Which is bigger: p or w?
w
Suppose 0*y - 4*y = -4*l + 16, 14 = -5*y + 2*l. Let x = 4/305447 + 3825418200/2138129. Let t = -1792 + x. Which is smaller: t or y?
t
Let r = -64 + 170. Let x = 107 - r. Is -40 >= x?
False
Let q = -7718 - -5486. Is q at most as big as -2?
True
Let z be 466 - (-4 - ((-5)/(-2) + 126/(-28))). Which is bigger: z or 479?
479
Let n = 0.0604 + 33.2696. Let a = -0.33 + n. Let t = 32.8 - a. Is -18 at least as big as t?
False
Let v be (-576 - -1) + (-117 - -128). Do v and -560 have different values?
True
Let s be ((-371)/(-42))/53*(-4 + 1). Which is smaller: s or 4.75?
s
Let n = 88 - -12. Let p = -100.06 + n. Which is smaller: -0.13 or p?
-0.13
Suppose 0 = 3*z + 5*f - 78, -61 = -z - 5*f - 25. Let g(v) = 3*v**3 - 288*v**2 + 10*v - 940. Let t be g(96). Is t < z?
True
Suppose 2*d = -0*q - 3*q + 96, 0 = 2*q - 4. Suppose -152 = -12*r - 44. Let k be (-1)/r - 25/d. Which is smaller: 0.1 or k?
k
Let i(j) = -j**2 + 12*j - 21. Let b be i(10). Let a be (-18)/((0 - b)/(6 + -5)). Let o(s) = s**3 + 5*s**2 - 2*s + 7. Let u be o(-6). Is a less than u?
True
Suppose -3*n + g = 3*g - 510, 0 = -3*n - 4*g + 504. Let d = 93 - n. Let p = -79 - d. Which is greater: p or 1/47?
1/47
Suppose 0 = -7*j - 8*j - 675. Let g be (4 - (-177)/j)*28/(-2). Which is smaller: -1 or g?
-1
Let s = -68.1 + 67.8. Is 0.73 smaller than s?
False
Let l(o) = 2*o**2 - 97*o - 289. Let y be l(-3). Is y > 28?
False
Let a be ((-12)/(-20))/(2/10). Suppose 5 - 16 = p + 5*i, -5*p + 4*i = -a. Is 170 less than p?
False
Suppose 2*j = 4*o - 28, 0 = 3*j + 5*o - 3*o + 10. Let u = -0.1054 + 0.0854. Are j and u nonequal?
True
Let o be (64/160)/((-2)/(-20)). Suppose -p - 1126 = o*u - 9*u, 2*u - 5*p = 432. Is 225 at least u?
False
Let l = -109 - -108.97. Let q(d) = d**3 + 4*d**2 - 2*d - 1. Let u be 3 + -5 + (-3 - -1). Let n be q(u). Is n less than l?
False
Suppose -83*o + 157*o - 82*o = 0. Does o = 3/1274?
False
Let z(x) = x**3 - 3*x**2 + x + 4. Let t be z(4). Let l = 3367 + -3341. Which is bigger: t or l?
l
Suppose 1070*d = 1065*d + 175. Let n = 19 - -17. Is d less than or equal to n?
True
Let n = 4398 - 5191. Is -0.2 not equal to n?
True
Suppose -2*m + 6 = -4*s, -5*s - 1 = m + 17. Let g(j) = -93*j + 25. Let a be g(m). Is 303 not equal to a?
True
Let x = 24293 - 21982. Which is greater: 2309 or x?
x
Let h be (-405255)/(-50) - 2/(-4). Let y = -8066 + h. Which is smaller: 40 or y?
y
Let w = 0.159 - 0.099. Let y = 0.04 + w. Let p = -9.1 - -9. Is p smaller than y?
True
Let u = -29 + 33. Let y = 678.4 - 681. Are y and u non-equal?
True
Let d = 27.82 + 0.18. Let t be (-1 - (-28)/6) + 9/27. Suppose -t*v = -573 + 569. Which is smaller: d or v?
v
Let i be -1 - -4 - 125/42. Suppose -8 = -2*v + 2. Let d(l) = -l**2 + 3*l + 9. Let b be d(v). Do i and b have different values?
True
Let p = 51 + -119. Suppose 0 = -3*w - 15, -108*x + 2*w - 203 = -105*x. Are p and x equal?
False
Let s be (-176 + 186 + 49/(-5))/((-1)/(-10)). Is s at least 35.07?
False
Let a be 3/(-108) - -3*-3*(-1)/36. Is -29/7 greater than a?
False
Let q(r) = 4*r + 148. Let x = -116 + 79. Let h be q(x). Is -2/13 greater than or equal to h?
False
Suppose -4*i + 72 = 5*x, -3*i = -21*x + 23*x - 26. Let m be ((-6)/(-69))/(x/120). Are m and 0 unequal?
True
Let z be (-8)/60 + 240737/1799790. Does 0 = z?
False
Let b = 11 + -11. Suppose 0 = h - b*h - 98. Suppose -5*u + 2*q + h = 0, -4*u - u = -3*q - 97. Which is smaller: 18 or u?
18
Suppose 30*o + 17*o + 200616 = 8*o. Is o not equal to -5144?
False
Let k = 8 - 5. Suppose 0*m = -k*m. Let p = -169334/137 + 1236. Is m at least as big as p?
True
Let i = 417 + -250. Let x = 169 - i. Which is