 -4*o - g, -3*o = -3*g - 15. Suppose o*w - 112 = 2*w. Let c be (-72)/w + (-4)/(-14). Is 1/4 at most c?
False
Let u be ((202/3)/2)/((-12)/72). Is -202 not equal to u?
False
Let m = 494 - 2432/5. Suppose 4*n - 3*r + 9 - 42 = 0, -n = 2*r - 11. Which is bigger: m or n?
n
Let s = -1141 - -46785/41. Which is greater: -1 or s?
s
Let c = -215 + 214.1. Let g = 17 + -33/2. Which is smaller: g or c?
c
Let b = -5073/28 - -181. Let q = 131/420 + b. Let x = q - -16/105. Which is bigger: 2 or x?
2
Let i = -16 + 11. Suppose h = -4*u - 15, 0 = u - 4*h + 1 - 10. Let r be (u/45*-3)/(-1). Which is smaller: i or r?
i
Let o(h) = -9*h**2 + 10*h + 19. Let u be o(-2). Let c be (-3 + 9 + 1)*-5. Which is greater: u or c?
c
Let i be 1/1 + (-9 - -45). Suppose -2*o + 4*g = 5*g + i, -41 = o + 5*g. Which is smaller: o or -2?
o
Let p = 1406 + -1406. Let o = 317 - 549. Let w = o + 5569/24. Is w > p?
True
Let b = 251 + -251.6. Let j be 5/12 - (-20)/(-30). Which is smaller: j or b?
b
Suppose -4*f = 4*g - 40, -4*g - 4 = -4*f + g. Suppose 2*i + 2 = c - 0, -i = -2*c + 4. Which is smaller: c or f?
c
Let m be (7/(-14))/((-2)/64). Suppose 4*g - m = 3*g. Let l be (5 - 3)/(g/(-12)). Do -2 and l have different values?
True
Let c(y) = y**3 - y**2 - y - 1. Let s be c(0). Let r be s + (-9)/(-7) - 62/217. Which is smaller: -7/6 or r?
-7/6
Let f be (-100)/36 + (-10)/45. Let j = f - -21. Let n = 20 - j. Which is smaller: 0.08 or n?
0.08
Suppose -3*g + 15 = -4*l - l, -l = g + 3. Suppose g = -4*a + 3*a + 1. Let b = -1 - a. Is b less than -3?
False
Suppose 0 = -2*g + 3*s - 4*s + 10, -5*s = -g - 17. Suppose 3*p = -2*n - 10 + g, -3*p + 2*n + 13 = 0. Let i = -586 - -587. Is p less than or equal to i?
True
Suppose -2*n = 2*n - 20. Suppose -5*o + 95 = n*a, 23 = 2*o - 0*a - 3*a. Let l = -124 + 139. Is l bigger than o?
False
Let s = -108 + 73. Let k = 33 + s. Which is greater: 2 or k?
2
Let v be (-10)/(-3) - 4/6. Let s = -116 - -208. Let n = 96 - s. Which is smaller: n or v?
v
Let y = -2413/12 - -201. Which is smaller: y or 2/3?
y
Suppose 3*z + 3*r = -114, -9 - 25 = z - r. Which is greater: z or -34?
-34
Suppose 2*i = -i + 2*v + 241, 2*i - 163 = -v. Suppose -5*h + r = i, 2*h - r + 1 = -32. Let f be (-92)/6 + 2/(-3). Are h and f unequal?
False
Suppose 2*p = -8*p - 1910. Which is greater: p or -192?
p
Let j = 228.015 + -231. Let i = -0.015 + j. Which is greater: i or 10?
10
Suppose 3*b - 5 = 5*x, -2*b - b + 21 = 3*x. Suppose -x*m + 6 = m. Suppose -m*y = -y - 2. Is 12/7 at most as big as y?
True
Let c be 2/8 + 62/(-152). Suppose 0 = -t - 3*z - 22, 4*z - 72 = t - 99. Is c at least t?
True
Let o = 33 - 31. Suppose -o*t = -5*l + 46, 0*l + 3*l - 3*t - 24 = 0. Is l greater than 10?
False
Suppose -3*m = 5*c + 17, 21 = -5*c + 3*m - 2*m. Let h(i) be the third derivative of i**4/24 - 7*i**3/3 + 3*i**2. Let r be h(11). Which is greater: c or r?
r
Let y = 290 - 426. Let w be 1/4*-20 + -132. Is w != y?
True
Let z = -1.65 - -1.7. Let m = -0.28 + -0.02. Is m >= z?
False
Let g = 20 + -18. Suppose 3*i + g*r + 92 = 6*i, -40 = -i - 4*r. Which is smaller: 33 or i?
i
Let b = -443 - -421.1. Let g = -5 + -17. Let p = b - g. Is p greater than or equal to -1/7?
True
Let c be 99/364 + (-8)/16. Let h = c - 2/91. Let z be 3/(-15)*15/6. Which is bigger: z or h?
h
Let u = 27.7 - 1.7. Let p = 26.1 - u. Which is smaller: 18 or p?
p
Suppose -31 = y - 4*k, 0*k + 20 = 4*k. Suppose -34 = -4*u + 22. Let t = u - y. Are 25 and t unequal?
False
Let b = -262 - -260. Is b at least as big as 1?
False
Let a = -49.46 - -50. Let p = -0.44 + a. Which is bigger: p or -0.09?
p
Let t = -0.9241 - 0.0759. Let b = 26/9 - 512/171. Is t smaller than b?
True
Suppose -3*z + 17 = 4*q, 5*q + 3*z = 3 + 16. Suppose 4*d + 2*h - 66 = 0, -q*d = 3*d + 2*h - 83. Which is smaller: 18 or d?
d
Let l = -15.6 - 0.4. Let o = -0.047 - -17.047. Let u = l + o. Does 0.4 = u?
False
Let g = -148 - -165. Which is bigger: g or 25?
25
Suppose 12*s - 533 - 1171 = 0. Which is bigger: s or 285/2?
285/2
Let o = -582 + 570. Let y(j) = 3*j + 2*j**2 + 9*j**3 + 5*j**3 + 1 + 4*j - 5*j. Let h be y(-1). Which is smaller: o or h?
h
Let h be 1*(-3)/(-15)*150/552. Which is bigger: 0 or h?
h
Suppose 2*p - 13 - 13 = 0. Suppose f = 2*n, 7 = 5*f - p. Which is smaller: -2 or n?
-2
Let i be 12/3 + 1771/(-115). Which is smaller: i or -11?
i
Let p be (-133)/(-7)*(1 + -2). Let c = 15 + p. Which is greater: 3 or c?
3
Suppose -5*d + 34 = 3*g - 0, -2*g - 2*d + 16 = 0. Let b = -4 - -2. Let p be (0 - 6)*b/4. Is p <= g?
True
Let k(f) = f**2 - 3*f - 2. Let d be k(-2). Let s be (-10)/15 + (-28)/3. Let g be (-2 - s)/4 + 6. Is g smaller than d?
False
Let a(p) = -11 - 3*p + 12*p**2 - p**3 + 0*p**3 - 7. Let x be a(12). Is x > -54?
False
Let u(i) = 17*i + 60. Let c(r) = 6*r + 20. Let z(a) = 8*c(a) - 3*u(a). Let x be z(-16). Let f be 6/(-9) - x/30. Is f less than -3?
False
Let g = -2356 + 2353. Let h be ((-4)/10)/((-14)/(-130)). Which is greater: h or g?
g
Let n = 426 + -427. Is n >= 1/480?
False
Let f = 0.3 + -0.8. Suppose 496*j - 87*j - 4157 = 751. Which is greater: f or j?
j
Suppose 2*h = -5*d - 6, h + 0*h + 3 = 2*d. Let u = -14.2 - -17. Let j = u - 6.8. Which is greater: d or j?
d
Let h = -3.6 + 197.6. Are 1 and h nonequal?
True
Let h be (-15)/6*(-2)/(-10). Let z = 583 + -496. Which is greater: z or h?
z
Let j be -1*8/(-2)*-2. Let c be (-6)/j - 210/(-8). Is c equal to 27?
True
Suppose 0 = 86*f - 84*f + 4. Suppose 4*k = 1 + 15. Let n(q) = q**3 - 5*q**2 + 3*q + 2. Let t be n(k). Is t greater than or equal to f?
True
Suppose -r = -3*r + 12. Let v(w) = w**3 + 6*w**2 + w + 6. Let z be v(-6). Suppose z = r*b - 10*b. Which is smaller: 1/6 or b?
b
Let f be 3 + 0 + -7 + 14. Suppose 0 = -3*o, -4*t - 3*o = t + f. Do 1 and t have the same value?
False
Suppose -z + 3 = 4*v + 24, 0 = z + v + 27. Which is greater: z or -28?
-28
Let y be ((-4)/(-128))/(((-39)/(-6))/1). Which is bigger: y or 0?
y
Let h(v) = -v**2. Let g be h(4). Let c = g + -84. Let r be ((-5)/c)/(4/10). Are 1/3 and r non-equal?
True
Let w = 291 - 240. Which is bigger: 53 or w?
53
Let p = 10593/5 - 2119. Which is smaller: p or -0.0315?
p
Let p = 2.66 + 0.34. Which is greater: p or -8?
p
Let t be ((-5)/5)/(2/(-6)). Suppose -6 = t*c - 9*c. Let a be (-31)/(-24) - (-2)/(-3). Are a and c nonequal?
True
Let c(j) = -5*j - 1. Let n be c(2). Let o(z) = z + 44*z**3 + 38*z**3 - 2 - 92*z**3. Let v be o(1). Is n > v?
False
Let h = 0.028 - -0.372. Which is greater: -0.25 or h?
h
Let y be (-12 - -15) + (3 - 276/(-3)). Let t be (0 - -3)/(1/33). Which is bigger: y or t?
t
Let g = -51174/7 - -7310. Suppose 2*w - 10 = 6*c - 3*c, 5*c + 15 = 3*w. Which is smaller: c or g?
g
Let z(j) = 11*j - 15*j + 2 + 3*j. Let q be z(12). Is -10 at least q?
True
Suppose -93*n + 2640 = -87*n. Is n bigger than 441?
False
Suppose -3*s = -5*s + 5*m + 5, 4*s - m - 1 = 0. Suppose s = r - 5*o - 23, 5*r - 7 = r + 3*o. Let i be 1/r*(-6)/1. Which is bigger: 2 or i?
i
Let j = -63 - -63.42. Is -1/3 greater than or equal to j?
False
Let l(b) = b**3 + 30*b**2 + 3*b + 91. Let u be l(-30). Which is greater: u or 5/118?
u
Let m = -760.1 - -760. Is m at most as big as -5/223?
True
Suppose 4*a = -z - 323, z + 145 = -3*a - 98. Which is bigger: a or -81?
a
Let q = 55580 - 126555658/2277. Does -1 = q?
False
Let h = 0.8739 + 0.1261. Is h <= 5.4?
True
Let v(x) = -231*x - 231. Let i be v(-1). Which is bigger: 52/63 or i?
52/63
Suppose 292 = 49*h + 929. Is h != -10?
True
Let k be (1 + 30/(-4))/(14/(-140)). Let y be 3 + 1*(-240)/k. Is 2/3 > y?
True
Let o = -797 - -805. Which is bigger: -45 or o?
o
Let v = -195.956 + 196. Do v and 2 have the same value?
False
Let b be 0 + -2 + 21/9. Let k = 35 - 16. Let d = 17 - k. Which is smaller: b or d?
d
Suppose 0 = 244*r - 249*r + 5. Let f be 2/(-18)*(-5)/(-55). Which is smaller: f or r?
f
Let v(s) = -5*s + 107. Let h be v(2). Which is bigger: h or 96?
h
Let s = -44 - -44. Suppose s = 2*h - h + 1. Let c = 0 + -1. Is c bigger than h?
False
Let b be -1 - 1 - (-19 - 1). Is -9 greater than b?
False
Suppose 12 = 3*g - 0*g. Let r = 2 + g. Let z(y) = y**2 - 6*y. Let m be z(r). Which is greater: m or -2/21?
m
Suppose 0 = 5*f + 3*g - 26, 3*f + 6*g - 2*g = 31. Let j = 1396/6201 - 2/689. Are j and f nonequal?
True
Let g = -5 + 4.6. Let d = -0.268 + 15.168. Let i = -15 + d. Which is smaller: i or g