t p be c(3). Is 2 > p?
True
Let j(c) = -7*c**2 + 3*c + 0*c**3 + 4 + 2*c**2 + c**3. Let u be j(4). Let g = -79/4 + 21. Are g and u non-equal?
True
Let d be (-22)/(-33)*1/(-47)*3. Suppose y + 2*y + 27 = 0. Let r be (4 - y/(-3))/1. Which is smaller: d or r?
d
Suppose -3*f = f + 48. Suppose 5*x + 16 = b, 14*b - 18*b - 3*x - 74 = 0. Is f smaller than b?
False
Let m(v) = -v**3 + 14*v**2 + 16*v - 16. Let p be m(15). Let c be 4*(-15)/2*p/6. Let x = 19 + -13. Is x != c?
True
Let q be (-9)/4 - -2 - 15/36. Is -0.14 less than q?
False
Let h(t) = t + 18. Let x be h(-14). Suppose x*l = 3*l - 3. Let q be -11 + (1 - -5) + l. Which is greater: -7 or q?
-7
Let u = 22477/23 + -977. Let v = u + -76/115. Let m(x) = -x - 3. Let p be m(-4). Is v <= p?
True
Suppose 0 = -b - 2, -5*s + 5*b - 5 = -0*s. Let v be 5 + s - 3 - -63. Let k = v + -117/2. Which is smaller: k or 5?
k
Let l = 1.96 + -1.96. Which is greater: l or -2/5?
l
Suppose -20 = -4*u - y + 3*y, 2*u + y = 18. Let o be -2*2*u/4. Which is bigger: -6 or o?
-6
Let m = -3876 - -27074/7. Let q = -60/7 - m. Is -1 at most as big as q?
True
Let j = 0.77 + -1. Let x = -0.004 + -0.326. Let h = x - j. Is h equal to -2?
False
Let o = 30 - 6. Let f be (3/4)/(9/o). Suppose -j - 3*j = -n + 7, -f*n = j + 4. Is n not equal to -4?
True
Suppose 2*a = -0*a + 4. Suppose 0*g = 2*g - a*h - 6, -3*g = -2*h - 6. Suppose g = -4*o - 3 + 7. Are 2/3 and o non-equal?
True
Let r be (-583)/(-265) - 1499/(-5). Is 1 > r?
False
Let j be ((-34)/6 - -6)/((-1)/(-21)). Let b = -17/5 + 277/30. Is j at most b?
False
Suppose 11*w - 16*w - 200 = 0. Does w = -40?
True
Let l(b) = b**3 - 6*b**2 + 5*b + 7. Let y be l(3). Which is bigger: -9 or y?
y
Let z = 21998 + -44001/2. Let w(b) = b**3 + 4*b**2 + b + 4. Let j be w(-4). Is j greater than z?
True
Let g = 7 - 5. Suppose -g*j = j. Is -1/7 not equal to j?
True
Let f be ((-96)/20)/((-20)/50). Is -5 less than f?
True
Let v be 3*(-3)/81 - 10/18. Is -2/19 at least v?
True
Suppose -i + 3 = -2*m, 0 = 4*i - 2*m + m - 5. Suppose -4*r + 1 = i. Is -4/3 less than r?
True
Let j be (-33)/90 - (-2)/12. Is 89 bigger than j?
True
Let n(q) = q**2 + 6*q + 7. Let w be n(-5). Suppose -w*v - 2 = -0*v. Is -7/5 greater than or equal to v?
False
Let w be (-333)/144*4 + 9. Is w equal to -85/4?
False
Let p = 162 + -1375/9. Let j = p - 28/3. Is j at least as big as 1?
False
Let j(y) = y**2 + 2*y - 10. Let x be j(-5). Suppose f + x = 2*p, f - 5 = -3*p - 0*f. Which is bigger: 9/5 or p?
p
Suppose 0 = r + 4*s + 4, 5*s - 1 + 3 = -2*r. Suppose -5*g + 6 = -5*j - 9, -5*g = 4*j + 12. Are g and r unequal?
True
Let r be 3/(-2)*12/9. Let h = -1 - r. Let c be ((-7)/217)/(-1*h). Is c at least as big as -1?
True
Let r = 0.335 - 0.055. Let n = -0.48 + r. Are n and 3/5 non-equal?
True
Let k(l) = 4 - 2*l - l**2 - l + 5*l. Let m be k(3). Let n be (-11 + 448/40)/((-8)/(-10)). Does n = m?
False
Suppose -y + 3*c - 5 = 3, 4*y - 13 = -3*c. Which is greater: y or 46?
46
Let h be 3 - (9 + 6/(-3)). Let j be ((-2)/3)/(80/36 - 2). Which is bigger: j or h?
j
Suppose 4*v = -42*p + 47*p + 8, 5*v = -3*p + 10. Let k(a) = a**3 - 7*a**2 + 2*a + 8. Let t be k(6). Which is greater: p or t?
p
Let k be (-4)/8 + (-14)/4 + 1029/294. Let z = -0.286 - -0.016. Let l = z + -2.63. Which is smaller: l or k?
l
Suppose r + 5*n + 31 = 2*r, -5*r - 4*n + 68 = 0. Let q = -3 + r. Suppose -1 - q = -2*k. Do k and 6 have the same value?
False
Suppose 87 = 5*n + 4*l, 4*n - 54 = n - 3*l. Suppose 0 = 5*a + n, -a = -5*w + 3. Is w < 0?
False
Let j = 11 - -15. Let w(s) = s**3 - s**2 - 2. Let p be w(3). Let i = j - p. Are 11 and i non-equal?
True
Let u = -161 + 260. Let p = -98 + u. Which is smaller: -1/9 or p?
-1/9
Suppose 25 = 3*b - 89. Let j be 8 + -7 - b/(-14). Which is greater: j or 5?
5
Suppose -w - 51 = y, 3*y + 18*w = 16*w - 151. Let g = -110 + 63. Which is greater: g or y?
g
Let z be (130/(-4))/(31 - 30). Which is bigger: z or -34?
z
Let r(j) = -3*j**2 + 69*j - 51. Let b be r(22). Which is smaller: 108/7 or b?
b
Let j = 92.4 + -93.8. Are j and 0 equal?
False
Suppose -2*t = -7*t + 490. Suppose j - t = -5*c, 2*j + 2*j = c - 28. Are 18 and c non-equal?
True
Suppose q + w = -4*w + 8, 0 = -2*w. Let a be -10*(-2)/q*2. Suppose -8 - 9 = -2*k + a*m, 2*m = k - 7. Which is smaller: -1/17 or k?
-1/17
Let y be 3 - 6/(18/105). Which is smaller: y or -30?
y
Let a = -26778/2453 + -120/223. Are a and -10 equal?
False
Let f = 158/55 - 18/5. Suppose 5*r - 3*c = -5, -r = -3*r - 2*c - 2. Which is bigger: r or f?
f
Let f = 81 - 148. Let a = 103 + f. Is a smaller than 36?
False
Let m = 0.0307 - 0.0307. Is -387 < m?
True
Let k = -26/277 - -5879/12465. Is 1 at most k?
False
Let b be 929/5502 - (170/(-60))/(-17). Which is smaller: b or 1?
b
Let d(l) = -2*l - 16. Let m be d(-8). Suppose 0 = -m*a + 3*a + 9. Are a and -3 unequal?
False
Let x be 1*(0 + (1 - 0)). Suppose 4*n - m + 1 = 5, -3*m = -n + x. Which is smaller: 2/31 or n?
2/31
Let n(l) = l + 25. Let r be n(-14). Let k(h) = -h**3 + 10*h**2 + 16*h - 13. Let z be k(r). Let a be 15/z + 4/(-14). Do a and -1 have different values?
True
Let f = -2 + 3. Let s be 0 - -1 - 104048/(-2205). Let m = -337/7 + s. Is m > f?
False
Let u = 98 + -101. Let h = -23 + 34. Which is smaller: h or u?
u
Let v(b) = 5*b + 70. Let y be v(-12). Let n be 112/4 - (14 - y). Let l(m) = -m**3 + 5*m**2 + m + 3. Let r be l(4). Which is greater: n or r?
n
Let c = 42.9187 + 0.0813. Which is smaller: c or -1.3?
-1.3
Let l be 4 - (6 - 4)*1. Suppose 4 + l = x. Let g be -1*(-14)/(x/3). Is 15/2 >= g?
True
Suppose -31 = n - 2*f + 38, 8 = -4*f. Suppose 442 = -11*u + 5*u + j, 3*u - j = -223. Do n and u have the same value?
True
Let u be (-3)/(-4 + 3 + 0). Let b(p) = -3*p**2 + 2*p + 1. Let z be b(2). Let s = 11 + z. Which is greater: s or u?
s
Let v(c) = -c**3 - 119. Let a be v(0). Let n = -101 - a. Which is smaller: n or 15?
15
Suppose 0 = -24*c + 163 + 29. Do c and -1 have the same value?
False
Suppose 2*n - 2 = 0, -r - 2*n + 2 = -5. Suppose -5*h = -3*b - 2, r*b = -0*b - 3*h + 8. Which is bigger: -10 or b?
b
Let y = -3/185 + -6281/555. Are 11 and y equal?
False
Suppose -3286 - 17990 = 12*j. Which is smaller: j or -0.1?
j
Suppose -6*o + 8*o - 16 = 0. Let i be 4/(-10) - (-44)/10. Suppose i*z = 4 - o. Which is bigger: -4 or z?
z
Let u be -1 - 4370/1455 - -4. Let i = -26/1843 + u. Which is greater: 0 or i?
0
Let w be (-35 - -25)/(2/19). Are w and -95 unequal?
False
Let j(z) = -z**2 + 29*z - 28. Let a be j(28). Suppose 5*y - 6*k + 3*k + 295 = a, -k - 51 = y. Which is bigger: -57 or y?
y
Let g = -2340 - -16377/7. Let d = -0.8 - -1. Which is smaller: g or d?
g
Suppose -3*b - l = -6, 6*b - 7*b + 2 = -l. Let s be 77/(-310) - b/(-10). Let k = -35/558 + s. Is k at least -1?
True
Let r = 442259/252 + -1755. Let m = 4783/1260 - r. Which is greater: m or 3?
m
Let u = -36/11 - -155/44. Which is greater: u or -7.4?
u
Let c(s) = -2*s**2 + 27*s + 11. Let u be c(19). Is -200 equal to u?
False
Suppose -5*r + 5*t = -400, -5*r - 17 = 3*t - 441. Which is smaller: 84 or r?
r
Let b = 2/3 + -7/6. Let f be ((-1463)/(-21))/(-11) - -7. Which is smaller: f or b?
b
Let w = -6 + -1. Let a be w + (1 - 4/4). Which is greater: -5 or a?
-5
Let y(r) = -r**3 - 4*r**2 - r - 2. Let i be y(-4). Let h(k) = -4*k + k - 1 + 5*k - k**2. Let w be h(i). Is -9 < w?
True
Let h = 14042/39 + -360. Which is greater: h or -1?
h
Let n = -2.9 + 4.2. Let h = -8026 + 8022. Is h smaller than n?
True
Let a = -13.5 + 11.9. Which is greater: -4 or a?
a
Let t = 2220 - 2245.14. Let y = 25 + t. Which is bigger: y or -1/2?
y
Suppose 76 = -2*m + 2*c, -3*c + 17 = 3*m + 119. Let l = 67 - 103. Is l equal to m?
True
Let u = -849.7 + 849. Which is smaller: u or 31?
u
Suppose 0 = z - 9 - 11. Let y = z + -13. Let k be (-16)/56 - 54/y. Is -9 at least as big as k?
False
Let l(z) = 2*z**2 + 18*z + 13. Let g be l(-8). Which is greater: g or 24?
24
Let g be 1 + (-17772)/(-116)*(-6)/918. Which is greater: g or 1?
1
Let y = 90 + -3864/43. Which is greater: 0 or y?
y
Let v = -3346 - -3368.01. Let g = -26.8 - -4.8. Let s = v + g. Which is smaller: s or 2/7?
s
Let p = 0.092 + -0.08. Let y = p - -27.988. Let f = y - 29. Which is smaller: 20 or f?
f
Let j = -1355 + 1441.1. Let c = j + -86. Is 0.99 > c?
True
Suppose -6*v = -7*v - 320. Let s = -6718/21 - v. Which is smaller: 2 or s?
s
Su