-f - m, 4*f = 5*m. Suppose -2*b = -f*y + 3*b + 10, y = 2*b + 1. Suppose -2*r - y*r - 15 = 0. Are -2 and r non-equal?
True
Let y be 66/(-72) + 3/9*2. Let n = -1.7 - -1.9. Which is greater: y or n?
n
Let q = -2/49990043 + 132773559086/121925714877. Let y = -6/271 - q. Which is smaller: -2 or y?
-2
Let i = 22 - 11. Let d = -49 + 56. Is d at least as big as i?
False
Let l = 30 - 9. Let i = -360 - -340. Let g = i + l. Which is greater: 0.3 or g?
g
Let a be (-9)/(9 + 0)*-1. Let s(x) = -x - 4. Let l be s(0). Let f be (-15)/44 + (-1)/l. Which is greater: f or a?
a
Let h be 3/(-1) - (4 + -11). Suppose -24 = -5*q - h. Suppose -u = -4*w - 11, q*w - u + 17 = 2*u. Which is smaller: w or 2?
w
Let s(x) = -x - 1. Let f be s(3). Let d(y) = 7*y + 3*y**2 + 0*y + 84 - 83. Let a be d(f). Which is smaller: 1 or a?
1
Let b be 10*(3/(-6) + -1). Suppose 6*l - 3*l = -6, -5*l = 5*v + 85. Is b at most v?
True
Let x = 18.5797 - -0.2003. Let m = x + 0.22. Let o = 19.1 - m. Is o not equal to -0.19?
True
Let d(s) = -s**2 + 10*s - 9. Suppose -w - 34 = -4*k + w, 2*w - 2 = -2*k. Let o be d(k). Let f(a) = a**3 - 2*a**2 - 5*a + 2. Let u be f(4). Is u less than o?
True
Let d = -118 - -16. Suppose -11 - 10 = -5*w - 2*f, -5*w + 3 = -4*f. Let c be 3 - w - 3/d. Is c bigger than 1?
False
Let f = 446 - 437. Which is bigger: f or -7/2?
f
Suppose -w + 5*w = 3*w. Which is smaller: 1/30 or w?
w
Suppose -9 = 5*f + 4*r - 4, 0 = 3*f + 3*r. Are -81/16 and f equal?
False
Let t = -25 - -52. Let k = 83/3 - t. Let d = 0.04 - -0.96. Is d greater than k?
True
Let x = -202 - -189. Let d be 113/4 - (-1)/(-4). Let k = d - 42. Which is greater: x or k?
x
Suppose -f + 1 = -5*u - 15, -3*u = f + 16. Which is greater: 31 or u?
31
Let d be (-4)/(-16)*142 + 1/(-2). Which is greater: 103/3 or d?
d
Let i = 0.23 + -11.23. Let o = -10 - i. Let g = 0.3 - 5.3. Which is smaller: o or g?
g
Let q(t) = -t**3 + 5*t**2 + 7*t + 3. Let k be q(6). Let i = -181 - -182. Is i less than k?
True
Let v = -48 - -72. Let t = -23 + v. Is 2/191 != t?
True
Let x(q) = -q**2 + 30*q - 162. Let a be x(7). Which is bigger: a or -3/116?
-3/116
Let q = -26.999 - 0.001. Let c = -21 - q. Is 0.2 less than c?
True
Let m = -106 + 127. Let d = 0.052 + -21.552. Let v = d + m. Is 0.3 != v?
True
Suppose -3*b + 3 = -0*b. Let d(g) = -g**3 + 13*g**2 + 13*g + 16. Let t be d(14). Suppose 2 = -a + t*a. Does b = a?
False
Let v = 173 - 244. Let t = 74 + v. Which is greater: -2/5 or t?
t
Let l(k) = -k**2 + 11*k - 2. Let v be l(11). Let w be 6/((-1)/v + -2). Let i be 22/(-12) - (-3 + (-95)/(-30)). Is w < i?
True
Let s = 39 + -93. Let b be (30/(-4))/(s/(-72)). Which is smaller: -13 or b?
-13
Let i = -1518 + 1517.51. Is 2/9 equal to i?
False
Let n = -10 - -20. Let w be (-24)/(-18)*2*9. Let j be ((-6)/w)/(3/(-4)). Is n at most as big as j?
False
Let m = -12 + 13. Let i be -4*(2 + m)/3. Let h be (i + 3)/(2/(-32)). Is 16 less than or equal to h?
True
Let k be -2 - ((-24)/(-36) + (-2734)/1026). Is 0 bigger than k?
True
Let j(b) = b**3 - 3*b**2 - 5*b + 4. Let q be j(4). Let c(m) = -12*m**2 + m + 1. Let f be c(-1). Let v be (-3)/f + 3/36. Are q and v equal?
False
Let i = 389/2 + -992/5. Let h = i - -141/40. Let x be (1 - 6) + -15 + 21. Which is smaller: h or x?
h
Suppose 0 = -q - 5*h - 84, -3*q - 81 = 4*h + 127. Let t(i) = 86*i + 193. Let x be t(-3). Which is bigger: q or x?
q
Let b be (-33)/(-12) + -3 - 532/(-16). Is 26 <= b?
True
Let m = -29 + 22. Let w be 2/m + (-5)/15*0. Which is smaller: -1.1 or w?
-1.1
Let j be -7 - (3 + (-4 - (4 + -5))). Let i be ((-4)/(-3))/((-5)/30). Which is bigger: i or j?
j
Suppose a = -0*a - 1. Let w = -12.3 + -5.7. Which is greater: a or w?
a
Let b be 8*(-1 - (-20)/16). Let g = -258/5 + 52. Which is bigger: g or b?
b
Let u = -0.47 + -0.53. Which is smaller: u or 64/5?
u
Let g(t) = -t**2 + 16*t - 25. Suppose 2*p + 2*u = 24, -5*u - 60 = -6*p + p. Let a be g(p). Which is bigger: 24 or a?
24
Let q be 2 - (7/(-7))/(1/5). Let j = q - -8. Which is smaller: 16 or j?
j
Suppose 2*n - 2*p - 5 = 3, -12 = 4*p. Let r be n*4*(-2)/4. Let g be (-2)/(-3)*r/20. Which is bigger: 1 or g?
1
Suppose 4*s - 77 = -c, -2*s + c - 3*c = -34. Which is bigger: 17 or s?
s
Let s = 14 - 6. Let w = s + -8.04. Let y = -0.06 + w. Is -0.09 not equal to y?
True
Let d be (4/5)/(24/60). Suppose -2*v + 2*b = 2*v + 42, -v = 2*b - d. Which is greater: v or -11?
v
Let o be -1 + 4 - (-7)/(-3). Let b be ((-10)/(-15))/((-1)/(-3)). Is o equal to b?
False
Let a(h) = 3*h - 3. Let w(b) = 2*b - 4. Let m(f) = -3*a(f) + 2*w(f). Let u be m(-1). Suppose -k + 30 = -u*k. Do -8 and k have the same value?
False
Let x = 1 - 0. Let c = 1.1018 - 0.1018. Is x smaller than c?
False
Let j be 33 - (4/(-10) - 111/185). Do j and -1 have different values?
True
Let r(l) = l**2 + 5*l - 6. Let o be r(-5). Let i be 3 + (o - (-6 + 3)). Suppose 4*n - f + 6 = 5*n, 5*n - f = i. Which is smaller: n or 4?
n
Let a(f) = 3*f**3 + 2*f**2 + 2*f + 3. Let k = -2 + 0. Let d be a(k). Suppose -137 + 105 = 2*g. Is d greater than g?
False
Suppose -3*j + w = -28 + 2, 0 = -5*j + 5*w + 30. Let d be (-42)/63 + j/(-12). Do d and -2 have different values?
True
Suppose 0*m = 2*m - 14. Let w(d) = d**2 + 5*d + 1. Let s be w(-6). Let g = s - m. Is g > 1/2?
False
Suppose -2*x + 116 = 3*s + s, s = 1. Let l be ((-42)/x)/((-3)/8). Is 1 less than l?
True
Let v(m) = -3*m**2 + 3*m - 4. Let q = 26 - 24. Let a be v(q). Which is greater: a or -11?
a
Suppose 2*j - 8 = 0, 2*t - 4*j + 25 = -517. Is -264 not equal to t?
True
Let q(g) = g**3 + 8*g**2 + 9*g - 8. Let m be q(-6). Let n = -1 - m. Are n and -11 non-equal?
False
Let o = -10526 + 1020992/97. Which is greater: 1 or o?
1
Suppose 0 = -2*d + 5*u - 28, d = 5*u - 10 - 9. Let t(v) = -v**2 - 8*v + 8. Let q be t(d). Let z be -2 + -4*1/(-3). Which is bigger: z or q?
z
Let s be (-1)/3*53 - (-1)/(-3). Let o be (-9)/s + (-143)/(-2). Is 73 less than o?
False
Suppose 0 = i + 4*d - 8, -5*i + 0 = 4*d - 8. Suppose -l - 9 + 5 = 2*x, -l = -3*x - 11. Is i > x?
True
Suppose 0*b - 8 = 3*r - b, 3*b - 16 = 5*r. Let m(p) = p + 2. Let f be m(r). Which is smaller: f or 0.08?
f
Let x = 8 - 2. Let p(f) = -f + 2. Let z(l) = 2. Let c(u) = -4*p(u) + 5*z(u). Let a be c(1). Is a greater than or equal to x?
True
Let m = 432 + -1295/3. Do 690/13 and m have different values?
True
Suppose -2*l = 2*g + 4, 2*g - 2 = 4*l + 12. Is l <= -2?
True
Let s = 22467 + -314303/14. Let q = -114/7 + s. Which is smaller: q or -2/5?
-2/5
Let d be (-24)/42 - 33/(-21). Let r be 1 + -1 + 27 + d. Which is smaller: 30 or r?
r
Let i = -6.8 - -7. Is -2.3 bigger than i?
False
Let p = -4056/119947 + -4/1121. Which is smaller: p or -1?
-1
Suppose -4*c = 0, 5*h - 81 = 4*c + 79. Suppose -13*v + 15*v - h = 0. Is v != 59/4?
True
Let d be ((-6)/5)/(1/5). Let b be 10/(-6) + d/(-9). Is b != -5?
True
Suppose 34*w - 4*t - 25 = 29*w, -5*w + 20 = -3*t. Is -2/7 >= w?
False
Suppose -1070 = 7*x + 64. Is x greater than -164?
True
Suppose 0 = -5*c - 10. Let g be (-63)/(-6)*1/c. Suppose 264 = -15*q - 29*q. Do g and q have the same value?
False
Let y = -243 + 242.999. Are 8 and y equal?
False
Let q be (-5)/1 - (-6 - -6). Let p = q + 0. Let i = -2 - p. Do i and 3 have different values?
False
Let o be 1*-3*2/(-18). Let k = -0.437 + 0.447. Which is greater: k or o?
o
Let j = 888187/1476 + -2407/4. Which is smaller: -1 or j?
-1
Let a = -16/21 - -3/7. Which is greater: -65 or a?
a
Suppose -46*z = 27*z + 438. Which is greater: z or 1/10?
1/10
Let t = 127 - 126.938. Let v = t - 0.262. Is v at most -52?
False
Let y be 42 + (-1 + -1)/1. Let u = 1518 - 1479. Are y and u nonequal?
True
Let n = 151.91 - -0.09. Let r = n + -170. Let a = -2 - -1.9. Which is smaller: a or r?
r
Let j = -2 + 4. Let m = 68 - 68. Is m > j?
False
Let c = 6 + -4. Let v = 753 - 10545/14. Is v equal to c?
False
Suppose -5*j = -20, 5*j - 4 - 10 = 3*v. Let l be ((-15)/9 + 2)*-3. Which is bigger: v or l?
v
Let a = 5.94 + 0.06. Let i = -6 + a. Which is smaller: i or -6?
-6
Let n = 27 + 1. Suppose 4285 = 52*l + 62*l + 1093. Is l at most as big as n?
True
Let i(l) = l**2 - 18*l + 33. Let s be i(16). Let a be 880/1463 - (-4)/(-14). Which is smaller: s or a?
a
Let a(l) = 24*l - 25. Let s be a(5). Suppose v = 6*v + s. Are v and -17 non-equal?
True
Let x = -46 - -39. Let u = x + 12. Let k be (-1)/2*(1 + -9). Which is big