 - -18690. Which is greater: q or 0?
0
Suppose 3*t - 2*x + 4 = 0, 0*t + x - 2 = t. Let h be (-3)/(-12) + (-671)/488. Which is greater: t or h?
t
Let t be (-109)/85 + 6/(-51). Which is greater: -2 or t?
t
Suppose 32 = -y - 4*b, -2*y - 3*b = 3*y + 75. Let m = -20 - -10. Let p be 2/(-5) + 116/m. Are p and y nonequal?
False
Let r be 40/24 + -2 + 1. Which is bigger: -28/3 or r?
r
Let w be 72/32*3648/(-9). Which is smaller: w or -914?
-914
Let z = 20 - 13. Suppose 0 = -2*i + z*i - 20. Suppose 0*s = -i*s. Is -10 at most s?
True
Let h = 67 + -30. Let p = 37.03 - h. Which is greater: p or -0.4?
p
Let k be (-3)/2 - (-1807)/(-26). Is k <= -71?
True
Suppose 0 = 3*z, 4*d + 2*z = z + 60. Let u = d + -10. Suppose 0 = -5*q + u, 4*q + q = 5*t. Is t less than or equal to 1?
True
Let m(h) = 2*h + 5. Let q be m(-1). Suppose 2*u + 94 = -2*u + 2*a, -2*a = q*u + 67. Suppose 2*p + 1 + 43 = 0. Which is greater: p or u?
p
Let a(r) = -r**3 - r**2 + 3*r - 2. Let l = 19 + -17. Suppose -l*i - 6 = -0*i. Let u be a(i). Is 1 greater than or equal to u?
False
Let r = 833 - 833.7. Is 6 at least as big as r?
True
Let f be (-3)/(-36)*(-4)/5. Suppose -d - 2*d - 8 = k, -d - 5 = -2*k. Do k and f have different values?
True
Let r be (-3)/(-18) - 39/(-180). Let l = -367/1140 + r. Let w = l - 1/6. Is -1 greater than w?
False
Let w = 51.08 - 51. Let h = -72.92 - w. Which is greater: -2/7 or h?
-2/7
Let a = -1.01 - -1.11. Which is greater: a or 2/741?
a
Suppose -10*f - 18048 = -58*f. Which is greater: 377 or f?
377
Let m = -20 - -45. Let b = 13 - 9. Suppose 4*q + 4*w = 112, -b*w - 18 = -5*q + 104. Is q >= m?
True
Let h(i) = -i**2 - 13*i - 25. Let p be h(-10). Suppose 6*z - p = 7. Is 3/2 greater than z?
False
Let j be -18 + (-32734)/39 - (-1)/3. Is j < -858?
False
Let g = -2.95 + 2.8. Let p = -0.2 - g. Let n = -0.35 - p. Does -6/7 = n?
False
Let c(j) = -3*j**2 - 11*j**2 + 6*j**2 + 0*j**2. Let x be c(-1). Let u = -3 - x. Is 6 at most as big as u?
False
Let g(b) = b**3 + 3*b**2 + 9*b + 13. Let h be g(-2). Is -0.23 at least as big as h?
True
Let y be ((-57884)/406)/(9/(-7)). Which is bigger: y or 112?
112
Let x = 104261/27 + -3862. Are -1 and x unequal?
True
Let q(o) = o**2 + 3*o + 1. Let g be q(-2). Let z be (12/190)/(14/(-35)). Which is smaller: g or z?
g
Let b = 733/5734 + -1/5734. Let u = -5856 + 5857. Is u not equal to b?
True
Let q be (-130)/4 - 6/(-4). Let x = q - -33. Let z be (x/4)/(5/(-190)). Is -19 >= z?
True
Let o be (-246)/(-9) - (5 + 117/(-27)). Which is bigger: 26 or o?
o
Let v be ((-7)/(-3))/(1/9). Suppose -v*y = -16*y - 25. Suppose -34 = -2*b + 6*b - 3*l, -b - y*l + 3 = 0. Is -5 at most b?
False
Let x = 0.058 + 56.942. Which is bigger: -0.2 or x?
x
Suppose 5 = 5*v, -3*v - 1 = -11*r + 12*r. Which is greater: -5 or r?
r
Let k be (-34)/(-85) + 156/(-15). Let s = -52 - -31. Let a be 182/s + (-1)/(-6). Which is smaller: k or a?
k
Let h = -2 + 6. Let p = h - 0. Let b = 30.19 - 27.19. Which is greater: p or b?
p
Let k(r) = 14*r + 8. Let t(i) = -13*i - 8. Let v(z) = -3*k(z) - 4*t(z). Let j be v(-2). Is -12 greater than j?
False
Let v(l) = -l + 3. Let z be v(4). Let s be z/((-1)/(-2)) - (-24)/6. Which is smaller: 5/2 or s?
s
Let z = 349 - 349. Which is smaller: -13/20 or z?
-13/20
Let n(a) = 5*a**2 - 2*a + 2. Let d be n(2). Let i = 33 - d. Let b be (-2)/(-6) + (-20)/i. Are 0.2 and b nonequal?
True
Let g = -107.937 + 108. Let x = g + -0.363. Which is smaller: x or 2/3?
x
Let u = 37527/11 + -3417. Which is smaller: 0.2 or u?
u
Let a be (9 + -195)*(-20)/6. Let l = 2541/4 - a. Is 15 >= l?
False
Let l be -7 - 35864/800 - (-6)/8. Let h = 51 + l. Which is smaller: h or -1?
-1
Let x = -58 + 48. Let l be (-14)/(-18)*(-13 + 1). Which is bigger: x or l?
l
Let y(q) = -12*q**3 + 1 + 13*q**3 + q - 4*q**2 + 2*q. Let v be y(3). Which is smaller: 2 or v?
v
Suppose -g + 0 = -b + 2, -4*b + 8 = 3*g. Let a = 13 + b. Let r = a - 7. Which is bigger: 9 or r?
9
Suppose 20 = -4*p, 4*p = 3*a - 65 + 24. Let k(u) = u**2 + 19*u + 27. Let v be k(-18). Does a = v?
False
Let c be (-15)/2 + 4/(-8). Let o = c - -15. Let w be 7/42*(o + -1). Do w and -0.8 have different values?
True
Let y = -22.6424 + -0.2576. Is y != -6?
True
Let l = -31.924 + 32. Let z = 0.376 - l. Do z and 0.12 have the same value?
False
Let t = -0.8252 + 0.0252. Do t and -4 have the same value?
False
Suppose 5*d = -3*q + 7*d - 21, -35 = 5*q - 5*d. Let l(o) = o**3 + 7*o**2 + o + 9. Let y be l(q). Which is greater: 0.01 or y?
y
Suppose 0 = 2*q + j - 13, -5*q - 3*j = -q - 31. Let a be (q/6)/(-5*(-3)/(-30)). Is -1 less than or equal to a?
False
Let s = 3 - 4. Suppose h - 17 = -3*g - 0*g, -35 = -5*h - 5*g. Suppose -14 = -l + h*l - 3*i, -5*i + 16 = 2*l. Is l less than or equal to s?
True
Suppose 0 = n + 1, -2*u + 21*n - 38 = 23*n. Is -53/3 greater than or equal to u?
True
Let w = 302/399 + -12/133. Which is bigger: w or -144?
w
Let m = -4/305 + -789/305. Suppose -2*k - 27*c - 8 = -25*c, -5 = 3*k - 4*c. Which is greater: m or k?
m
Let h be (-21480)/195 + (-4)/(-26). Which is smaller: h or -109?
h
Suppose 0 = 2*b + 4*k + 74, 0 = 4*b + 4*k - k + 128. Let j = b - -48. Is 19 <= j?
True
Let z(c) = -16*c**2 + 30*c + 98. Let a be z(-3). Which is smaller: a or -139?
-139
Let a = -1026166071 + 56444785676/55. Let s = -102756 + a. Let j = s + -16/5. Does j = 0?
False
Let f = 72.29 - 72. Let p = f + -0.19. Which is bigger: -12 or p?
p
Let x be 14 + -8 + -7 + 9/5. Which is smaller: -19 or x?
-19
Let z = -2 + 3. Suppose -7*h - 8*h = -1755. Suppose u = -115 + h. Which is smaller: z or u?
z
Suppose 10*d - 1 = 5*d - f, 5*d + 5 = 5*f. Which is greater: -2/57 or d?
d
Let r = -3595 + 82709/23. Suppose -g + 7 = -2*m, 3*g + g + 5*m + 11 = 0. Which is greater: r or g?
r
Suppose v + 104 = 5*v. Let h(i) = 15*i**2 - 5*i + 6. Let d be h(3). Suppose 8*l - s - d = 3*l, -2*l + 72 = 5*s. Is l != v?
False
Suppose 18*m = 26*m + 64. Let g be (-1488)/44 - m/(-44). Is g != -35?
True
Suppose 36*f = 33*f - 9. Suppose 0 = 5*v + 3*j + 11, -2*v - j - 4 + 0 = 0. Is f < v?
True
Let q = -32.87 - -0.17. Let s = -33 - q. Is s smaller than -1/8?
True
Let x = -1887 - -1915. Is x at most as big as 0.17?
False
Let a be (-8)/2 + 4 + -3. Suppose 0 = 5*f - 4*v - 1 + 14, 0 = 4*f + 2*v. Which is smaller: a or f?
a
Let r = 0.9 - -8.1. Let z = r + -7. Is -12 equal to z?
False
Let l = -67 + 59. Let d = -9 - -10. Let h be (2 + 0)*(-6 + d). Which is greater: l or h?
l
Let x = -1.2 - -0.2. Let g be (-81)/135*(-10 + 0). Suppose 0 = g*v - 1 - 5. Is x at least v?
False
Let p = 4.7 - 4.5. Which is greater: p or -2/9?
p
Let l = -568.5 - -508. Are l and 2 non-equal?
True
Let l be -37 + 40 + (-233)/77. Which is bigger: 0 or l?
0
Suppose 34*j = 36*j. Let n(u) = -u**2 - 1. Let d be n(j). Is d greater than or equal to -12?
True
Suppose -1291 - 1724 = 45*v. Which is smaller: -69 or v?
-69
Let s = -12 + 4. Let k = 12.52 + 0.68. Let d = k - 13.5. Is d less than or equal to s?
False
Let a = -0.0529 - 4.9071. Is -1 equal to a?
False
Let y = -19 - -18. Let g(f) = -21*f. Let h be g(-1). Let p be 1 - (-3 - (-90)/h). Which is bigger: y or p?
p
Let a(b) = b**3 - 9*b**2 - 9*b + 2. Let m be a(10). Suppose -2*i + m*i = 60. Suppose 0*o = -2*o + 10. Is o at least i?
False
Let j = -253 + 1013/4. Is j greater than or equal to -1/3?
True
Let y(q) = 5*q + 52. Let x be y(-7). Let u(i) = i**3 - 5*i**2 + 4*i - 4. Let f be u(5). Is f at most x?
True
Let f = -6730 + 5713772/849. Is 0 at least as big as f?
False
Let t(f) = -3*f**2 + 20*f - 36. Let i(q) = -q**2 + q - 1. Let u(x) = -2*i(x) + t(x). Let o be u(16). Are -30/11 and o non-equal?
True
Suppose o - 3*j + 16 = 0, 7 = 4*j - 5. Let p be (3 - o)*2*1. Is 19 less than p?
True
Let p be (-2)/(-8) + (-9)/68. Let a(y) = -y**2 + 5*y + 5. Let s be a(5). Suppose s*g - 4 - 1 = 0. Is g at least as big as p?
True
Suppose 8726 + 3594 = -35*j. Is j at most as big as -352?
True
Let n be 119/(-51)*(-6)/28. Is n > 18?
False
Let a = 265 - 281. Is -18 > a?
False
Let d(n) = n - 9. Let f be d(4). Let w(g) = -g**2 + 8*g + 4. Suppose -23 = -3*z + 4. Let r be w(z). Are r and f unequal?
False
Let j be 1/2 + (-250)/(-4). Let r = 36 - j. Let o = r - -38. Which is smaller: 4 or o?
4
Suppose 3*i - 2*q = -73, -120 = 4*i - q + 4*q. Is -179/7 equal to i?
False
Let f be (1 - 2) + (0 - -1). Suppose h = -f*h. Let b = 11 + -12