>= j?
False
Let z(n) = 5*n - 2. Let u be z(4). Suppose -24*m + 312 = -120. Is u >= m?
True
Let t = -6039 - -1866049/309. Is t < -1?
False
Let z be (-8358)/17934 + (-6)/(-21). Is -1 > z?
False
Let q = -898 - -991. Is 369/4 smaller than q?
True
Let z(u) = 2*u + 2. Let m be z(-2). Let p be ((-4)/184)/(((-1)/(-1))/4). Which is smaller: m or p?
m
Let l = -0.1 + -0.06. Let p = -0.19 + 1.03. Let i = l - p. Are i and -1/11 equal?
False
Let u = 32 + -27. Suppose -3*j - 7 - 5 = u*z, 8 = -4*z - 2*j. Which is greater: -3/10 or z?
z
Let z = 655 - 658. Which is smaller: z or -0.02?
z
Suppose -3*h + 43 + 17 = 0. Is h >= -3?
True
Let b = -206 - -160. Which is smaller: b or -47?
-47
Suppose -38 = -21*y + 19*y. Suppose 0 = 14*k - y*k. Is k at least -3/8?
True
Suppose 0 = -2*k - a - 101 + 7, k = -a - 47. Are -47 and k non-equal?
False
Let r = -13 - -26. Let q = -12.87 + r. Let y be (-2)/(-2 + (-15)/(-3)). Which is smaller: y or q?
y
Suppose 14 = 3*p - 1. Suppose 0 = -5*o + 2*d + 15, -4*o - p*d - 28 = -7*o. Suppose 0 = -2*j - o - 3. Which is smaller: -3 or j?
-3
Let f be ((-1)/(-138))/(61/(-793)). Is f less than -1?
False
Suppose 0 = 5*n - 10. Let a = 4 - n. Suppose i = -3*i - 12, 4*j + 10 = -a*i. Is j not equal to 0?
True
Suppose 0 = 10*c + 38 + 92. Let p(u) = 2*u + 48. Let o be p(c). Let r = 69 - 46. Which is bigger: o or r?
r
Let u = -1.96 + 0.96. Let y be -11 + -1 - (-18 + 17). Which is bigger: y or u?
u
Let k = -16 - -17. Which is greater: k or 2/1859?
k
Let h = 187 + -187.1. Which is greater: -324 or h?
h
Let y = 341/72 - 5/72. Let i be (388/(-6))/(28/(-2)). Let f = i - y. Which is smaller: f or 0?
f
Let l = 2 - 3. Let q = 0.258 - 0.008. Let w = q + -0.3. Is w at least l?
True
Let v = 1200 + -1199. Is v less than 36?
True
Let j be (0 - 0) + 18/(-2). Let k be ((-27)/(-12))/9 + 42/(-8). Let x be (9 + -1)/(0/k - 1). Which is smaller: x or j?
j
Let x(t) be the first derivative of -3*t**2/2 - t + 17. Suppose 4 = -n + 1. Let f be x(n). Which is smaller: f or 0.1?
0.1
Let r be (3090/(-20))/(-9*3/12). Which is smaller: 70 or r?
r
Let l be 0/((-2)/(-7) - 144/63). Suppose l = -3*p - 3*y + 42, -5*p - 2*y + 61 = 6. Which is smaller: p or 12?
p
Let p = 122.7 + -14.7. Which is smaller: 1 or p?
1
Let n be 12 + (8225/(-28))/25. Is -35 equal to n?
False
Let r = -1465 - -1463. Which is smaller: r or -0.188?
r
Suppose 18 = -2*j - j. Let l(p) = -2*p + 0*p + 210 - 227. Let w be l(-6). Which is greater: j or w?
w
Suppose b + 373*h = 369*h - 7, 0 = h + 2. Which is greater: b or -26/85?
b
Suppose 2*j = -2*b + 6, -5*j + 2*b + 5 = -3*b. Let p be j/((-18)/(-12)*-4). Which is greater: p or 0.061?
0.061
Let s be -1 + 1 + (-1)/25. Let o(p) = -p - 11. Let u be o(-12). Which is smaller: s or u?
s
Let z = 9.7 + -1.7. Let n = -29 + 37. Let i = z - n. Are i and -3/5 equal?
False
Let f(y) = -y**3 + 2*y**2 + 3*y + 4. Let v be (-79)/(-9) + 12/54. Suppose 0*g + 2*a = -3*g + v, 4*g - 4*a - 12 = 0. Let k be f(g). Is 5 at least k?
True
Suppose 5*w - 93 = w - 5*t, -w - 2*t + 24 = 0. Is 28 at least w?
True
Let z = -134209/492 - -1091/4. Which is smaller: z or 2?
z
Let t be 348/(-9)*(-24)/(-20)*1. Which is smaller: t or -46?
t
Let c(q) = q**3 + q**2 - 13*q + 2. Let s be c(3). Is s at most -3/1228?
True
Let i be 5 + 7/(28/(-32)). Let m(g) = g**2 + 2*g - 3. Let n be m(i). Let j be 4 + -4 - (-2)/(-66). Which is greater: n or j?
n
Suppose 64 = -o + 53. Which is bigger: -128/11 or o?
o
Let i = -2/1355 + 12299/70460. Let v be 919/(-4004) - 4/28. Let g = i - v. Which is bigger: 2 or g?
2
Let u = 1523 - 10695/7. Let g = -18 - -13. Is g at most as big as u?
True
Let y = -30.92 - -31. Which is greater: -1 or y?
y
Suppose -417 = -20*s + 21*s + 5*y, 0 = 4*s + 4*y + 1732. Which is smaller: s or -436?
s
Let h be (-117)/(-15) - (10 + -10). Which is smaller: h or 2/45?
2/45
Suppose 0 = -2*j - 2, 0*r + 3*j = -5*r - 468. Suppose 2*b + 181 = -v, 0 = -22*b + 26*b + v + 365. Is r less than b?
True
Suppose -4*a + 228 = 5*o, -6*a + 48 = o - 4*a. Let k be 1 - (8/o + (-94)/(-88)). Is k equal to 2/5?
False
Let v = 24 + 8. Let t = -31.9 + v. Let x be (-132)/63 - -1 - -1. Which is smaller: x or t?
x
Let d be (3*(-490)/15)/2. Let k = d + 32. Are k and -17 unequal?
False
Let z = -79 - -79.2. Let o = 1.3 - 2.3. Is o greater than z?
False
Suppose -b - q + 2*q = 0, 5*b = -q + 12. Suppose b*c + 32 = -2*c. Which is smaller: c or -7?
c
Suppose 5*n + b = 77, 12 + 1 = n - b. Suppose z - n = 4*k, 4*k = -5*z - 72 + 219. Let d be (-6)/z + 21/(-27). Which is smaller: 1.3 or d?
d
Let a = 6 + -4. Let k = a - 4. Let t = 0.1 - -0.3. Are t and k nonequal?
True
Let g be (-9)/(-15) - (-14)/10. Suppose -5*u = -4*p + 3*p - 1, 0 = -3*u + g*p + 2. Suppose u = -d + 1 - 0. Which is bigger: d or -2/5?
d
Suppose -12*v + 1874 + 1246 = 0. Is 259 less than v?
True
Let f be 2*(5 - (-205)/(-40)). Is -20/89 > f?
True
Let d be -1*(-35)/(-14)*42/(-5). Is 19 at least as big as d?
False
Suppose u = -2*s - 11, 5*s + 10 + 16 = -u. Suppose 6*n - 48 = -6*n. Suppose 2*h + 14 = h - n*d, 2*h + 5*d = -19. Is u < h?
False
Let o = 301956/7 + -42999. Let l = 138 - o. Is l smaller than -1?
False
Let m(q) = -7*q + 34. Let w be m(4). Let c = 3 + 4. Which is greater: w or c?
c
Let m be ((-17)/(-3))/(((-1316)/696)/(-47)). Is m at most as big as -2/3?
False
Let r be (-1 - 5)/(-3 + 1). Suppose m - r*m = -24. Let v be 10/m*15/(-350). Which is smaller: v or 1?
v
Let m(c) = -c. Let g(r) = r**2 - 13*r - 14. Let z be g(14). Let x be m(z). Which is greater: x or -6?
x
Let o(g) = -2*g**2 + g - 2. Let v be o(-3). Let m = v - -35. Suppose -2*k + 0 = -22. Which is bigger: k or m?
m
Suppose 0 = 5*g - 14 + 9. Suppose -3 + g = h. Let s = h - -12/5. Which is smaller: 0 or s?
0
Suppose -201 - 94 = -59*t. Which is smaller: 16 or t?
t
Let b(y) = 2*y**3 + 15*y**2 - 4*y + 15. Let v be b(-8). Which is greater: v or -19?
v
Suppose 2*o - 4*o - 22 = -x, -2*x - 5*o + 8 = 0. Let s = -9 + x. Suppose v + 1 = 0, 0 = s*j + 3*v - v + 2. Is j at most as big as 11?
True
Let x = 2 - -3. Let k = 54 + -49. Suppose x*q = -n - 15, -5*n + k*q = q - 12. Are -5/4 and n nonequal?
True
Let h(x) = x**3 - 2*x**2 + 3*x + 4. Let q be h(3). Suppose 2*j + 3*m - q = 0, -5*m + 5 = -5*j + 2*j. Let r be 1/(-5) + 36/j. Is 5 < r?
True
Suppose -5*w + 17 = -13. Let k = 92 - 85. Let f = k - w. Which is bigger: 2 or f?
2
Let g = 480 - 483. Let b = 9.9 + -0.9. Let z = g + b. Is 2/7 greater than z?
False
Suppose -5*x + 14 - 69 = -5*q, -x + 4*q - 11 = 0. Are x and 7 unequal?
True
Let v(g) = 2*g**2 + 2*g - 226. Let j be v(0). Which is smaller: j or 1/4?
j
Let v be 106/(-56) + 1/(-4). Let w = 898/3 - 300. Are v and w non-equal?
True
Let g = 4717 + -160379/34. Let b = 3 - 4. Is g smaller than b?
False
Let h = 350 - 361. Do -0.1 and h have the same value?
False
Let a = 27 + -26.84. Let p = 8.16 - a. Let s = 0 + p. Does -1 = s?
False
Let v be (-69)/(-414) + (-85)/582. Suppose 0 = 3*k - i + 3, 2*i - 3*i = k - 3. Which is smaller: k or v?
k
Suppose -5*t - 7 = 2*t. Let o = 673584 + -7403271/11. Let b = -559 + o. Which is bigger: b or t?
b
Let k = -15 + 12. Let q = k + 2. Let o be (-35)/(-21)*4/(-30). Is q at most as big as o?
True
Let x be ((-10)/(-15))/(68/(-16)). Are 0 and x nonequal?
True
Let q = -0.1 - 0.1. Let f = -1.26 + 0.06. Let y = q - f. Which is bigger: y or -1?
y
Suppose 0 = -2*n - 302 - 470. Let j be (42685/(-55) - -3)/2. Let g = j - n. Which is smaller: -1/3 or g?
g
Let m = -856 - -808. Is -49 smaller than m?
True
Let w = -212 - -202. Is -10 bigger than w?
False
Let j = 13 + -13.46. Let r = 0.23 + j. Which is greater: r or 0?
0
Let v be (12/21)/((-117)/(-63)). Do 1 and v have the same value?
False
Let r = -24.94 + -0.06. Which is bigger: 4 or r?
4
Let w = -185 + 211. Which is smaller: 30 or w?
w
Let t be ((-9)/15)/((-1)/5). Suppose 2*d - 23 = 4*j + j, -t*j = 3*d + 18. Let p be (-21)/14*4/3. Which is smaller: d or p?
p
Let k = -94/17 - -724/51. Let j = -136/15 + k. Let s(h) = -h + 5. Let p be s(6). Is j bigger than p?
True
Let x = 46/3003 + 11/182. Are x and 0 equal?
False
Let g = 12.0372 + -0.0372. Let v = -2 - -2.2. Which is greater: g or v?
g
Let l = 0.96 - 1.16. Which is greater: l or 18/7?
18/7
Let k = -4689/41 - -1564348/13653. Let q = 613 + -68042/111. Let c = k + q. Which is bigger: c or 3?
3
Suppose 13 = 5*b - 2*o, 5*b - 5*o 