-1)/4)/(85/(-36700)). Let x = u - 108. Let z be 1 + 0 + (2 - 2). Is z > x?
True
Let h = 35 + -47. Are -12 and h nonequal?
False
Let q be 54/3 + 7 + -5. Let a = q - 99/5. Is a <= -0.2?
False
Let c = 917 + -1830. Is -913 bigger than c?
False
Suppose -16 = -0*c - c. Suppose v + 5*n = -c, v - 5*n = -0*v + 14. Let x = -1902/5 - -380. Which is greater: v or x?
x
Suppose -x = -5 + 3. Suppose 2*p = -0*p + 616. Let o be 4/(-14) + 319/p. Which is smaller: x or o?
o
Let d = 0.142 + -0.13. Which is smaller: d or -0.3?
-0.3
Suppose 2*h = 3*k + 19, -4*h - 52 = -3*k + 7*k. Let x be 52/(-6) - 2/6. Do x and k have different values?
False
Suppose -17 = 6*t - 41. Which is smaller: t or 6?
t
Let i = 4/7 - 5/7. Let z = -3 - -16. Let m = z - 9. Is m bigger than i?
True
Let b be (-39)/(-3) - (-36)/((-3)/1). Let n(j) = -j - 7. Let u be n(-5). Let p be (u/(-4))/((-11)/(-3)). Which is bigger: p or b?
b
Let c be -1 + 1 + -2 - 1630/(-75). Let f = 13069/660 - c. Which is smaller: f or 1?
f
Suppose -h - 7 = -0*u + u, 5*h + 2*u = -23. Let d(q) = -q**2 - 8*q - 8. Let f be d(-6). Let m be 92/(-36) + h + f. Which is smaller: -2 or m?
-2
Suppose 2 = 41*m - 45*m - 2*v, -5*m + 5*v + 20 = 0. Is -22 at most as big as m?
True
Let c = 7 - 8. Let q = 3 - c. Let d be 3 - (q - 4/(-28)). Which is bigger: d or 0?
0
Let q = -458 - -567. Which is smaller: 108 or q?
108
Let j = -387 - -585. Which is bigger: 199 or j?
199
Suppose 5 = -7*z + 19. Suppose -z*u + 5*u = -138. Is u <= -46?
True
Let x be (1 + -2)/((-6)/30). Suppose -11*d = -x*d + 3*d. Which is greater: -1/13 or d?
d
Let h(r) = 21*r**3 + 4*r**2 - 2*r - 7. Let s be h(-2). Do s and -155 have the same value?
True
Let p = 33 - 50. Let l be p - (2 + (-12)/4). Which is smaller: -17 or l?
-17
Suppose 4*j = -20 + 104. Let d be (j*8/30)/(-23). Let i = -1/23 - d. Which is bigger: 0 or i?
i
Suppose -80 = 3*j + 127. Let z = -58 - j. Is z >= 43/4?
True
Suppose -4*i - 12 = -28. Suppose -i*c = 4 - 0. Let z = 0.7 + -0.62. Is c greater than z?
False
Suppose -25 = -5*l, v + 3*l = -l + 19. Let f = 4633/19 + -244. Is v at least as big as f?
False
Let h = -8 + 22. Suppose 4*u + 30 = -h. Let z be (-10)/(-8)*(u + 7). Which is greater: z or -4?
-4
Let i = -9830/7 + 1405. Does 1 = i?
False
Suppose -21 + 8 = -13*p. Let m be (-25)/25*(p - 9*-1). Is m at least -0.1?
False
Let g = 1 - 2. Let f = -7.94 - -0.34. Let q = -0.4 + f. Are g and q unequal?
True
Suppose 4*w - 3318 + 3310 = 0. Let m be ((-1)/(-10))/(2/16). Is w at least m?
True
Let o(k) = 5 + 11*k + 0*k**2 + 4 - 2*k + k**2. Let n be o(-8). Which is greater: -2/361 or n?
n
Suppose -5*j + 13 = -4*j. Suppose -5*a = 8 - j. Let k be 3/24*-6 + a. Which is smaller: k or -6?
-6
Let s be (1 - 3/2)*-4. Let t be (-25)/(-10)*12/s. Do t and 17 have the same value?
False
Let o be (-2)/(-8) - 40/(-352). Let g(y) = -74*y + 888. Let l be g(12). Which is smaller: l or o?
l
Let h = 4718 - 28189/6. Do 20 and h have different values?
True
Let j be 0 + 4 - 216188/(-378). Let y = -576 + j. Which is bigger: 1 or y?
1
Let s(d) = -2*d - 31. Let b be s(7). Let y = b - -42. Is -3 at most as big as y?
True
Let c = 942 + -120575/128. Which is smaller: c or 1?
c
Let i = -5/18 - -47/234. Which is bigger: i or 1/2?
1/2
Let q = 812/17 + -73079/1530. Is q != 1?
True
Let a = 17.1 - 12.4. Which is bigger: a or 0?
a
Let w be (-45)/5*(-8)/36. Let h be (-14)/(-65) + 2/5. Which is greater: h or w?
w
Let k(r) = 2*r**2 + 15*r + 7. Let j be k(-7). Let y = -7 + 3. Which is smaller: j or y?
y
Suppose 10 = -2*v, -10*v + 26 = -x - 15*v. Which is smaller: x or -8/15?
x
Suppose 42 = -9*f + 249. Let w = 7.2 - 1.2. Let v = 5 - w. Which is smaller: v or f?
v
Let v = -18 + 2. Let q = v - -7. Let f = q - -7. Which is smaller: f or 0.1?
f
Let t be (-11 - -12)/(2/(-4)) - -36. Let y = -35 + t. Is -2/217 greater than y?
True
Let z(t) = t - 3. Let k be z(0). Let s(h) = -h**3 - h**2 + 4*h - 5. Let v be s(k). Does 2 = v?
False
Let q be 20/(69160/(-4017)) - 4/14. Which is smaller: q or -1?
q
Let d(q) = -q**3 - 4*q**2 + 2*q - 5. Let y be d(-3). Let x be (4/(-6))/(y/(-15)). Which is greater: x or -9?
x
Let f(o) = o**2 - 40*o - 328. Let j be f(47). Which is bigger: -1/105 or j?
j
Let l(j) = j**3 - 3*j**2 - 3*j - 3. Let r be l(4). Which is smaller: 2/139 or r?
2/139
Suppose 5*t - 20 = 0, -2*h + 2*t + 12 = 3*t. Let p(k) = 0*k + k + h + 0*k - 8. Let q be p(3). Which is smaller: q or 1/3?
q
Suppose -i = -2*i - 4*s + 10, -3*i + 10 = 2*s. Suppose 2*h - 2 = -d - 5, -i*d = 2*h + 6. Is d at least as big as 3?
False
Let b = 205 + -182. Suppose 4*f + 24 = 5*f. Are f and b non-equal?
True
Let s = -99193 + 4363867/44. Let f = -5685/4 - -1407. Let p = f - s. Is 0 at least p?
True
Let b(z) = z**2 - 13*z + 17. Let d be b(12). Suppose 0 = 5*m - 2*r + d*r - 108, 5*m = -4*r + 109. Suppose c + 6 + 8 = 3*u, 5*u - m = 4*c. Is -4/9 > c?
False
Let n be (170/(-40))/(10/(-120)). Are n and -5 non-equal?
True
Let j(k) = -k**3 + 3*k**2 + 5*k - 4. Let b be j(4). Suppose -2*x - 18 = 2*x - m, b = -5*m - 10. Let u be (-4 - x) + -1*1. Is -4/9 at most u?
True
Let v(j) = -2*j**2 - 6*j - 6. Suppose -5*f - 5 = 6*u - u, f = -5*u + 3. Let s be v(f). Does -2 = s?
True
Let f(g) = 2*g - 14 + g + g - 3*g. Let p(q) = 4*q**2 + 5*q + 4. Let l be p(-2). Let w be f(l). Is -2 equal to w?
False
Let r(x) = x**3 - 2*x**2 + 3*x - 2. Let m be r(-3). Let h be ((-2)/(-8))/((-133)/m). Which is greater: h or 1?
1
Suppose -49 + 19 = 30*j. Which is bigger: 0 or j?
0
Suppose 0 = -3*g - 5 - 1. Let o be g/(-7) + 185/(-35). Let v be 16/(-20) + (-2)/o. Which is greater: v or 0?
0
Let s = 2/23679 - -12810329/118395. Does 107 = s?
False
Suppose p - 6 = 5*y - 18, 20 = 5*y - 5*p. Suppose 0 = 4*s - 2*j, y*s - j + 4 = 2*j. Which is smaller: 2 or s?
s
Let h = -0.14 + 0.19. Suppose 3*r - 357 = -4*r. Let i = -151/3 + r. Which is smaller: i or h?
h
Suppose 5*g = 4*y + 33 + 351, -2*y - 2 = 0. Let j be g/(-42)*1/(-2)*-6. Does j = -6?
False
Let d be 2 + 8/(-1 - 3). Are d and -0.9 nonequal?
True
Suppose 5*o = 3*o + 6. Suppose -5*d - 7 = o. Let m be (d + 5)/(27/(-18)). Is -5 >= m?
False
Let o be (-2)/(-62)*(-4)/(-8). Do 0 and o have the same value?
False
Let s = -2.41 + 0.01. Let g = s - -4. Let h = 1.7 - g. Which is smaller: h or 3/2?
h
Let d = 8.91 - 8.61. Is d less than or equal to 1?
True
Let y = -201 - -444. Is 1 bigger than y?
False
Let w(v) = 2*v**2 - 83*v - 18. Let y be w(39). Is y bigger than -212?
False
Let z be (-1)/(-4) - 6/40. Let n = 270 + -231.2. Let u = 39 - n. Which is smaller: z or u?
z
Let y be -6 + 394 + 8 + -7. Which is smaller: y or 388?
388
Suppose -l + 790 = 2*n, -2*l + 765 = -2*n - 809. Is l != 787?
True
Let h = -7 - -7. Suppose h = -g - 4*g - 20, -f - 5*g = 24. Let n(z) = z**3 + 4*z**2 - z - 3. Let o be n(f). Which is smaller: o or 0.5?
0.5
Let p(n) = -n**3 - 17*n**2 - 7*n + 13. Let l(a) = -a**3 - 16*a**2 - 8*a + 14. Let r(v) = -4*l(v) + 3*p(v). Let t be r(-12). Is t < -17/4?
True
Let f = -781 + 785.9. Which is bigger: f or 2/9?
f
Let g = 17 + -17. Suppose g = -5*b - 34 + 14. Let q be 1/b*1/4. Is q less than or equal to 1?
True
Let a(t) = 4 + 2*t + 0 - 1 + 1. Let p be a(-5). Let r be 22/(-20) + 7 + p. Is r less than or equal to -1?
False
Let c be (-14)/((-126)/27) + 240. Is 242 <= c?
True
Let g be (-3965)/295 + 11 + 2. Which is greater: g or 0?
0
Let y = 10 - 12. Let i be 10/35*(y - (-2)/(-4)). Is -2 equal to i?
False
Let s be (-653)/(-1155) - (-18)/(-30). Which is bigger: 1 or s?
1
Let w(y) = 39*y**2 - 23*y - 95. Let s be w(-4). Which is smaller: s or -1?
-1
Suppose -37*o - 6516 = -46*o. Which is greater: 725 or o?
725
Let h = -91 + 49. Let n be (-20)/(-70) + (-128)/h. Which is smaller: n or 4?
n
Suppose 13*w - 10*w = 123. Is w not equal to 41?
False
Let c(u) = -u + 8. Let m be c(12). Do m and -108/31 have the same value?
False
Let d(z) = -z + 2*z + 4*z. Let v be d(-2). Is v smaller than -10?
False
Let n be 7/(-2) + -1253*(-24)/8400. Let s = -1 + 1. Do n and s have different values?
True
Suppose 4*o - 33 = 2*o + 5*q, -5 = q. Let g be 36/126*7/o. Which is smaller: 12/11 or g?
g
Let q = 59996/229 + -262. Is q at least as big as -2?
True
Let h = 21 + -20.9. Which is smaller: 21 or h?
h
Suppose 12 = 3*k - 3*l, -k + 5*l = -4*k + 12. Suppose o = k*o - 6. Suppose -a = 4*x - 11, o*x = -3*a + a + 4. Which is smaller: a or -2?
