Let q = -1.243 + -0.877. Is 1 less than q?
False
Suppose -5 = -l - 3. Let o be (-51)/(-35) + (-6)/10. Which is bigger: o or l?
l
Suppose -3*o + 11 = 5. Suppose 6 = o*q + 2*m - 6, 5 = -5*q + 2*m. Are -3/8 and q unequal?
True
Suppose -64*r + 57*r = -1057. Is r less than 1066/7?
True
Let y(u) = 5*u - 5. Let t be y(4). Let o be (t/5 + -3)/(-2). Suppose 2*w - 4 = v, 2*w + o*w - 28 = 4*v. Which is smaller: -17/2 or v?
-17/2
Let c = 589 + -583. Which is bigger: 4 or c?
c
Let a = -0.674 - -2.684. Let c = -2.01 + 2. Let y = a + c. Which is bigger: y or -2?
y
Let f = -986 - -974.94. Let l = f - -0.06. Let h = l - -10. Which is smaller: 0.1 or h?
h
Let m = 15.61 + -26.61. Is m equal to -5/4?
False
Suppose -2*o = x + 76, -20*o + 5*x + 121 = -23*o. Do -35 and o have the same value?
False
Let k = -7 - 107. Which is greater: 1 or k?
1
Suppose 5*t - 29 = m - 0, -3*m + 4*t - 54 = 0. Let u(r) = -43. Let f(i) = i - 43. Let q(h) = -2*f(h) + 3*u(h). Let v be q(-14). Is m less than v?
False
Suppose 2*k = -0*k - 134. Let z = k - -68. Is z > 3/43?
True
Let k(j) = 2*j**3 - 6*j**2 + 1. Let g = 57 + -54. Let s be k(g). Let i = 734/5 + -8072/55. Is i at least s?
False
Let h be (14/(-4))/(15/(-2700)*6). Which is smaller: -2 or h?
-2
Suppose 0 = -2*m - 5*v - 91, 4*m - 5*m - 3*v = 44. Let f(u) = 34*u - 20. Let w be f(-1). Is m at least as big as w?
True
Let c be (-4)/(-10) - (-49)/(-35). Let h be (-112)/12 - c/3. Does -8 = h?
False
Let s = 4 - 21. Let j = -0.1198 + 17.2198. Let y = s + j. Is y greater than or equal to -10?
True
Let i = -161 + 162. Is -2/5 at most i?
True
Let a be (-1)/(2 - 21/9). Let y = 7 + -5. Suppose -2*p - y + 10 = 0. Which is bigger: a or p?
p
Let h = -0.6 + 0.2. Let u = -0.1341 + 0.5341. Is u < h?
False
Let d(u) = u**2 + 59. Let q be d(0). Let k = q + -39. Suppose -4*x = -8 + k. Is -3 at most as big as x?
True
Let r = 193.8 + -213. Let n = r - -19. Which is greater: n or -4/5?
n
Suppose 5*b = -b + 12. Suppose -b*a + 3*f - 2 = 1, 4*a + 1 = f. Is a < -60?
False
Let p = 5 - 1. Let a = -10.2 + -0.8. Let h = p + a. Does -2 = h?
False
Let w be (-4)/(-4 + -5 + 5). Let h be (-3)/12*20/(-25). Do w and h have the same value?
False
Let o = 64784 - 582227/9. Let w = o + -92. Are -1 and w nonequal?
True
Let x be (37 - 11)*(-1)/(-2). Suppose -5*t + 0*w - 4*w - x = 0, 15 = 5*w. Which is greater: 1 or t?
1
Suppose 4*w + 16 = 0, 128 = 3*o - o + 3*w. Suppose k = -4*k + o. Which is smaller: k or 15?
k
Let s be 2 - (-34)/(-3 + 2). Suppose 2*m + 74 = 5*p, 3*m + 2*p + 94 = p. Are s and m equal?
True
Let q(a) = -6*a**2 - 12*a - 20. Let j be q(-2). Which is smaller: -8 or j?
j
Let s(b) = 3*b**3 - 3*b**2 + 6*b + 8. Let d be s(-4). Let w be (-2)/(-6) - d/(-12). Which is smaller: 0.1 or w?
w
Suppose -5*j + t + 5 = -t, -4*t = 5*j - 5. Let k = 40 - 58. Let h be 0 + ((-15)/k - (-14)/21). Which is bigger: h or j?
h
Let i be 2*4/((-12)/(-3)). Suppose -5 = i*n - 13. Let p be n/(-152)*(-4)/2. Which is greater: -1 or p?
p
Let r = 98 + -97. Which is smaller: -6/5 or r?
-6/5
Suppose -u - 3 = 4. Let w(t) = t**3 + 28*t**2 + 18*t - 48. Let r be w(-27). Let j = 187 - r. Which is smaller: j or u?
j
Let v = 0.01 - 1.92. Let l = 1.21 - 1.3. Let w = l + v. Is w at most 1/2?
True
Suppose 3*p = 8 - 113. Let l be 6/(-10) - 336/p. Which is greater: 10 or l?
10
Suppose -25*q = -6*q - 969. Is q at most 254/5?
False
Let s be 66/(-108) + (-25)/(-10) + -2. Which is smaller: s or -3.4?
-3.4
Let m = 0 - 1. Let l be 6/(-6 + 120/18). Let t be (-124)/279 + 16/l. Which is bigger: t or m?
t
Let p = -17.2 + 13.2. Is -8 > p?
False
Let j = 1231072/307 - 4010. Which is smaller: -1 or j?
-1
Let k be 75/(-63) - -1*1. Let s be 1 + 3*1/(-3). Is k less than s?
True
Let a = 73 - 70. Let k be 5/a - 9/(9/2). Is 1/5 at most k?
False
Let w = -378 - -10208/27. Suppose 10 = -4*c - 5*o + 31, -2*c - o = -3. Is c != w?
True
Let m = -0.05 - 0.02. Let q = 0.33 - m. Let h = -0.3 + q. Which is greater: -12 or h?
h
Let p(g) = 3*g + 1. Let b be p(-3). Let i = 25 + -24. Let u = -9 + i. Are u and b equal?
True
Let y = -5.38 + 4.96. Are y and -9 non-equal?
True
Let c = 84476 + -84471.2437. Let z = 0.0737 + c. Let o = -0.17 - z. Which is greater: o or -2?
-2
Let n = -72 + 58. Let d be 22/(-4) - -1 - (-21)/n. Let m(c) = 3*c + 4. Let s be m(-3). Is d at most as big as s?
True
Suppose 2*w - 17 - 49 = 0. Let r be 32/(-50)*(3 + w/(-6)). Which is bigger: 3 or r?
3
Let o(c) = -10*c + 14. Let t(k) = 7*k - 9. Let b be (4*-2 - -1)*1. Let h(g) = b*t(g) - 5*o(g). Let l be h(6). Which is bigger: l or -3?
l
Let n = 4 - 0. Let x be (-9)/(-6)*n/93. Let k = x - 39/124. Are k and 0 unequal?
True
Let n = 29467/71 - 415. Does n = 3?
False
Suppose 14*q + 213 = -445. Is 0.03 < q?
False
Let b = 206/5785 - -16/89. Let l be 3/3 + 21/(-13). Let c = l + b. Which is bigger: 1 or c?
1
Let m be (-9)/((-54)/24)*5/(-13). Is 0.2 greater than or equal to m?
True
Let n = -21 - -19.35. Let j = n - -1.5. Let o = -0.05 - j. Which is smaller: -10 or o?
-10
Let v be (1/3)/(1/6). Let i be (-5)/1*(-6 + (-4 - -9)). Suppose i*p + 0*s = 4*s - 2, -p + 8 = 2*s. Is p greater than or equal to v?
True
Suppose -2*x + 2 + 2 = 0. Suppose -x - 2 = -2*l. Suppose 5*y + l - 1 = 3*s, -15 = 5*s - 5*y. Which is bigger: s or -9?
s
Let h = -3833 + 2833. Which is bigger: h or -0.1?
-0.1
Let b = 4 - -3. Suppose -3*d + 3*m - b*m = 13, 5*m + 2 = d. Let v be 8/(-12)*1*d. Which is smaller: 1 or v?
1
Let i = -433 + 433. Let n(h) = -h + 4. Let w be n(5). Which is bigger: i or w?
i
Suppose -3*k = 2*k + t - 77, -2*k = -t - 35. Is 21 >= k?
True
Let g = 10.5 - 8.4. Let m = -1.1 + g. Do m and 1/6 have the same value?
False
Let f = -1643 - -1626. Is f less than or equal to 0.3?
True
Suppose 27*z = 4*t + 28*z + 1384, 1741 = -5*t - 4*z. Is -345 at least as big as t?
True
Let r = -0.052 + 0.12. Let s = r - -0.032. Do 48 and s have the same value?
False
Suppose s = -3*f + 59, -3*s + 44 = -4*f - 120. Which is smaller: 113/2 or s?
s
Suppose 0 = -2*r + n + 73, -136 = -4*r + n + 3*n. Let d = 17 - r. Which is bigger: -20 or d?
-20
Let z = -543 - -518. Which is smaller: 5 or z?
z
Let m be (-20)/(-12) - 70/(-21). Is 16/3 != m?
True
Suppose -11*r - 4 = 84. Which is smaller: -13 or r?
-13
Let x(g) = -g**2 - 9*g + 2. Let b be x(-9). Suppose -b*m = -10, -f - 5*m + 28 = -0*f. Do f and 3 have the same value?
True
Suppose 0*w = w - 4. Let i(q) = -8 + 16 - q + 9. Let x be i(13). Is w bigger than x?
False
Let b be 4/(-1) + 158/56. Let p = b + 13/12. Which is greater: p or -0.1?
p
Let u = 508 - 629. Which is bigger: -120 or u?
-120
Let s be -32 - (2 - 1)*0. Let w(i) = 4*i**2 + 43*i - 124. Let u be w(3). Let c = s + u. Is 7 greater than or equal to c?
False
Suppose 0 = 15*b - 26 - 4. Is b bigger than -1.2?
True
Let c = 137 + -132. Suppose z + 6 = 2. Let j be 32/6 - z/6. Which is smaller: c or j?
c
Let u be 3/(2/62 + 0). Suppose -u = -5*d - 8. Let a be ((-27)/2 + 5)/((-1)/2). Is d != a?
False
Let o = -191 - -189. Which is smaller: 8 or o?
o
Let h = 749 - 749. Does h = -1/1085?
False
Let s = 2/701 - 2834/10515. Let k(o) = 574 + 9*o - 574 - 4*o + o**2. Let a be k(-5). Which is smaller: s or a?
s
Let c = 561 - 31976/57. Which is bigger: 0 or c?
c
Suppose -6 = 35*o - 33*o. Let y = -1 + -11. Is o != y?
True
Let j = 223 + -222. Do j and 2.88 have the same value?
False
Suppose 12 = 3*b, -4*b + 5 + 10 = f. Suppose -4 = -2*h, 3*t = 4*h - 8*h + 23. Suppose -25 = 5*a + t*s, 4*a + 3*s + 13 = 3*a. Is a at least as big as f?
True
Let z = 2332340327109168477513/22363 + -104294608434676048. Let t = z - -58824486. Let x = t - 2/1177. Are x and 0 equal?
False
Let y = 1.29 - 1.09. Which is greater: y or -0.3?
y
Let u be ((-80)/30)/((-4)/6). Let d be u/(-14) - (-44)/7. Suppose 40 - 16 = 4*i. Is i at least as big as d?
True
Let p = -11 + 9. Which is bigger: p or 0.062?
0.062
Let o = 6.24 + -6.7. Which is smaller: o or -2?
-2
Let g = 0.0709 - -3.2291. Let h = 2.1 - 2. Which is bigger: g or h?
g
Let h = -36 - -14. Let g = 23 + h. Are g and 28 equal?
False
Suppose -20*d = -21*d + 2*s + 35, -s = -2*d + 64. Is d at least 129/4?
False
Let o be -6 + 12 + -32 + 7. Which is bigger: o or -13?
-13
Let z be (-1)/2*4/(-30). Let w be (1 + -2)*2 + 6. Let h be (6/w)/(6/4). Which is smaller: h or z?
z
Suppose 28*r + 2*h = 33*r + 3, -3*h - 8 = 5*r. Which is smaller: -15