 - 38 = -11. Let n be (8/(-6))/(35/(-63)). Does u = n?
False
Let r = -1.25 - -1.3. Let a = 164.6 - 165. Is r at least as big as a?
True
Let h = -2.9 - -3. Let q = 17.4 - 18. Which is bigger: h or q?
h
Suppose 3*v - 62 = -5*b + 7*v, -18 = -3*b - 4*v. Which is smaller: b or 59/6?
59/6
Suppose -2*c = -4*c - 8. Let b = 4 + c. Suppose 0 = -b*s + s + 4. Which is bigger: -5 or s?
s
Let v = -41 - 35. Which is smaller: -77 or v?
-77
Suppose 0 = -4*g + 2*t + t + 67, -5*g - 3*t + 104 = 0. Let v = g + -13. Let l be 6/(-8)*4/v. Which is bigger: l or -1?
l
Let m = -0.141 - 16.059. Let z = m - -16. Is z less than 0?
True
Let s(m) = m**3 - 15*m**2 + 26*m + 17. Let a be s(13). Suppose -44 = -3*u + 4. Which is smaller: u or a?
u
Let m = -2/337 + -303/5729. Let h = 31 + -22. Let c be (-3)/h*0/2. Which is smaller: m or c?
m
Suppose 5*p - 2*p = 4*v - 4, 5 = 2*p + 5*v. Is 11/160 < p?
False
Let q = -6.5 - 28.5. Let l = -35.3 - q. Is l at most as big as -0.05?
True
Suppose -101*m = -96*m - 650. Is m at least as big as 129?
True
Let h be (8/400*15)/((-18)/10). Which is smaller: 0.6 or h?
h
Let h = 2599 + -2595. Which is smaller: h or 44/7?
h
Suppose 2*y - 96 = -0*y. Let g be ((-2)/4)/(2/y). Let r = -37 - -38. Is g greater than or equal to r?
False
Suppose -5*k - 2*w = -15, k + 2*k - 2*w = 9. Suppose 4 = -i + k. Let l = -38 - -37. Is i less than l?
False
Let o = -35 - -35.1. Suppose 5*l + 3*v + 24 = 2*l, 0 = -2*v. Is l bigger than o?
False
Let k be (-14)/(-35) + (-778)/(-5). Which is bigger: 309/2 or k?
k
Let d(h) = 53*h - 46. Let s be d(-3). Is -2 smaller than s?
False
Let m = -503 + 3495/7. Let w(t) = -t**2 + 7*t + 5. Let s be w(8). Which is smaller: m or s?
m
Let c = 2537 + -2536.9. Is c bigger than 38/55?
False
Let t be (3 - (1 + 2))/(-1). Suppose 5*a = y - 20, t*a = -3*a - 12. Is y < 0?
False
Let r be 16 - 7 - (1 - 4). Let y = 38 - r. Let g be 0 + y/22 + -1. Is g >= 0?
True
Let o be 142/(-5) - 36/234*26. Does o = -31?
False
Let o be (-2)/8 + ((-15477)/(-3124))/21. Which is smaller: -1 or o?
-1
Let l be 2 + -4 + (91/(-5))/(-7). Is 1 less than l?
False
Let p be 6/4*((-32)/8328 - 0). Is p less than or equal to -1?
False
Let i = -258 + -19. Are 0 and i nonequal?
True
Let p be (0 + -16)/(((-9)/(-3))/30). Is -160 at most as big as p?
True
Suppose -2*r + 4*d + 22 = 0, 2*r - 25 = -2*d + 7*d. Suppose -4*u + 8 = -r*i - 2, 3*i + 6 = 0. Suppose u = 9*q - 7*q. Which is greater: q or -2?
q
Suppose -2*h = n - 3, -n - 2*h + 5*h - 17 = 0. Let c = 6 + n. Let t(m) = 8*m - 1. Let v be t(c). Is 7 < v?
False
Let p(l) = -l - 9. Let c be p(-10). Let y = -3/332 - 607/6308. Is c != y?
True
Let k = -22641/7 - -701031/217. Is -4 at most as big as k?
True
Let f be 2/8 - (-21)/(-4). Let q be 4/(-10) + (-62)/f. Suppose -3*y + 56 = -5*r, 3*r = y - 37 + 13. Is q at most as big as y?
True
Let b = -13 - -13.08. Let x = 47 + -46. Which is smaller: b or x?
b
Let r be (11 - -1) + 9 + -14. Suppose 0*s = -4*s - 4*n + 20, 2*n = 0. Is r != s?
True
Let a = -4.4 - -0.4. Let o = 2.506 - -0.494. Which is smaller: o or a?
a
Let k = 1531 + -1535. Does 9 = k?
False
Let k(l) = -l. Let u be k(1). Let v = -358023/43 + 8326. Which is smaller: u or v?
u
Let f(s) = -4*s**2 + 13*s - 13. Let b(p) = -3*p**2 + 12*p - 14. Let m(d) = 3*b(d) - 2*f(d). Let x be m(8). Suppose -6*c = -x*c. Is c > -1/22?
True
Let f(y) = -43*y + 2. Let n be f(-2). Let d = 263/3 - n. Which is smaller: 1.6 or d?
d
Suppose 0 = -k + 4*s - 1, -10 + 7 = 3*k - 2*s. Suppose -3*q + 23 = z, -4*q - 3*z + 6 + 28 = 0. Let i be (-2)/(-14) + (-2)/q. Which is bigger: i or k?
i
Suppose q + q = -5*w - 3, -6 = 2*q + 2*w. Let r be (-40)/(-36)*q/(-20). Which is bigger: r or 1?
1
Suppose -9 = -3*p, 4*m + 0*p = -3*p + 5. Let o = -138 + 605/4. Let d = o + -13. Which is greater: d or m?
d
Suppose -13*c + 81 = -4*c. Suppose s + c = 34. Which is greater: s or 24?
s
Suppose -m = 3*m - 8. Let p be 13/(-2)*m*1. Let t = -2803 + 2791. Is t less than or equal to p?
False
Suppose -z + 7 = -2*m, 8*m + 20 = 3*z + 3*m. Suppose z*f + 2*s - 48 = 0, 3*s = 5*f + 2*s - 51. Let n be (-13)/6 - f/(-60). Is n at least as big as -2?
True
Let y = -20.9 + 20.61. Which is smaller: y or -2/5?
-2/5
Let t = -0.758 + -277.242. Is 0 at least t?
True
Let j be 5/(20/(-104)) + 0. Let z be 24 + j + 2/1. Is z at most as big as 2/7?
True
Suppose 3*n = -3*q + 63, q - 3*n - 17 + 4 = 0. Let z = -9 + q. Let k be ((-5)/(-25))/((-8)/z). Is 1 greater than or equal to k?
True
Suppose -3*m + 4*m = 0. Let n be -3 + (-5)/(-2) + m/(-4). Which is greater: 0.12 or n?
0.12
Let n(m) = m**2 - 8*m + 16. Let o(h) = -4*h - 9. Let c be o(-5). Let z be n(c). Does 49 = z?
True
Let z be (100/(-6))/5*9/(-168). Which is greater: z or 1?
1
Let u be (6/(-4) + 0)*23. Is u > 1?
False
Let l(h) = h - 7. Let z be l(6). Let q = 46 + 0. Let v be -2 - (q/(-18) + 1). Is z equal to v?
False
Let l = 9 - 6. Suppose l*f = -13 + 76. Let h be (5 + 1)*(-7)/f. Which is greater: -4 or h?
h
Let c = 0.386 + -0.4. Let t = -0.284 - c. Which is smaller: t or 2/9?
t
Let l = -0.018 + -5.882. Let j = 3.3 + l. Which is smaller: j or -0.1?
j
Let i(f) = 126*f + 26. Let w be i(0). Do w and -3 have the same value?
False
Suppose 3*i = 0, 4*i + 685 = -0*z - 5*z. Is z <= -137?
True
Let u be ((-13)/2 + 0)*(45 - 47). Which is smaller: 7 or u?
7
Suppose -58*f = -49*f - 2646. Which is smaller: 292 or f?
292
Let i = -124 + 114.2. Let t = -10.14 + 0.14. Let c = t - i. Which is bigger: 3/4 or c?
3/4
Suppose 25 = 5*f + c, 32 = 3*f + 3*c + 5. Suppose f = 4*i - 3*i. Suppose -44 = -0*m + i*m. Which is smaller: -8 or m?
m
Let c be 4/22 + (-40)/(-22). Suppose -5*k + 4*m = 5, 3 - c = -k - 4*m. Are k and -2 unequal?
True
Let g = -34.17 + 4.17. Which is smaller: g or -22?
g
Let o = 7320173/1278570 - 1204/5559. Let p = 1/115 - o. Suppose -18*v + 14 = -20*v. Do v and p have the same value?
False
Let n = 1637 + -1775. Is n less than 7?
True
Let z = -83 + 85.36. Let s = -2.4 + z. Let r = s + -0.01. Which is smaller: -2/5 or r?
-2/5
Let y(j) = -j**2 + 2*j + 1. Let i = -26 + 29. Let q be y(i). Let g be (-3)/((-10)/8 - q). Is -1 less than g?
False
Let k be ((-1)/3)/(65/2 + -12). Is k equal to -1?
False
Let f be ((-12)/(-291))/(-4*1/2). Suppose 5*i - 2*i = 3. Is f < i?
True
Let w(z) = -2*z**3 - 2*z**2 + 4*z - 2. Let o be w(2). Let c be o/24 + 1/(-4). Let d be c + 2*12/40. Is d greater than -1/3?
False
Let p be 4/10 + ((-26334)/55)/7. Is p equal to -66?
False
Suppose 8*r - 369 - 775 = 0. Which is smaller: r or 144?
r
Let r = -1/612 + 23029/48348. Let j = r - -2/79. Is 18 < j?
False
Let m = -277 + 276.9. Is -2/433 != m?
True
Suppose 5*v = i - 3 - 0, 0 = 4*i + 8. Let u = -82400/93 + 886. Which is greater: u or v?
u
Let b(z) = z**3 + 13*z**2 - 29*z - 10. Let c be b(-14). Is c less than or equal to 200?
True
Suppose 0 = -4*d + 4*b + 156, -3*d + 4*b + 27 = -2*d. Suppose -41 = -2*v - d. Let n be ((-4)/342)/(2/6). Which is greater: v or n?
n
Let i = -5/276 - -1565/10212. Which is bigger: 1 or i?
1
Let i be (2/6)/(4/24). Suppose -2*s = -4*v - 8, -2 = -i*v - s + 2. Is v > 7/11?
False
Let w be (1/1)/(28/(-124)). Let t = w - -603/133. Is t smaller than -1?
False
Let m(i) = -i**2 - 9*i + 5. Let q(h) = 4*h - 2. Let g(o) = -3*m(o) - 7*q(o). Let w be g(-1). Suppose 3*n = -0*n + w. Is -1/36 less than n?
True
Let v be 1 - -2*4/8. Suppose 0 = -5*i - 10, 4*z - v*i + 0*i = 12. Suppose 0 = o - z*o. Which is greater: o or -3/20?
o
Suppose -10 = 5*o - 2*s, 2*s - 10 = -o - 0. Which is smaller: o or -6/11?
-6/11
Let u be (-601841)/(-240278) + (-5)/2. Which is smaller: u or 1?
u
Let q be (40/15)/(1 + 300/18). Which is greater: q or 1?
1
Let t = 14 + -13. Let v be t/(-2)*(12 + -22). Suppose 3*o = 8 - v. Is o less than 2/9?
False
Suppose -s + 2*h - 259 = -4*s, -3*s - h = -263. Are s and 87 equal?
False
Let f be ((-2)/3)/(252/(-54)). Let m = 0 + f. Do 1.3 and m have the same value?
False
Let x = -7 + 2. Let f = 2 + x. Let d = 9.8 + -10. Are d and f unequal?
True
Let t(c) = -5*c - 12. Let a be t(-6). Suppose 0 = -a*w + 16*w - 96. Which is smaller: w or -47?
w
Let j = -11 - -13. Suppose 14 = 2*l + j*k, -2*k + 16 = 3*l - 4*k. Suppose -4*t + 6 = -6. Which is smaller: l or t?
t
Let g be (160/17)/(221/51 - 5). Is -14 at least as big as g?
True
Let r = -78 + 94. Let u be (-18)/54 + r/21. Which is bigger: 0 or u?
u
Suppose