 Let w = i + -31/60. Which is bigger: w or 1?
1
Let h(o) = 3*o + 14. Let n be h(0). Let l be ((-4)/n + (-513)/(-105))*-1. Which is smaller: -4 or l?
l
Let c be (-4)/((6 - 12)/168). Which is smaller: c or 113?
c
Let v be 6 - (1/2)/((-3)/24). Is v at most as big as 9?
False
Let f = 14032799705025 - 15029131826928160/1071. Let b = 3121239 + f. Let r = -12/119 + b. Which is smaller: r or 1?
r
Let o = 77 + -79. Let s be ((-80)/39 - o)*(-12)/28. Which is smaller: s or 1?
s
Suppose -6*h = -3*h - 3. Let u be 0*(-3)/(-18)*3. Let n = 3 - u. Which is smaller: h or n?
h
Let b = -5.9 - -43.9. Let j = b - 36. Which is smaller: -0.4 or j?
-0.4
Let v(p) = p**2 + 6*p + 14. Let o be v(-10). Suppose o = 5*c + 4. Is 11 greater than c?
True
Let p = 1344 - 1342. Are -40 and p unequal?
True
Let b be (((-27)/15)/(-1))/((-96)/30). Which is greater: -1 or b?
b
Let s = 864 - 845.5. Which is smaller: 2/7 or s?
2/7
Let v = 95 + -109. Let s(m) = m**3 + 15*m**2 + 15*m + 15. Let i be s(v). Is i greater than or equal to -1?
True
Let d = -12.49 - -11.99. Is d at most 0.176?
True
Suppose -51 = r - 50. Which is greater: r or 10/397?
10/397
Let z = 1115/108 + -41/4. Suppose 329 + 1543 = -6*u. Let v be 2/(-16) + (-195)/u. Is z > v?
False
Suppose 0 = 8*b - 10*b. Let u = 0.7 - 11.7. Let x = 21 + u. Is b > x?
False
Let x be 411/22 + (8/(-44) - 0). Suppose 60 = 4*m - 16. Let o = x - m. Which is smaller: 4 or o?
o
Let p(b) = -9*b - 2. Let o be p(-2). Suppose 12 = 3*a, -v - 2*a - 2*a = -o. Suppose -f + v*f + 9 = -4*y, 2*y = 5*f - 9. Is 1 <= f?
True
Let f be 120*(4 + 88/(-20)). Is f at most -41?
True
Let h = -38 + 76. Suppose 0*o - h = 3*o + 4*l, -o + 3*l = 4. Which is smaller: o or -11?
-11
Let j = -224.95 + 225. Is j bigger than 3/4?
False
Let h be ((-1)/((-9)/78))/(6/(-18)). Which is bigger: 1 or h?
1
Let b be (4/16)/((-3)/(-24)). Suppose -3*a + 8 = b*k, -5*k = 2*a - 9 - 11. Do 2/9 and a have different values?
True
Suppose 2*v + 10 = 3*v. Let m = -3333.6 - -3334. Is v >= m?
True
Let l(w) = -w**3 - 7*w**2 - 8*w + 19. Let b be l(-8). Is 147 at most as big as b?
True
Let s = -1.5 + 4.3. Let x = s + -1.7. Let a = x - -13.9. Is a not equal to 0.1?
True
Let w(f) = f**2 - 4*f - 54. Let t be w(-6). Which is smaller: 25/4 or t?
t
Let d be (-2)/(0 + -2) + 1149/(-1915). Which is smaller: -0.481 or d?
-0.481
Let z(s) = -s**2 + 4*s - 7. Let x(j) = j. Let k(f) = 4*x(f) + z(f). Let a be k(7). Let m = 143 + -1006/7. Is a at most m?
False
Suppose -4*o = -o - 15, 5*t = o. Suppose 3*q - 3 = -b, 0 = -4*q + b + 3 + 1. Suppose -g - q = 4*z - 0*g, z + g = -t. Which is greater: z or -5/7?
z
Let l = 2 - 2.2. Suppose 0 = 4*h + 4*v + 8 + 8, 0 = -2*h - 3*v - 10. Is h >= l?
False
Let f = -17367/860 - -101/5. Is 1 greater than or equal to f?
True
Let o = 426 + -1148/3. Suppose 4*w - 162 = 5*h, -4*h - 34 - 1 = -w. Let t = o - w. Are -1 and t non-equal?
True
Let v = 179/5800 - 3/116. Which is bigger: -1 or v?
v
Let u be (-10)/(-6)*10/25. Let i(v) = 7*v**2 + 19*v + 4. Let g(a) = -20*a**2 - 56*a - 13. Let y(o) = 6*g(o) + 17*i(o). Let t be y(-12). Is u bigger than t?
False
Let o = 5 - 5. Suppose 0*h + 5 = 2*h + z, 0 = h + 5*z + 2. Which is bigger: o or h?
h
Let x = 10 - -24. Let o = x + -33. Is 0.03 < o?
True
Let f(i) = i**2 + 77*i - 411. Let w be f(5). Let l = -2701245234/935 - -2889032. Let m = l + 12/55. Which is greater: m or w?
m
Let x be (-1 - 99)/2 - (124 + -118). Let l = -123 + 67. Are x and l non-equal?
False
Let d(a) = -3*a**2 + 85*a + 50. Let n be d(23). Is 417 <= n?
True
Suppose -o = 2*o - 4*w + 42, 2*w + 6 = 0. Suppose f - 80 = 3*i, -3*f = 4*i - 0*f + 124. Let h be i/o - 4/4. Which is smaller: h or 1?
h
Let q(g) = g**2 + 17*g + 19. Let o be q(-16). Suppose 0 = -o*y + 8*y + 115. Which is bigger: y or -22?
-22
Let v = -43 - -44. Let w = v + -0.9. Which is smaller: 11 or w?
w
Let r = 229 - 1601/7. Which is greater: r or 0.091?
r
Suppose 2*d = j - 4*j - 143, -2*d = 8. Let y be ((-2)/3)/((-5)/(-330)). Do y and j have different values?
True
Let w = -11387/5 - -2258. Which is smaller: -19 or w?
w
Let h be (6/8)/(-1 - 78/48). Is -0.13 > h?
True
Suppose -28 = -7*w + 77. Let r = -15 + w. Which is bigger: r or 1/12?
1/12
Let s = 26 - 24. Let r be 9/(-12) - 226/(-280). Let a = r - -31/70. Do a and s have the same value?
False
Let l = 34 + -21. Suppose 0 = 4*j - l - 3. Suppose -5*c - v = -6, 0 = 5*c - j*c - 3*v - 14. Is c at most 3/4?
False
Let s = -397 + 398.3. Which is smaller: 0.1 or s?
0.1
Let h = -10198 + 1193177/117. Is 1 not equal to h?
True
Let d = 33 - 23. Let z be 4/d + 16/(-40). Suppose z = 2*k - 3*v - 16, 36 + 4 = 5*k - v. Are k and 8 nonequal?
False
Let t = 0.19 - 100.19. Let i = t + 99. Which is smaller: -3 or i?
-3
Let m = 23.9 - 24. Let q = m - -28.1. Let s = -28 + q. Are s and -2/25 nonequal?
True
Let z be 2 + -2*(-3 - -6). Let r be 1/((5/z)/(-5)). Suppose 0 = r*t + 4*h - h + 7, -3*t = h + 9. Which is smaller: t or -2?
t
Let q = 0.7 + 0.3. Let z = -278 + 279. Are z and q non-equal?
False
Let c = -127 - -159.8. Let p = c + -33. Which is bigger: p or -25?
p
Let d be 2/(-37) - 2794875/5365. Is -521 equal to d?
True
Let y = 259 + -260. Which is smaller: 7 or y?
y
Suppose -1 - 2 = -3*k. Let z be 39/((-1)/((-66)/9)). Let x be (-6)/(-33) + (-118)/z. Which is smaller: x or k?
x
Let c = 655 + -696. Is c > -47?
True
Suppose -c + 164 = -2*v - v, -2*c + 3*v = -319. Suppose -21*q + 16*q = c. Is -32 < q?
True
Let l(i) = -i - 1. Let j be l(-11). Let w be -2 - (3 + 0 - j). Are 6 and w unequal?
True
Let v = -19 - 3. Let i = -10559 + 52583/5. Let r = -42 - i. Which is bigger: v or r?
r
Let y = -50 - -65. Let w = -12 + y. Do w and -4/7 have the same value?
False
Suppose -14 = -2*g + 66. Which is smaller: 43 or g?
g
Let m = 183.73 - 184. Are 1.1 and m non-equal?
True
Let a = 0.0501 + -264.0501. Is -4 > a?
True
Let y be 190/(-855) + (2930/63 - 12/42). Let c be 2/(-2) - 98/(-2). Which is smaller: y or c?
y
Suppose -10*t + 16*t - 276 = 0. Let n be (1 + 8/4)*t/3. Is 47 less than n?
False
Let b = -30 + 2. Let q = 82/3 + b. Which is greater: q or -10?
q
Let r be ((-8)/(-2))/(-4)*-13. Let u = -72 - -86. Is u bigger than r?
True
Let i = -210 + 213.7. Which is smaller: i or 0.4?
0.4
Let g = -0.162 - -0.262. Which is greater: -52 or g?
g
Suppose 3*m - 5*t - 57 = 0, -41*m = -43*m + 3*t + 38. Suppose -5*w - 3*k = -97, -5*w + 2*k = -0*w - 77. Is w at least m?
False
Suppose -8*j + j = -7098. Let l = j + -11927/12. Let u = l - 20. Does 0 = u?
False
Let v be -2 - 0/1 - -3. Let g = -6718/1239 + 116/21. Let l = -129/472 - g. Which is bigger: l or v?
v
Let p = -4 + 6. Suppose 3*n - 1 = -h, h + 2*n + 1 = p. Let b = -121/11316 + -3/164. Is b at least h?
False
Let k = 1.2 + -2.2. Let m be (-4)/2 - (-1 + 2 + -1). Is m not equal to k?
True
Suppose 5*k - 434 = 61. Let b be (6/(-76))/(k/12). Which is greater: b or 0?
0
Suppose 2*s + 68 - 44 = 0. Do -8 and s have the same value?
False
Let a(g) = g + 20. Let o be a(-7). Suppose -5 = -o*j + 8*j. Is 9/4 at most as big as j?
False
Suppose -o - o + 10 = 0. Suppose -u = -o*v + 2*v + 15, 0 = -4*v + 2*u + 18. Let c = 0.8443 - 0.7443. Is c at most as big as v?
True
Let w be 6 - (-531)/(-90) - 14/340. Let d = 4 - 3. Which is bigger: d or w?
d
Let u be 4/(-8)*1 + -25840. Let o = 463673/18 + u. Let r = 81 + o. Which is bigger: -1 or r?
r
Let g = -282 - -277. Which is smaller: -41/9 or g?
g
Let a = -0.073 - -9.073. Let i = -0.36 + 0.06. Let f = i - -1.3. Is a > f?
True
Suppose -3*h - 65 = 37. Let b be (-1)/(0 + (-2)/h). Let g = 10 - 26. Which is greater: g or b?
g
Let x be (4/5)/((-20)/50). Let s = -1195/18 + 7045/126. Let r = 50/7 + s. Is r at least as big as x?
False
Let o(m) = 91*m**2 + 13 + 2 - 90*m**2 + 11*m. Let n(l) = 2*l + 4. Let r be n(-6). Let v be o(r). Which is bigger: v or -8?
-8
Suppose -x = 4 - 6. Suppose -x - 2 = 4*i. Which is greater: i or -1/20?
-1/20
Let g(o) = o**3 - 3*o**2 - 8*o + 8. Let q be g(4). Let a be (-1)/2*3/(-12)*q. Is a less than -6/29?
True
Suppose 5*g + j = -57, -g + j = -4*g - 35. Which is bigger: g or 7?
7
Suppose 2*d = -5*v + 4*v - 7, 5*d - 5*v = 5. Let b = d - -29. Let p be ((-9)/b)/(2/(-4)). Is p < 2?
True
Suppose 4 = 4*j + 12. Let d be (-1 - (-246)/42) + -7. Does j = d?
False
Let t = 24 + 156. Let x = 32 + -36. Let g be -3*(x - t/(-44)). Which is greater: 0 or g?
0
Su