+ 2*f - 850, 5*b - 3*f = 3*b + 359. Are 173 and b equal?
False
Suppose 4 + 2 = -3*i. Let s = -4 + -2. Let n be (9/27)/(2/s). Is n greater than i?
True
Let h be (10/4)/(7/(-644)) + 4. Which is smaller: h or -225?
h
Let q = 6.54 + -1.54. Is q less than 10?
True
Let r(y) = -2*y**2 - 2. Let h be r(-4). Is h greater than or equal to -104/3?
True
Let i be 20*((-32)/(-20))/(-4). Suppose 3 = -g, 3*p + g = -p + 9. Let f = -6 - p. Which is bigger: i or f?
i
Let h = 72.2 - 53. Do h and -1 have the same value?
False
Let h = -6 - -3. Let b be ((-6)/4)/(129/(-172)). Let n be (h/b)/(9/(-6)). Which is bigger: n or 2/97?
n
Suppose 3*z = 12*z + 288. Let h = z + 19. Which is greater: h or -15?
h
Let q(p) = -p**3 - 2*p**2 + 5*p - 11. Let r be q(-4). Which is greater: -2/61 or r?
r
Let d = -110.22 - 1.78. Let n = -44 - d. Which is smaller: n or -1?
-1
Let w be (-10)/(-4) + 9 + 296/(-32). Is 2 >= w?
False
Suppose 0 = 92*y - 82*y - 10. Which is smaller: -1/24 or y?
-1/24
Suppose 4*j = l - 7 + 2, -2*l = 5*j - 10. Let c be 34/10 - (-22)/(-55). Is l > c?
True
Suppose -5*u + 24 = i - 2*i, 3*i + 4 = -2*u. Let d be (u/96)/((-9)/12). Which is smaller: d or 0?
d
Let m(i) = i - 1. Let b(z) = -z**2 - 8*z + 13. Let w be b(-10). Let x be -3*(w/(-3) - 3). Let c be m(x). Which is bigger: 4 or c?
4
Let j = -32/29 + 189/145. Which is greater: j or 12.7?
12.7
Let x be 110/143 + (-4 - -3). Is x not equal to -26?
True
Let a = 47 + -49. Let d be (-34)/28 + 2/(28/7). Is a <= d?
True
Let x = 15 + -12.1. Let d = x - 3. Let m = -0.01 + 0.21. Which is greater: m or d?
m
Let o be (-14)/(-77) + (-1421)/11. Let f be (-4)/4 + 4 - o. Let g be f/(-30) + 4/10. Do g and -3 have the same value?
False
Suppose 18*m - 13*m = -k + 690, 5*k = -25. Which is smaller: 416/3 or m?
416/3
Let y be 6/2 - ((-1149)/381)/(-1). Which is smaller: y or 0?
y
Let b = 860.44 + -859. Which is smaller: b or -1?
-1
Let g(r) = -2*r**2 - 7*r - 1. Let n be g(-3). Let b be (1/(2/(-16)))/n. Which is smaller: b or -3?
b
Suppose 3*u - 2*u = 8*u. Suppose -5*z - d = -u*d - 4, -2*d + 8 = z. Is z at least -2/53?
True
Suppose 6*g - 3*y = 3*g + 372, g - 120 = 5*y. Which is smaller: -5 or g?
-5
Let r = -0.112 - 0.109. Which is greater: 2/3 or r?
2/3
Let m be (3/(-5))/((-104)/(-1105)). Is -6 at least as big as m?
True
Let w = 323 - 329. Let t = 409 + -1244/3. Is t at least as big as w?
True
Let h = 0.1483 - 0.1047. Do h and 1 have the same value?
False
Let a = -25 - -17. Suppose -2*w - 6 = 3*d, -5*w - 3*d = -0 + 6. Suppose 4*c + 4*m = -40, w = -3*c + 5*m - 3 - 3. Do c and a have the same value?
False
Let o = 0.3 - 0.4. Let r = -0.38 - -0.07. Let p = 0.19 - r. Is p less than or equal to o?
False
Suppose -8280 = d + 19*d. Which is smaller: -413 or d?
d
Suppose 3*d = 6*d. Suppose 0 = -4*k - 0*k - 32. Let h be (-21)/(-90) + k/20. Which is greater: h or d?
d
Let t = 110 + 53. Let a = 43401688/29 + -1496447. Let k = a - t. Which is bigger: k or 2?
2
Suppose -6*j + 8*j + 2*z = -10, -2*z - 10 = -j. Do j and -105 have the same value?
False
Let g = -155 + 163. Let o = -40 - -49. Is o less than g?
False
Let x = 26 - 21. Let g = 24 - 21.4. Let o = -1.6 + g. Does o = x?
False
Let n = 9456 + -38021/4. Let w = n + 49. Let i be 2/10 + (-48)/15 - -3. Is i at most as big as w?
False
Let a be 7/(3*(-5)/(-75)). Suppose -4*n + 3*n + 36 = 0. Which is smaller: a or n?
a
Let j = 0.16 + 25.84. Let c = j + -26. Is 12 smaller than c?
False
Let j be 1 - (8 + -2 - 5). Let g be ((8/(-18))/(-4))/1. Is g at most j?
False
Let m = 0.2 + -0.2. Let s = 0.2 - m. Let o = 1/27 + -10/27. Do o and s have different values?
True
Let r = -44.986 - 0.014. Let n = -27 - r. Let s = -18 + n. Which is greater: s or 0.1?
0.1
Let l = -0.1 - -0.14. Let u = 0.24381 + -0.28381. Which is smaller: u or l?
u
Let r be (-19800)/(-96) - (1 - (-9)/(-12)). Which is bigger: 1023/5 or r?
r
Let s(g) = -2*g**2 - 15*g - 25. Let m be s(-4). Which is smaller: 0 or m?
0
Let c = -63 - -569/9. Let o = -8.55 - -0.55. Is o >= c?
False
Let h = 178 - 190.3. Let c = 13 + h. Is -0.2 != c?
True
Let n be (-3)/(-9) - 76/57. Which is smaller: 5/76 or n?
n
Let y be 3/(-5*6/4). Suppose 72 = -77*g - 5. Do g and y have the same value?
False
Let k be ((-60)/14)/(119/(-98)). Let l = k - 789/238. Which is bigger: -1 or l?
l
Let p be 45/(-2) - 2/4. Suppose 2*l = -41*l + 1849. Let t = l + p. Is 19 at most as big as t?
True
Suppose -4*j = -65 + 41. Suppose 0 = -4*p + 18 + j. Which is bigger: p or -0.1?
p
Let y(t) = 50*t**2 - 5*t + 4. Let o be y(1). Let f = o + -60. Is -43/4 at most as big as f?
False
Let v be -4 + (-1 - -3*(-29)/(-18)). Let z(k) = k**3 + 4*k**2 - 4*k + 6. Suppose -6*f = -f + 25. Let y be z(f). Does y = v?
False
Suppose -i = -5*f + 14, i - f - 18 = -4*f. Suppose 3*y + w = i, 21 = 2*y - 2*w - 3*w. Which is smaller: 8/3 or y?
8/3
Let b = 0.38 + 17.62. Let a = -26 + b. Let c = a + 12. Is 1 at least c?
False
Let p = 62.1 - 59. Let w = -5.1 + p. Which is smaller: 1/2 or w?
w
Let w = -5.9 - -4.6. Is w <= -2?
False
Let f = -40 - -26. Let u be 2/f + 4/28. Suppose 6*y - 4*y - 12 = u. Is 6 >= y?
True
Let l = 20710/20909 - 18/721. Is l at most as big as 1?
True
Let c = 88965/71 + -1253. Which is smaller: -1 or c?
-1
Let y be 0 + -3 + 1 + -1. Let d = y + 31. Suppose -2*l = -10, -l - 3*l = -4*p - d. Is p smaller than -3?
False
Let w = 21/41 - -589/451. Let o(s) = 3*s**2 + 56*s - 16. Let l be o(-19). Which is smaller: l or w?
w
Let x = -140 - -41. Let t = -72 - x. Which is greater: 2 or t?
t
Let q = 41 + -29. Let d be ((-10)/2370)/((-2)/q). Which is bigger: d or -1?
d
Let b = 34/7 - 537/112. Is b bigger than 0?
True
Suppose 17*g = 22*g. Which is greater: 5 or g?
5
Let p(i) = i**3 - 6*i**2 - 2*i + 1. Let a be p(6). Suppose 2*h + 0*h + 29 = 3*d, -5*h + 10 = 0. Let c = a + d. Which is bigger: 10/9 or c?
10/9
Suppose 0 = b + 1212 - 1202. Which is smaller: -2 or b?
b
Suppose 3*o - 5 = -4*q - 33, 2*q = o + 16. Let p be o/18 + -59*(-2)/6. Is 21 greater than p?
True
Let u(l) be the second derivative of -l**4/4 - 2*l**3/3 + 7*l**2/2 - 3*l. Let i be u(-4). Which is smaller: i or -24?
i
Let t = 4895625/743 - 6589. Are 0.1 and t nonequal?
True
Let f(t) = 4*t - 123. Let l be f(-3). Which is smaller: l or -134?
l
Let c be 2/5 + 29/(-60). Let z(w) = 3*w - 17. Let g be z(7). Let l(p) = p**2 - 5*p + 3. Let a be l(g). Is c != a?
True
Suppose 4*j - 2*f = -6*f - 8, -j - 3*f = 10. Let g(v) = v**3 - 12*v**2 + 7. Let d be ((-24)/(-5))/(28/70). Let z be g(d). Is z at least as big as j?
True
Let g be (3/(-6))/((-25)/38550). Do 771 and g have the same value?
True
Let m be ((-3)/(-9))/(-1)*-6. Suppose n - m = -4, 4*f + 3*n + 538 = 0. Let a = 1469/11 + f. Which is smaller: 1 or a?
a
Suppose 2*d + 2*d - 12 = 0. Suppose 0 + 6 = d*m. Let f be (m/(-2))/(-1)*0. Which is smaller: -1/3 or f?
-1/3
Let u = -1055 - -1056. Which is bigger: u or 963?
963
Let d be ((-10)/(-110))/((-5)/(-55)). Which is bigger: 5/23 or d?
d
Suppose 805 = -5*p - 3*r, -4*r - 178 = -2*p + 3*p. Is p != -155?
True
Suppose -4*q = q. Suppose q = 8*g + 14 + 10. Which is smaller: g or 3?
g
Suppose 0 = -3*w - 0*w + 12. Let k = 14 + w. Suppose -3*j = -0*j - k. Is 7 < j?
False
Let f(v) = -v**3 - 6*v**2 - 4*v - 6. Let p be f(-6). Let c be (-4)/p*33/(-22). Which is greater: 0 or c?
c
Let k(h) = -h**2 + h. Let v = 33 - 32. Let y be k(v). Suppose 2*q - 3 - 11 = y. Which is greater: -2 or q?
q
Let w = -3543/77 - -46. Let u = 1439 + -1438.9. Which is bigger: w or u?
u
Let m be (-2)/(-4)*1*(-57 - -57). Is m < -15/26?
False
Let i be 60/(-3 + 1) - 0. Let r = -51 - i. Let t be (6/(-49))/(12/r). Which is smaller: t or -1?
-1
Let j be (-4 - (-2)/1*2) + 1. Which is greater: j or -1/496?
j
Let f be (1 + 0)/(9/117). Which is bigger: f or 20?
20
Suppose -6*c + 54*c - 1152 = 0. Do 4 and c have the same value?
False
Suppose -3*a - 8 - 1 = 0. Let m be 1/2 - a/6. Is -2/7 equal to m?
False
Let l(t) be the third derivative of t**5/60 - 5*t**4/12 - 5*t**3/3 + 6*t**2. Let d be l(11). Let w(g) = g + 4. Let u be w(-2). Is u greater than d?
True
Let z = -51 - -51. Suppose -t + 5*x + 15 = z, t - 5*t + 15 = -5*x. Let b be (-5)/(-52) - (-2)/(-8). Which is greater: b or t?
t
Suppose 49 = 5*a + 3*n - n, -2*a + 13 = 3*n. Which is smaller: 15 or a?
a
Suppose -2656 - 12320 = -48*f. Which is smaller: f or 311?
311
Let r be 3/(