 != b?
True
Let c be 1/((-3)/(-15)) - -2655. Let f be 8/(-6) + c/(-21). Is f smaller than -128?
False
Let o = 1.53 + -2.1. Let g = 0.47 + o. Which is greater: g or -0.5?
g
Let p = 171 - 170.994. Is -2 at least p?
False
Let m = 2.122 + 0.878. Which is greater: 4/45 or m?
m
Let a = -38 - -113/3. Let d = -344/299 - -30/23. Which is smaller: d or a?
a
Let d(s) be the first derivative of s**4/4 + 11*s**3/3 - s**2/2 - 9*s - 1. Let y be d(-11). Let t be y/(-9) + (-5)/99. Which is smaller: 0 or t?
t
Let i = 91 - 210. Let o be (-41)/i - (-2)/(-7). Let v = -4089 - -4090. Is v equal to o?
False
Let j = 620 + -859. Is -238 at most as big as j?
False
Let j = 296 + -298. Let q = 2 - 4. Is q less than j?
False
Let m(l) = -l**3 - 3*l**2 - l - 6. Let j be m(-3). Which is smaller: 65 or j?
j
Suppose 2*l - 3*l + 5 = 0. Is l <= 1?
False
Let i = 318 + -466. Is 0.2 at most as big as i?
False
Let k = -6 - -6. Let l = -10717/27 + 397. Let h = l - 143/108. Which is smaller: h or k?
h
Let m = -90263/16644 + 9/1387. Let t = m - -229/60. Is -3 bigger than t?
False
Suppose 25 = 7*z - 3. Are z and -8 unequal?
True
Let t = -101 - -61. Let b be ((-574)/t)/(8/(-20)). Let p = -36 - b. Does 0 = p?
False
Let d = 0.5816 + -15.5816. Let t be ((-4)/(-10))/(14/(-10)). Which is smaller: t or d?
d
Suppose 0*v = -4*v - 12. Let m be ((-4)/(-6))/(8*30/(-1368)). Which is smaller: m or v?
m
Let k = -337/91 + 11/13. Let s be (36/(-16))/((-15)/(-20)). Is s smaller than k?
True
Let j = -2 + 2. Suppose 0 = -q + 2*o - 3, 0 = o - 0*o - 4. Suppose 10*k - q*k = j. Which is bigger: -2/55 or k?
k
Suppose -2*o + 0*o + 30 = 0. Suppose -2*u = 2*v - 40, -2*v + 0*u + 2*u + 20 = 0. Is o <= v?
True
Suppose 4*w - 3*b + 90 = 0, -w - w - 2*b = 38. Let d = w + 21. Which is smaller: -1/26 or d?
-1/26
Suppose -k - 3*o = 5 - 2, 0 = 4*k + 3*o + 21. Suppose 3*c + c + 5*s - 266 = 0, 2*s + 211 = 3*c. Let v = c + -73. Which is greater: k or v?
v
Let s(w) = -2*w**2 + 2*w**2 - w**3 + 4 + w - 5. Let x be s(1). Let a be x + (-6)/((-96)/20). Does a = -4/3?
False
Let l = 2 - 13/7. Suppose -3*d = -2*u - 8, 2*u + 6 = d + d. Let b = 0 - d. Are l and b non-equal?
True
Let c be 0 - (-5)/(5/(-9)). Suppose -69 + 96 = -3*z. Does c = z?
True
Let c be 205/40 + 2/(-16). Suppose -x = 2*x - 4*q - 91, 3*q + 137 = c*x. Which is smaller: x or 26?
x
Suppose 2 = -0*o + o. Suppose -3*l + g = o*l + 25, -g + 5 = -l. Let y be (0 - -3) + (3 - (3 + 1)). Is y equal to l?
False
Let r = 1.99 - 87.99. Which is bigger: r or -2/11?
-2/11
Let k be -6 + (-136)/10*670/(-1541). Is -0.09 less than or equal to k?
True
Let z = 2306045/256 + -9008. Which is smaller: 0 or z?
z
Let z = 30 - 32. Which is smaller: 181 or z?
z
Let i = 91 + -147. Let w = 274/5 + i. Do -1 and w have different values?
True
Let y be (-144)/360 - (-3178)/8020. Are 1 and y equal?
False
Suppose v = 4*s - 10, -5*v + s + 1 = -2*s. Suppose 3*h + 5*l = -59, v*l = -6 - 2. Suppose -8*b = -9*b + 4*p - 4, 52 = -4*b - 2*p. Is h bigger than b?
False
Let s(n) = -20*n - 14. Let g be s(-6). Do g and 2 have the same value?
False
Let p = 18 + -13. Let q = p - 4. Let s = 183/2 - 91. Is q bigger than s?
True
Suppose 0 = h - 0 + 8. Let p be h/(9 - 1)*1*-1. Are 2/27 and p equal?
False
Suppose 3*d - 27 = -0*d. Let t = d - 10. Let z be (-8)/(-36) - (-4)/(-6). Is t at least z?
False
Let w be (-6 - (-3 + -1))*2342/8344. Let x = 3010 - 896977/298. Let i = w - x. Which is smaller: i or -1?
-1
Suppose -5*w + k + 9 + 1 = 0, 0 = w + k + 4. Which is bigger: 1/126 or w?
w
Suppose -3*p + 7 = -2*a, a + 4*p - 20 - 4 = 0. Let w(x) = x**2 - 4*x + 1. Let m be w(a). Which is smaller: m or 28?
m
Let p be (1775/30)/5 + (-1 - 5). Is p smaller than 5?
False
Let p = 23 - 23. Suppose -1 = n - p*n, -3*z - 2*n - 11 = 0. Let a be z + (0 - (-35)/12). Which is bigger: 0 or a?
0
Let s = -31 - -15. Let f = s - -21. Let c be 2/(-2)*f/40. Is c > 0?
False
Let x(f) = -f**3 + 20*f**2 - 20*f + 24. Let k be x(19). Let o be (-8)/(-20) - 267/k. Is -53 > o?
False
Let r = 25 + -84. Let w = 39 + r. Is w != 2/3?
True
Let g be (1 - (-2)/(-1)) + (3 - 11). Let r be (2/(-6))/(-8 - g). Which is smaller: 1 or r?
r
Let g = 39 - 44. Let o be g + 85/15 + (-40)/6. Suppose 2*a - 6 + 16 = 0. Which is greater: o or a?
a
Let p(j) = 5*j**2 + 22*j - 14. Let v be p(-5). Which is smaller: v or 3/71?
3/71
Suppose -6*n + 1120 - 16 = 0. Suppose -2*c - 3*x = n, -11*c = -7*c + x + 388. Is -99 not equal to c?
True
Let x = 135 - 223. Let w = 117 + -204. Which is greater: w or x?
w
Let u = 0.3 - -0.7. Let w = 97 + -62. Suppose 6*c + w = -c. Are u and c nonequal?
True
Suppose -28*q = -26*q + 16. Is q smaller than -13?
False
Suppose 61*u - 49 = 12*u. Which is bigger: -4/57 or u?
u
Let b = -38545164/1661 + 23206. Does 0 = b?
False
Suppose -8*j + 5 = -4*j - t, -2*j - 3*t = 15. Let v be 42/(-60) - (j - 1). Suppose -b + 2 = b. Is b <= v?
False
Let h(z) = -31*z - 449. Let t be h(-14). Let m be (26/4)/((-1)/2). Which is greater: m or t?
m
Let n = 19 + -16. Suppose 4*u + 4 = 0, 2*j + 12 = n*j - 2*u. Let z(r) = -r**2 - 7*r. Let q be z(-5). Is j less than q?
False
Let j = 7.71 - 0.21. Which is greater: 4 or j?
j
Let q = -7.3 + -5.6. Let y = q + 13. Let t be (-16)/(-7) + (1 - 3). Which is greater: y or t?
t
Let i = -1466157 + 42512606/29. Let t = i + 205. Let j(w) = w**2 + 11*w + 18. Let l be j(-9). Is l at least t?
True
Let a be (3/2)/(15/(-140)). Suppose 2*h + 3*h + 135 = 0. Let m be (-9)/h + (-40)/3. Is a at least m?
False
Let l = 267.21 - 269. Let f = l + 1.8. Which is bigger: -3 or f?
f
Suppose -4*s + 6 = 46. Is -9 at least as big as s?
True
Let b = -88 + 87. Let m be 3*4/(-152)*2. Which is smaller: m or b?
b
Suppose 0 = d + 3 - 4. Suppose -t + 6 = d. Let i = 15 + -9. Which is smaller: i or t?
t
Let l be 1/((-6)/(-66)*-1). Let g be l/6*8/(-22). Which is bigger: -5/4 or g?
g
Suppose -2*l + a = -375, -l + 0*l + 192 = 4*a. Is 188 greater than l?
False
Let g = 669 - 18065/27. Which is smaller: g or -2/17?
-2/17
Suppose 3*v = 6*v - 3*t - 18, 4*t = 2*v - 10. Suppose -4*y = -23 + v. Suppose -2*b + y = -6*b. Is -2 at most as big as b?
True
Let u = 29 - 23. Suppose -u = -5*t + 6*t. Suppose 2*d - 4*g = -9*g - 3, -2*d - 3*g = 5. Is t less than or equal to d?
True
Suppose -x = 4*x. Let f be 81/(-30) + (1 - -1). Is f less than x?
True
Let r = -4927588/11 - -448694. Let y = r - 732. Is 0 less than y?
False
Let b be 0*((-2)/(-4) - 0). Suppose -3*w = -4*h + 23, b = w + 8 - 3. Suppose -420 = -108*g + 12. Are g and h equal?
False
Let m be ((-24)/10)/((-76)/665). Which is smaller: 24 or m?
m
Let p = -925 + 959. Which is greater: 25 or p?
p
Let d(p) = 4*p - 1. Let z be d(1). Suppose -58 + 70 = 4*u. Is u greater than or equal to z?
True
Suppose -4 = -g - 5*h, -3*g + 46 = -0*h - 2*h. Which is smaller: -1.6 or g?
-1.6
Let r = 542 + 14. Let b = 3866/7 - r. Is b at most -5?
False
Let a be -4 + (10 - 0) + -1. Which is smaller: a or 38?
a
Suppose -2*x + 27 = -b, -40 - 24 = -5*x - b. Suppose -5*y - w = -0*y - x, 2*y - 10 = -2*w. Is -12 at least y?
False
Let a be (-31)/((-1240)/6864) - 8/(-20). Does a = 174?
False
Let g(r) be the third derivative of -r**4/4 - 2*r**3 + r**2. Let n be g(-4). Is n equal to 12?
True
Let t = 234 + 199. Is t <= 432?
False
Let g be (-41)/(-3) + (-13)/(-39). Let i be (-4)/14 + g/49. Let j(y) = y + 3. Let v be j(-3). Does i = v?
True
Let d(t) = t**3 - 12*t**2 + 9*t + 22. Let w be d(11). Suppose -1 = -0*y + y. Let g = y - w. Do 2/31 and g have the same value?
False
Suppose 0 = 2*b + 8, 3*f = b + 4 + 3. Let o = 149/90 - 21/10. Is o >= f?
False
Suppose -348 = 2*b + 264. Let c be (-882)/b - (-2 + (3 - -2)). Let f = -0.2 + 0.1. Which is smaller: f or c?
c
Let m = 23 - 21. Suppose -4*t + 5*t - 3*h = -52, m*h = -2*t - 112. Let d be (2/45)/(77/t). Is d less than or equal to 0?
True
Let l(d) = 12*d**2 - 7*d**2 - 6*d**2 + 8 + 2*d - d. Let y be l(0). Is y > 7?
True
Suppose -3815 = 20*w - 20035. Is w != 810?
True
Let q = -401.169 + 401. Are 1/2 and q equal?
False
Suppose 3*o - 12 = -o. Let z be ((72/15)/4)/(1/5). Let a be 4/z + 130/39. Is o at most a?
True
Let z be (-1)/(-2)*(5 - 7). Which is smaller: z or -16/55?
z
Let l be (-2)/(-7) + 550/35. Let x(h) = 3*h - 7. Let y be x(7). Suppose 16 = 2*r - y. Which is greater: r or l?
l
Let a = 157 - 229. Does -72 = a?
True
Suppose -3*k + 17 = -49. Let 