12 + 3/(-12). Let f = 104556/385 - 1358/5. Do r and f have different values?
True
Let n be 1430/14 - (-3)/(-21). Is 103 < n?
False
Let q be 675/(-160050) + (-1)/(-22). Which is smaller: -1 or q?
-1
Let k be 2*3*(265/(-33) - -8). Let f = -8 - -12. Does f = k?
False
Let m be 52/16*(-16)/(-4). Which is bigger: m or 8?
m
Let c = 563 + -1670/3. Let j = -7 + c. Is 2/81 <= j?
False
Let z(h) = h - 35. Let a be z(11). Let w = a - -10. Is -12 greater than or equal to w?
True
Let r be -2*(1 + (-37)/(-2)). Let j = 34 + r. Which is bigger: j or -11/2?
j
Let w = -48 + 47. Let o(k) = -k**3 - 4*k**2 - 5*k - 3. Let i be o(-4). Let f = -52/3 + i. Which is smaller: w or f?
w
Let z = 1009 + -859. Is z <= 149?
False
Let p = 404 + -427. Which is smaller: 3 or p?
p
Let i = -47 + 58. Let j = i + 2. Do -2 and j have the same value?
False
Let b be 20/(12/(-3)) + 5. Suppose g + 12*g + 13 = b. Which is greater: 3/20 or g?
3/20
Suppose -2*i = -g + 17, -3*g - 3*i = -9 - 6. Suppose -g*l = 7*l - 1424. Which is greater: -0.1 or l?
l
Let f = 165.9 - 166. Which is bigger: 216 or f?
216
Let b be (-236)/13 + (-78)/(-507). Which is bigger: -73/4 or b?
b
Suppose -140 = -2*r - 3*r. Let c be -3 + 2*903/(-72). Let j = c + r. Which is smaller: j or 1?
j
Let o = 117 + -113. Suppose 0 = o*h - h. Let x = 8806/13 - 676. Is x > h?
True
Let j = -14 - -16.8. Let g = 1.8 - j. Is -1/7 less than or equal to g?
False
Let x(k) = k**3 + 13*k**2 + 13*k + 1. Let v be x(-12). Is v not equal to -14?
True
Suppose -14*b - 929 = -12*b - u, b + 2*u = -452. Is -461 greater than b?
True
Let a = 0.25 - 0.182. Let y = a + -0.428. Is 1 equal to y?
False
Suppose -5*g = -4 - 21. Suppose -g*i + 6 = -8*i. Let a be (-1)/(-4) + (-11)/(-4). Which is smaller: a or i?
i
Suppose -13*t + 441 + 183 = 0. Which is smaller: 50 or t?
t
Let r be 0 - -4 - 161/40. Let k(v) = -v**2 + 7*v + 7. Let m be k(8). Which is greater: r or m?
r
Suppose c = 5*r + 491, -4*c + 28 = r + 122. Let y = r - -1963/20. Is 0 less than y?
True
Suppose -89 = 4*x - d, -x = 4*d + 11 + 7. Is 7 >= x?
True
Let i(w) = -7*w**2 + w + 2. Let m(k) = k**2 + k - 1. Let r be m(0). Let z be i(r). Suppose 0 = v - 3*v - 14. Do z and v have the same value?
False
Let f(v) = -2*v**3 + 10*v**2 - 5*v - 3. Let l be 2 - 2/6*0. Suppose -6 = -4*i + 5*g, 0 = -l*g + 7 - 3. Let x be f(i). Is 9 > x?
False
Let r = -21.3 - -21.339. Which is smaller: -0.2 or r?
-0.2
Let r be (-18)/162 - 1/(-9)*7. Is 21.7 at least as big as r?
True
Let h = 545/2 + -272. Are 7 and h unequal?
True
Let q be (1/2)/((-1)/2). Let j be (-7 + 2)*q - 1. Is 11 less than j?
False
Let k = -8.6 - -9. Let f = k + -3.4. Let t = 3 + f. Are 2 and t unequal?
True
Let h = 1358 - 1346. Is 10 not equal to h?
True
Let z = -273 + 274. Which is greater: -2/119 or z?
z
Let c(h) = 20*h + 32. Let g be c(-10). Which is smaller: -166 or g?
g
Let r be 8 - 2 - (-98)/(-14). Is -10/33 != r?
True
Let j(z) = -z - 8. Let l = -2 - 7. Let w be j(l). Is -3 > w?
False
Let r be (-32)/20 + 2 + (-454)/10. Let x = r + 49. Let h = 5 + 0. Is h < x?
False
Let y(k) = -6*k - 37. Let s be y(-8). Suppose 3*c - 11 = -s. Which is smaller: 2/21 or c?
c
Let y(z) = -z**2 + 19*z - 21. Let v be y(18). Which is smaller: v or -15?
-15
Let q(a) = -a + 4. Suppose -2 - 14 = -4*j, 0 = -5*o + 5*j + 10. Suppose d + 3 = o. Let t be q(d). Is t greater than 1/28?
True
Suppose -2*o - 3*o + 27 = -3*d, 0 = o + 2*d - 8. Is -1 != o?
True
Suppose -2*f + 0 = -8. Suppose -17 - 8 = -5*t. Suppose -5*h - 4*k + 12 = 0, -f = -t*k + 11. Which is greater: h or -4/13?
h
Let b(d) = -5*d - 9 + 6 + 2*d. Let r be b(2). Let c be r/135 - (-4)/10. Is 1 at least c?
True
Let a be (-630)/102 + 1 - (3 - 8). Which is bigger: a or 0?
0
Let q be ((-2)/(-8))/((-5)/20). Let w = -20 + 11. Let k be w/(-30) + -1 + 1. Is k != q?
True
Let h(x) = -x + 4. Let s be h(5). Suppose 0*w + 2*w = 0. Let c be (w - 0) + s + 1. Which is greater: c or 8/7?
8/7
Let v(p) = -p**3 + 7*p**2 + 3. Let h be v(6). Let f be (-18)/28 + h/26. Let y(l) = l**3 + 7*l**2 - 2*l - 13. Let c be y(-7). Which is bigger: c or f?
c
Let c = 1116 - 5584/5. Let w = -1 - -1. Which is smaller: c or w?
c
Let t be (-4)/14 - 804/(-21). Suppose 26 + t = g. Let o be (-5)/(-2)*g/10. Is 17 at most o?
False
Let a be (-2*(-9)/6 - 3)/1. Suppose a = -3*y - 2*i + 30 + 4, -5*i = -25. Is y greater than or equal to 8?
True
Let h be (-1)/(-1)*41*(4 - 3). Let b be -5 + -2 + 46 + 2. Is b greater than h?
False
Let r = -2.6 - -1.6. Suppose 4*v = 4*h, -4*h + 0 - 6 = -v. Which is smaller: r or h?
h
Suppose 2*t = 5*x, 5*t - 15 = 2*t. Suppose 0 = x*r - 23 + 25. Does -4/31 = r?
False
Let b = 3 - -19. Let l be b/143 + (-199)/26. Is l equal to -8?
False
Let g be ((-40)/16)/(2/4). Is -7 at least as big as g?
False
Let b = -17 - -25. Suppose -b*k = -4*k. Is k != 0?
False
Let s(j) = -j**2 + j + 2. Let d be s(0). Let n be ((-2)/d - -1)/(-1). Suppose -5 = -5*m - n*m. Which is bigger: -4/9 or m?
m
Let l = 696 - 706. Which is smaller: l or 13?
l
Let g be (12/32)/(52/(-48)). Let t = 209/78 + g. Which is smaller: 1/3 or t?
1/3
Suppose 3*z + 2*l - 65 = 3*l, 5*z = 4*l + 106. Let c be (-13)/(-3) - z/(-33). Which is bigger: -3 or c?
c
Let r be (-1)/(44/(-628)) + (-46)/(-253). Which is smaller: 15 or r?
r
Suppose 0 = 5*t + 4*z - 6*z + 14, -t - 10 = 2*z. Let f(j) = -j**3 + 3*j**2 - 44*j + 275. Let a be f(5). Which is greater: a or t?
a
Let g = 3 - 2. Suppose -4*r - 12 + 4 = 0. Let y be (r/(-64))/((-3)/(-6)). Which is greater: g or y?
g
Let l be (-165)/275 - 3/(-5). Which is bigger: -6/217 or l?
l
Let g = 394 + -369. Let s(b) = 3*b**3 + b - 1. Let l be s(2). Is l <= g?
True
Let k be (20/6)/(-3*2/18). Let b be (135/k)/((7/2)/7). Is -27 < b?
False
Suppose 27 = 34*s - 7. Which is smaller: 1/252 or s?
1/252
Let u = 8 - 8. Let y be -58 - u - (3 + -1). Let g be y/(-275) - 6/15. Is g > 1?
False
Let p(x) = x**3 - 8*x**2 - 30. Let v be p(6). Let q = v - -104. Which is bigger: 0 or q?
q
Let x = -2498447/1856528 - -9/24428. Let r = x + 22/19. Suppose 4*a + 15 - 3 = 0, -4*t - 2*a - 6 = 0. Is t <= r?
False
Suppose -2*z = 6, 2*n + 8*z - 3*z = -5. Let r be (0 + 0)*(-5 - -4). Suppose r = 4*m + n*x - 21, 5*m - 3*x + 20 = -0*m. Which is bigger: -2/25 or m?
-2/25
Suppose -180*d + 185*d = -15. Let p be (2 + 3)*4/(-5). Which is smaller: d or p?
p
Let s(y) = 30*y + 329. Let m be s(-9). Is m greater than 56?
True
Suppose 0 = 4*l + 4. Let q be 4/(4/3) + l. Suppose 0 = 5*i - z - 8 - 5, 3*z = -q*i - 5. Which is greater: 0.4 or i?
i
Suppose -2*s = -i, -3*s + 6 = 2*i - 1. Let y(p) = p**2 + p - 3. Let u be y(-3). Suppose 2 = 3*v + j, -u*j - 22 = -v + i*j. Which is smaller: 2/3 or v?
2/3
Suppose 0 = 12*r - 8*r + 4. Which is greater: r or -14/25?
-14/25
Let g(j) = -j**2. Let d be g(2). Let f be d/(-14) - (-650)/(-70). Suppose 0 = -4*m + 2*t - 36, 4*t = -3*m + 2*t - 20. Which is smaller: f or m?
f
Suppose -h - 5 = -29*r + 32*r, 2*r = -4*h + 20. Is -23 at most h?
True
Suppose -6*v + v + 5*o = 0, 0 = 5*v + 2*o - 35. Suppose -v*g + 6*g = 7. Let w(z) = -z**3 + 6*z**2 + 6*z + 6. Let h be w(g). Is 0 less than h?
False
Let h be (1/3)/(4 - (-125)/(-30)). Is 177 greater than h?
True
Let u = 5 - 2. Suppose -v - 12 = -4*v. Let g = v - -1. Which is bigger: u or g?
g
Let v(u) = -u**3 + 13*u**2 - 3*u - 12. Let t(c) = -3*c**3 + 25*c**2 - 7*c - 23. Let i(q) = -2*t(q) + 5*v(q). Let x be i(-15). Which is bigger: x or 5/4?
5/4
Let n = -404188/405 - -998. Which is greater: 1 or n?
1
Let x(g) = 6*g + 29. Let q be x(-5). Which is greater: q or 1/837?
1/837
Let q = -1 - 1. Let j(i) = i**3 + 8*i**2 - 20*i - 1. Let b = -1 - 9. Let y be j(b). Is q greater than y?
False
Let b(t) be the first derivative of -t**2/2 + 13*t + 3. Let p be b(13). Let v = p + -1. Is v at least -1?
True
Let i = -75/2 - -521/14. Let a = -46 + 46.033. Are i and a unequal?
True
Let n = 12411/170 - 73. Let z = 223/9010 - n. Suppose 2*q - 4*q = -3*j + 4, -8 = j + 4*q. Is z < j?
False
Let a be (1 + 21/(-18))/(-5). Let o = -0.1427 + 1.1427. Is o greater than a?
True
Let h = 1.2 - 4.1. Let q = -3.1 + h. Which is smaller: q or 1?
q
Suppose 5 = -5*x, 0 = 6*l - 7*l - 2*x - 3. Let q be 0/(3 - 0 - 4). Is l bigger than q?
False
Let i be (-28)/(-6) - 34/51. Let u be (-2)/(-20)*i - 222/255. Which is greater: u or 1?
1
Let z = 14 - 6. Suppose 5*l = -q + 2*q + 4, l = -2*q + 25. Let n