 - 45 = 60. Is i >= f?
False
Let h = -1669 + 53431/32. Let f = h - 1417/2016. Are 0.1 and f non-equal?
True
Let h be (0 + 2/6)/((-56)/168). Let o be (-4)/234*(7 - 4)/1. Do h and o have the same value?
False
Let k = 5843827/509 - 11481. Which is bigger: 1 or k?
1
Let f be -3 + (-3 - 1)*33/(-12). Suppose -f - 1 = -9*h. Let o(z) = -z**3 + 6*z**2 + 6*z + 5. Let x be o(7). Which is bigger: h or x?
h
Suppose n = -2*i - 0*n - 3, 3*i + 5*n + 15 = 0. Suppose 14*o - 11*o - 15 = i. Suppose 6*m - o*m = -8. Is m bigger than -8?
False
Suppose -3*f + 42 - 36 = 0, -5*p - 1060 = 5*f. Suppose -2*r = 2*q + 3*q + 433, r + 216 = -2*q. Is r at least as big as p?
True
Let b = 0.67 + 1.65. Let c = 2.31 - b. Let l be (-1 - (-1)/2)*0. Which is smaller: c or l?
c
Let n = -30.208 + 30.508. Is -1046 smaller than n?
True
Let w(a) = -3*a**2 + 14*a + 9. Let d(b) = -4*b**2 + 13*b + 9. Let v(c) = -5*d(c) + 6*w(c). Let u be v(-9). Are -4/87 and u nonequal?
True
Suppose -5*r = -3*i + 134, -2*i + 3*r + 25 = -64. Suppose i*t - 35*t = -8. Which is bigger: -2/19 or t?
-2/19
Suppose 3*o - 3*m = 123 + 210, -2*m - 10 = 0. Suppose 14*x + 287 = 16*x + 7*t, -t + 221 = 2*x. Is x at most o?
True
Let h = 27 - 13. Suppose -h*b - 711 = -5*b. Let j = b - -74. Do -7 and j have the same value?
False
Let i = -252 - -513. Suppose 8*w = 17*w + i. Which is greater: -2 or w?
-2
Let t = 2/3329 - -6028/1048635. Which is bigger: -1 or t?
t
Let j = 18021 + -18021. Is 13887 bigger than j?
True
Suppose -496 + 92 = -38*s + 318. Let c = 285 + -6553/23. Which is smaller: c or s?
c
Let a be ((72/111)/8)/(-59)*12/(-12). Is 1 greater than a?
True
Let y = -25.5 + -1.3. Let h = -26 - y. Are h and 8 equal?
False
Suppose -3*a + s - 431 = 0, 2*s + 568 = -4*a + 5*s. Let i = a + 147. Is i not equal to 4?
True
Let a = -33980 + 52295222/1539. Do a and 1 have the same value?
False
Let h = -99 + 138. Suppose -7*l = -h + 32. Which is bigger: 0.0214 or l?
l
Suppose -3*l + 16 = -2. Suppose -4*p - 2 = -l*p. Let a be -8*21/2800*(-10)/(-12). Is p != a?
True
Let v be (3 - -4)*-1 - (-381 - 49). Is v < 422?
False
Let k be (1 + 7 - 2) + -4 + -9. Let z be (3 - 3) + -3 - -1. Let l be z + -1 - (-7)/(-2). Which is bigger: l or k?
l
Let j = 236.27 - 239. Let k = 3.73 + j. Which is bigger: -40 or k?
k
Let i be 3/4 - 1/(4/(-5)). Let g be ((-276)/(-126))/i - 1. Which is bigger: g or -2?
g
Suppose -2 + 8 = 3*m. Suppose -2*u + m*v + 61 = -v, -2*v = 5*u - 143. Suppose -u = -3*o - 2*k, -o + 4*k = 4*o - 41. Which is smaller: o or 10?
o
Let x(f) = f**2 + 6*f + 1. Let h be x(-3). Let m = -14494 - -72423/5. Which is greater: m or h?
h
Suppose -229947 = -95*a + 39378. Which is smaller: 0 or a?
0
Suppose 13*a - 15 + 28 = 0. Let j be (a/6)/((-28)/(-588)). Let t(o) = -o**3 + 3*o - 1. Let m be t(2). Which is smaller: j or m?
j
Let a = 2.08 - -92.92. Let k = 59.527 + -7.527. Let r = k - a. Which is bigger: 0 or r?
0
Let j be (1/1)/(0 + 5/15). Suppose 2*t + 89 = j*i, 4 = i + 5. Let q = t - -61. Which is smaller: 17 or q?
q
Let c be (0/(11 - 23))/(-1). Is 8/21 at most c?
False
Let d(y) = -11*y - 156. Let k be d(-16). Let l be (0 + 0)*k/40. Which is smaller: 19/3 or l?
l
Let m(l) = -11*l + 153. Let n be m(-6). Which is bigger: n or 656/3?
n
Let t(p) = -21*p + 4957. Let r be t(32). Is 4286 < r?
False
Let g = -930.00951 - -0.00951. Is -4 at least as big as g?
True
Let f(p) = p**3 + 39*p**2 - 2*p - 79. Let i be f(-39). Let q be i + -4 + 0 - 1194/(-239). Is 0 at most q?
False
Let q = 274 + -272. Suppose -q*d + 19 - 119 = 0. Which is bigger: d or -49?
-49
Suppose 0 = -s - y + 22, 5*s + 52*y = 54*y + 110. Suppose -s*l = -11*l - 11. Is -2/731 equal to l?
False
Let d(k) = 2*k**2 + 5*k - 4. Let z = -35 + 31. Let l be d(z). Suppose l = 9*q - 13*q. Is -7/3 smaller than q?
True
Suppose 0 = -3*m + 3*q + 6, -4*m - 135*q + 131*q + 8 = 0. Are 971 and m unequal?
True
Let z(w) = -24*w + 1. Let o be z(0). Suppose -2*y - o = 3*y - d, 0 = 2*y - d - 2. Is -5/28 >= y?
True
Let n = 47 + 12. Suppose 10*g - 12 = 5*g - 4*b, -4*b + 12 = g. Suppose 5*q + o - 303 = g, o + o = -2*q + 126. Is n > q?
False
Let y be (1/(-2))/(2/(-28)). Let v be 705/75 - 126/45. Which is smaller: y or v?
v
Let f be (1/2)/((-1)/10). Let y be ((-17)/3 - f)*29. Which is bigger: -19 or y?
-19
Suppose 0 = -450*j - 8735 - 5215. Suppose 4*l - 29 = -337. Let b = l - -46. Is b greater than j?
False
Let q = -34.879 + -103.121. Do -2/13 and q have different values?
True
Let n = -79657 + 79670. Let o = -0.019 + 0.309. Which is bigger: o or n?
n
Let y be (-4)/22 - 15/(-55)*921. Suppose -y = -3*i - b, 0 = -0*i + 5*i - 2*b - 400. Let n = i + -46. Is n less than 36?
False
Let m = -5529 - -5189. Which is greater: m or -2721/8?
m
Let s(t) = -125*t - 875. Let d be s(-7). Let z be 3/(-6)*3*-2. Suppose 0 = -y + 2*k - 3, -z*y = -d*k - 4*k + 5. Is y < -5/12?
False
Suppose -7*s + 5*s - 8 = 0. Let y(r) = 2*r**2 + 7*r + 12. Let b be y(s). Suppose b*l = 4*l + 12. Which is bigger: l or 2/69?
l
Let f = -77 - -155.57. Let v = f - 79.4. Let c = 1 - 1. Is v bigger than c?
False
Suppose 36*s - 63635 - 30649 = 0. Which is smaller: s or 2618?
2618
Let t = 57 + -51. Suppose -3*j - 2*w + 5 + 1 = 0, -2*w = 2*j - t. Suppose j = 3*m + 25 - 4. Is m less than or equal to -10?
False
Let u be (-6)/15 + 1636/8840. Let d = 3/17 + u. Suppose 3*j = -5*n + 1, 6*j = 5*n + 11*j - 5. Does n = d?
False
Let u = 50.9 + -4.9. Let k = 69.2 - 21.6. Let p = k - u. Is 0 at least as big as p?
False
Let g = -2353 + 2367. Suppose -4*i + 5 + 55 = 0. Are i and g equal?
False
Suppose -5*k + 3*j - 13863 = 0, -4*k + 15*j - 16*j - 11087 = 0. Let q be (3/(-12)*2)/(147/k). Do q and 8 have the same value?
False
Let a = -1909/7 - -34889/119. Which is smaller: 20 or a?
20
Let o = -20993 + 20993.1. Do o and -2039 have the same value?
False
Let w be (255/(-63) + 24/6)/((-1960)/(-48)). Which is bigger: 1 or w?
1
Let d = 43386 - 43387. Is 180/709 greater than or equal to d?
True
Let y be (-154)/(-8) - (240 - 221). Let u = 40 + -59.5. Which is greater: u or y?
y
Let h be (54/20)/(6/64). Let r = h - 29. Let s = 3.41 - 3.51. Is s < r?
False
Suppose -4*f + 0 = -4. Suppose 14 + 22 = 6*w. Let o be (w/(-9))/((-316)/(-18)). Is o bigger than f?
False
Let z be 2 + ((-48)/(-4))/(-4). Let k be z*12/(12/(-3)). Which is greater: -3 or k?
k
Let r be 40 - (11 + 30) - 16/(-17). Suppose 0*u = -5*u + 10. Suppose -u*i = i. Which is smaller: r or i?
r
Let c = 18572/5 - 3769. Suppose -286 = 4*y + 5*x, -509*x + 514*x - 254 = 6*y. Is c less than or equal to y?
True
Let h be 6 + -1 - (3/(-3))/((-1)/746). Is -739 at least h?
True
Suppose -1835*f - 504 = -1839*f. Is f bigger than 0.5?
True
Suppose 0 = -12*g + 22 + 50. Let s(p) = p**3 - 7*p**2 + 3*p + 18. Let q be s(g). Which is smaller: -6/19 or q?
-6/19
Suppose -5*j - 136*h - 469 = -138*h, -4*j - 2*h = 368. Is -1026/11 at most as big as j?
True
Let o(x) = -x**2 + 5*x + 6. Let f be o(6). Suppose f = 2*k - 3*k + 4. Let l be (4/(-2) + 261/18)*k. Which is smaller: l or 51?
l
Let c(d) = d**2 + 4*d + 3. Let y be c(-5). Let t be (-2)/y - (-11)/(-44). Let g be -2*(2 + 3/(-2)). Which is greater: g or t?
t
Let m = 631/5461 - -6/127. Let r(b) = 3*b + 16. Let l be r(-5). Which is smaller: l or m?
m
Let b(u) be the second derivative of -u**4/12 - 7*u**3/2 + 5*u**2 + 23*u. Let r be b(-21). Let g be (-24 + -2)/((-5)/r). Is g equal to 53?
False
Let p = -0.3198 - -0.8198. Which is smaller: p or 352?
p
Let i be 70/(-6) + (-64)/(-96). Let y be (i/3)/(12 + (-1022)/84). Which is smaller: 25 or y?
y
Let k be (13 - 28)/(4/8). Let l be (-375)/12 + 1 - 3/(-12). Is l > k?
False
Let s = -282 + 2527/9. Suppose -9*o + 3 = -1 + 13. Is s bigger than o?
False
Let r(j) = 8*j - 42. Let c be r(6). Suppose -2*v = 4*a - c*a - 6, 5*v = 3*a + 7. Which is bigger: -2 or v?
v
Let f be (-10)/8*(-48)/240. Suppose -j + q = 2*j - 2, -4*j - 3*q = 6. Suppose 2*c - 5*n + j*n = -17, 3*c + 3*n = 6. Which is bigger: c or f?
f
Let u be 17/(13107/5430) + -7. Are -1 and u unequal?
True
Let g be (0 + 1)/(-6 - (-166683)/27797). Let b = g - -281. Does b = -1.6?
False
Let y = 19.843 + -0.043. Let x = 19 - y. Let w = 0.9 + x. Is -1/5 > w?
False
Let y = -39 + 271/7. Let x(s) = s**3 + 5. Let m be x(-2). Let a(l) = -11*l - 32. Let n be a(m). Are n and y non-equal?
True
Let a(p) = p**2 + 3*p - 14. Let x be a(-6). Let r