). Let i be (-2)/(-4) + n + 6. Is f != i?
True
Let p = 1655791/433 + -3824. Is 0 greater than p?
True
Let i(c) = -c**3 + c**2 + 11*c + 9. Let h be i(-6). Is h equal to -1?
False
Let u = 0.84 + 0.66. Is u > -2?
True
Let p(b) = 2*b**2. Let i(g) = -g**2. Let w(v) = -i(v) - p(v). Let u be w(-1). Which is smaller: u or 2/7?
u
Suppose -2*p = -1 - 3. Suppose -p*h - 20 = -0*h. Suppose 0 = 4*j + 5*l + 50, j + 0*l = -l - 12. Is j < h?
False
Let w be (-27)/(-99)*6/9. Which is smaller: w or -0.2?
-0.2
Let n be (-26)/110 - (-44)/(-110). Which is greater: n or -2?
n
Let n = 24.8 + -17.8. Are 8 and n equal?
False
Let m = 5663/9 + -629. Let i be 1*(3 + -2)*1. Is m greater than or equal to i?
False
Let f = 337/6 - 59641/1062. Which is smaller: f or -1?
-1
Let k = 333 - 7662/23. Is 1 less than k?
False
Let f = -16.1 - -0.1. Let i = f - -4. Let q = i - -7. Is q >= -1?
False
Let o = 7.2 - 4.2. Suppose 5*h = -l - 19, -3*l - 3*h = -2*h + 15. Is l not equal to o?
True
Let p be 1 + (-7643)/6808 + (-88)/(-704). Is 0 smaller than p?
True
Suppose -i + 16 = -4*x + 124, 3*i - 2*x + 374 = 0. Are i and -132 equal?
False
Let j be (-168)/(-280) + 1228/(-2030). Which is greater: j or 0?
0
Let g = -851/14 - 102307/42. Let o = g + 2448. Let f = -47 - o. Is f < 2?
True
Let n be 571/6 - (-1)/(-6). Which is smaller: 96 or n?
n
Suppose 122 = -7*y - 46. Which is greater: -169/7 or y?
y
Let b = 77 + -78. Let m be 39*b + (-8)/8. Is -39 at most m?
False
Suppose 1188 = -6*n - 5*n. Let y be n/80 + 1*(-2)/5. Which is smaller: y or -1?
y
Suppose -9*j + 36 = -3*j. Let l(n) = n**2 - 7*n + 5. Let t be l(j). Which is smaller: -2/7 or t?
t
Let o = -2.1 + -1.7. Let c = -32.5 + 28.6. Let a = o - c. Which is smaller: a or 10/11?
a
Let m = -10.8 + 6.9. Let b = 0.9 + m. Let o = 2.6 - -0.4. Which is smaller: o or b?
b
Let w be (-1)/(25/(-28779)) + -4. Let k = w + -1147. Is -1 less than k?
True
Let m = -22 + 22. Suppose -w - 3*w + 20 = m. Let g = -0.9 - -1. Which is bigger: w or g?
w
Let u be (-3)/4*(182/60 + -3). Which is smaller: u or -2/9?
-2/9
Let a = 650 - 649. Are a and -1.5 equal?
False
Let u(j) = -137*j**2 + 17*j + 31. Let v be u(-2). Are -554 and v equal?
False
Suppose -6*y = -311 - 865. Suppose y = -2*v + 34. Let u = v + 568/7. Is u > 1?
False
Let n(t) = -t**3 - t**2 + 5*t + 2. Let r be n(-4). Suppose -r = -2*k - 32. Which is smaller: k or -15/7?
-15/7
Let k = -935 + 934. Which is smaller: k or -58.1?
-58.1
Let o be 226044/924 + 8/22. Is o != 245?
False
Let l = 2 - -2. Let y be 1288/(-36) + l/(-18). Let a be 224/y - (-4)/18. Which is greater: a or -5?
-5
Suppose 14*g = 18*g - 140. Which is greater: -0.1 or g?
g
Let z(i) = -7*i - 78. Let b be z(-12). Which is greater: b or 37?
37
Let t = 45 + -105. Let f = t + 58. Is f at most as big as 0?
True
Let c = 7 + -7.8. Let t = c + 0.7. Let p = t - -0.03. Is p smaller than 1/3?
True
Let i = -79.96 + 81. Let p = i + -1.22. Is p less than -2/11?
False
Let t(o) = o**2 + 2*o - 1. Let v be t(1). Suppose -v*m - 36 = -0*m. Let i be (m/(-297))/(4/18). Which is smaller: -1 or i?
-1
Let i = 14.77 + 1.23. Which is bigger: 3 or i?
i
Let u = -90 - -174. Let g = 79 - u. Which is greater: g or 2?
2
Suppose 0 + 8 = 4*a. Suppose 3*f - a*h - 20 = 0, -3*f - 3*h - 34 = -8*f. Suppose -d = d + f. Which is smaller: -2 or d?
d
Let o = -69 + 20. Let z = 49 + o. Which is greater: z or 2/43?
2/43
Suppose 0 = -46*q + 42*q + 8. Let f be 4/(-18) + (-136)/(-126). Is f smaller than q?
True
Let k = -905 + 878. Which is smaller: k or 11?
k
Suppose 2*i = i - 20. Let g = -58/3 - i. Let r = -49 - -48. Is r at most g?
True
Let k = 33 - -116. Are k and 148 non-equal?
True
Let b = -55.973 + 56. Which is greater: b or 1?
1
Let o(j) = -j**2 - 6*j + 55. Let h be o(-11). Are -4/141 and h non-equal?
True
Suppose 0 = 3*c + 15, -5*h + 5*c + 4 = -8*h. Suppose -h = -3*z - 118. Is z at most -37?
True
Let j be 1 + 1/((-2)/8). Let i be ((-1)/(-2))/(-4 - (-723)/180). Let b be 55/i + (-2)/6 + -3. Which is bigger: b or j?
b
Let b be (-7 + 1)/(12/16). Let l = 13/6 + -263/30. Which is smaller: l or b?
b
Let z(t) = 5*t**2 + 107*t + 45. Let h be z(-21). Is 25/14 > h?
False
Suppose 5*m = -3*z - 5, -3*m + 15 = -5*z - 16. Do m and 60 have different values?
True
Let p(n) = 2*n**2 + 4*n + 6. Let i be p(-2). Suppose -3*h + 3*o - i - 6 = 0, 0 = -3*h - o + 8. Are h and -1/27 unequal?
True
Let d be 36/(63/7)*(-2)/20. Which is bigger: d or -45/4?
d
Let l be 1/(-2) - -61*4/8. Let y be 1/(-3)*l/(-20). Is y <= 18?
True
Let n(g) = g**3 - 9*g**2 + 7*g + 11. Let a be n(8). Suppose -3*o + 2 + 16 = a*t, -o = 2*t - 7. Let f be 779/741 - (t - 0). Which is smaller: -1 or f?
-1
Suppose l + 0*a - 8 = 3*a, 0 = -3*l + 2*a + 10. Let w = 1/113 - -1349/791. Which is bigger: w or l?
l
Let y(p) = 7 + p**2 - 2*p - 4 - 2. Let x = -2 - -3. Let o be y(x). Is -1/6 at most as big as o?
True
Let w be (-1690)/300*-2 + -9. Which is greater: 1 or w?
w
Let y = -2 + 2.1. Let j = 0.56 + -1.46. Let c = j - y. Is c < -8?
False
Let p be -1*0*4/(-28). Which is smaller: p or -7/55?
-7/55
Let k be 9*(-6)/(-9)*(-4)/(-8). Suppose -3 = -5*c + 3*h, -k*h = -2*c + 11 - 8. Do c and 3/53 have the same value?
False
Let g be -3 - ((-2510)/84)/1. Let w = 327/7 - g. Let t = -353/18 + w. Which is smaller: t or 1?
t
Suppose 345*a - 356*a + 473 = 0. Is a bigger than 30?
True
Let l = -0.0288 + -0.0712. Let c = -476 - -500.1. Let j = -23 + c. Is j less than or equal to l?
False
Let z be (4/12)/(3/(-18)). Suppose 3*n = -4*o - 44, 2*o + 59 = 5*n + 141. Let f be (-4)/n*0 - 2. Is f not equal to z?
False
Let f = -110677/20 - -5535. Let q = 2363749/751140 + -6080/1391. Let l = f + q. Do 0 and l have different values?
True
Let x = -177 + 176. Which is bigger: x or -3/32?
-3/32
Let v(y) = 20*y + 35. Let w be v(-3). Which is smaller: w or -17?
w
Let j be (3/(-162))/(1/(-4)). Let a = -1367 - -1366.91. Which is bigger: j or a?
j
Let m(j) = -3*j + 5. Let h be m(2). Let o(z) be the first derivative of -3*z**2 - z - 22. Let v be o(h). Is v != 6?
True
Let p = 1139 + -1166. Which is smaller: p or -17?
p
Let r be 4/22 + (-12990)/297. Let a = r - -44. Which is smaller: a or -2?
-2
Let g = 271/6 + -134/3. Do g and 5 have the same value?
False
Let b be -28 + 1 - (22 + -16 - 0). Which is smaller: b or -32?
b
Let l be (-32)/418 + 22/121. Let o be 1/(-3) + (110/15)/(-11). Which is bigger: o or l?
l
Let p(s) = 5*s + 4. Let t be p(-1). Let j(b) = -17*b - 2. Let d(r) = -8*r - 1. Let c(q) = -5*d(q) + 2*j(q). Let w be c(t). Which is smaller: w or -4?
w
Let w be (-17)/10 + 4 + -2. Let u = -85/923 + -976862/6461. Let b = -151 - u. Is b >= w?
False
Let u(t) = -3*t**2 + 4*t**2 + 14 + 6*t - 54. Let y be u(4). Which is smaller: 7/17 or y?
y
Let a = 2/799 + 481/127041. Does a = -1?
False
Let h(f) = -f**2 - 19*f - 13. Let l(x) = -x**2 + x + 12. Let c be l(6). Let a be h(c). Which is greater: 7 or a?
7
Let i be (-4)/20*120/24. Which is greater: 2/3643 or i?
2/3643
Let r be -4 + 1 - (5 + -6). Let a = 1574 + -1549. Is a greater than r?
True
Let i(j) = -2*j**2 - j + 4. Let t be i(-3). Suppose 2 = s + 4*k - 3, -s + 2*k = 13. Is t < s?
True
Suppose 0 = m + 5*v - 855, 17 = -4*v + 1. Let t be 2 - (-5)/(m/(-330)). Are -1 and t equal?
False
Suppose t + 5*g = 26, 0*g + 5*g = -4*t + 29. Do 2/2529 and t have different values?
True
Suppose 0 = -3*a - 2 + 5. Let s = 13 - 25/2. Is a smaller than s?
False
Let a = -3.7 - 1.3. Let p = -0.1 - 0.9. Which is bigger: a or p?
p
Let g = 130 + -121. Suppose 4*z - 2*b - 14 = 0, -9*z + 6*z + g = -b. Is 3 bigger than z?
True
Suppose -u = 3*g + 9, u = 2*u - 5*g - 7. Let m be (-2*6/4)/(u/(-2)). Is m < 11?
True
Let v = -242.459 + 242.4. Which is smaller: -4/7 or v?
-4/7
Let w = -91 + 95. Let k be ((-3)/(-2))/((-22)/w - -6). Do 0.06 and k have different values?
True
Let y = -67 + 66.97. Let a = 5 + -11. Which is smaller: y or a?
a
Let r be 8 - ((12 - 7) + -35). Is 1 != r?
True
Suppose 3*i + d = 2*i - 23, -4*i + 3*d - 85 = 0. Which is smaller: -16 or i?
i
Suppose 2*b - 54 = 3*r - 9, -5*r = b + 75. Let t be (24/r)/((-8)/(-20)). Is -5 not equal to t?
True
Suppose 0 = -h - 7. Suppose -4*o = -5*b + 49, -b + 0*b + 5*o = -14. Suppose -b*a = -11*a - 16. Which is smaller: a or h?
a
Let s be 3 - (-2 - 8/(-4)). Suppose -s*a = -4*c + 18, a - 3*c = -0*c - 11. Let b = 8/5 + a. Are b and 0.06 nonequal