 be (-132)/63 - -3 - 120/(-1260). Do -0.22 and x have the same value?
False
Let l = 853 + -852. Suppose 5*z - 5 = -0*z. Let x be (-3)/(-34)*(1 + z). Which is bigger: x or l?
l
Let b = 7 + -11. Let u = 18 + b. Suppose 5*y - y + 5*a + u = 0, -3*y + a - 1 = 0. Which is smaller: 2 or y?
y
Let x be (-28720472)/(-5250) + (-3)/(-7). Let v = x + -5471. Let c = 353/4125 - v. Is c > 1?
False
Suppose -59*c + 7939 = -2327. Which is bigger: c or 177?
177
Suppose -4*o - o = -5. Let z(k) = -2 + o - 4 + 7 - k. Let f be z(3). Which is smaller: 2 or f?
f
Let y be ((-2)/(-4))/((-3)/(-180)). Suppose -q = 5*a - 22, q - 5*a - 28 = -7*a. Is q greater than y?
True
Suppose 38*v + 110 = 28*v. Suppose 7*u + 17 = 3*u + y, 4*u + 21 = 5*y. Is v at most u?
True
Let f(k) = 6*k + 43. Let y be f(5). Which is smaller: y or 74?
y
Suppose 5*h - 4*j + 19 = 4*h, -5*j + 5 = 5*h. Let m = -2 + 6. Let g be -4 + (m - (-2 - h)). Which is bigger: g or 1?
1
Suppose -3*y - 24 = 141. Let g be (6/y)/((-1)/(-5)). Let o(d) = d**3 + 4*d**2 + 6*d + 3. Let b be o(-1). Which is bigger: g or b?
b
Let c be ((-52)/611)/((-2)/40). Let p = c + -2468/235. Let s = p + 42/5. Is s not equal to 1/2?
True
Let a = 0.1674 + 0.0326. Which is smaller: 0 or a?
0
Let r = 12 - 23/2. Let x = -19 - -29. Which is bigger: x or r?
x
Let t(q) = q**3 + 7*q**2 + 5*q - 6. Let i be t(-6). Suppose -3*u + i*u = 0. Let m be (72/280)/(45/75). Which is smaller: u or m?
u
Suppose 44*l = 46*l + 8. Let t be l/2*(-14)/(-84). Is -3 > t?
False
Let i be (-511)/1659 + (-2)/(-6). Let s = i - 259/869. Is s <= 0?
True
Let q be (-150)/(-105) - (-3)/(-7). Let c = -39 - -355/9. Is q smaller than c?
False
Let w(q) = 2*q + 26. Let m be w(10). Let p = -44 + m. Is p less than 22/7?
True
Suppose 34*f + 8 = 30*f. Let m be -22 + 56/16 + 3/f. Do -19 and m have different values?
True
Let u(d) = -d**3 - 3*d**2 + 2*d + 7. Let j be u(-3). Suppose -j = 5*h + 4. Which is smaller: -36 or h?
-36
Suppose -2*o - 714 = -9*o. Are 101 and o nonequal?
True
Suppose -c + 3*j + 12 = 19, 9 = c + 5*j. Suppose i + 0*i - 1 = 0. Is c > i?
False
Let r(j) = -j**3 + 10*j**2 - 13*j + 1. Let i be r(10). Which is smaller: i or -130?
-130
Let f(s) = s + 0 + 9 - 4*s + 6. Let p be f(6). Which is smaller: -4 or p?
-4
Let p(l) = -2*l - 5. Let w be p(-2). Let f be (-13*6/(-21))/(w*1). Is -5 bigger than f?
False
Let z = 32.5 - 32. Let k = z + 1.5. Let m be (-1)/5*10/(-8). Which is bigger: m or k?
k
Suppose -2 = d - 9. Suppose 4*f - 3*f = 5*h + 131, 0 = 4*h + 2*f + 116. Let b = h - -32. Which is greater: d or b?
d
Let z(s) = -s - 7. Let b(d) = 2*d + 13. Let w(n) = 3*b(n) + 5*z(n). Let r be w(-5). Let p = -5/102 + 1/6. Do p and r have different values?
True
Let g = -49 - -82. Is 37 at most as big as g?
False
Suppose -29*n + 27 = -2*n. Is n greater than or equal to 1/11?
True
Let m(q) = q - 8. Let c be m(-9). Suppose -x - 4*u + 6*u - 11 = 0, -3*x - 39 = -4*u. Is x smaller than c?
False
Let p = -0.07 - -27.07. Let v = -0.09855 - -0.09855. Which is smaller: p or v?
v
Suppose 6*y + 43 - 697 = 0. Suppose -4*g - 159 = y. Does -66 = g?
False
Let g be (-5)/(3/(-7) + (-64)/112). Suppose o + 3*x - 5 = 8*x, g*x + 5 = 3*o. Which is smaller: o or -1/111?
-1/111
Let n = 23 + -22. Let i be (-4 - 11)/5 - n. Which is smaller: -3 or i?
i
Let o be ((-116)/(-1364))/(-1) - (-10)/55. Are o and -3/4 unequal?
True
Let i(j) = j**3 - 17*j**2 + 28*j + 25. Let f be i(15). Which is greater: f or -43/7?
f
Let y = -46.12 + -4.98. Let w = y - -51. Which is bigger: 1/6 or w?
1/6
Let o = 1073 + -932. Is o at most 706/5?
True
Let k = 273.996 + -273.6. Are 0.4 and k unequal?
True
Suppose 0 = 5*p - u + 2*u + 21, 3*p - 1 = -4*u. Let w be (-2)/2 + 240/p + 0. Are w and -49 unequal?
False
Let z(n) = n**3 - 44*n**2 + 37*n + 46. Let l be z(43). Is l <= -211?
True
Let p = 1785 + -1181. Which is smaller: p or 603?
603
Let n(l) = -l**3 + 10*l**2 - 12*l - 7. Let y be n(9). Let k = y + 34. Is 1/7 greater than or equal to k?
True
Let n(p) = -4*p - 26. Let h be n(-5). Let d(b) = -b**3 - 5*b**2 + 7*b + 7. Let k be d(h). Let f = -3 - -5. Which is smaller: f or k?
k
Let w(s) = s**3 - 29*s**2 - 105*s + 84. Let k be w(32). Which is smaller: -208 or k?
-208
Suppose j + m = -15, m - 45 = 5*j - 0*m. Is j bigger than -8?
False
Suppose -7*g + 84 = -0*g. Suppose g*h - 792 = -0*h. Is 65 less than h?
True
Let b(h) = 4*h + 3. Let q be b(-3). Let v = 19 - 14. Suppose 4*s + 4*p + 8 = 0, -5*s - 31 = -v*p + 29. Which is bigger: q or s?
s
Suppose w - 2*v = 13, -2*v + 30 = -7*v. Suppose 47 + 3 = -5*r. Which is smaller: r or w?
r
Let m be (-40)/14*(-2)/4. Let c be -2*(-1)/((-4)/(-6)). Suppose -3*x - 4*g + 7 = 0, c*x - 1 = x + g. Which is bigger: m or x?
m
Suppose 3*q = -5*h - 262, q - 5*h + 0*h + 54 = 0. Which is bigger: q or -77?
-77
Let r = 484 - 484. Which is smaller: -358 or r?
-358
Let j = -6 + 36. Let t = j + -29.6. Is -0.1 bigger than t?
False
Let s(n) = n**3 - 5*n**2 - 10. Let m be s(5). Let y be 5/(m/4) + (10 - 13). Is -6 != y?
True
Suppose -1 = v - 2. Let j = 12/193 - -882/4439. Which is greater: j or v?
v
Let v = 8.22 + -92.62. Are v and 0 unequal?
True
Let y = -3344/7 + 478. Is y < 169?
True
Let s = -3/4645 + 36789/929. Let d = 40 - s. Is d bigger than -4?
True
Suppose 5*n = 5*m + 26 - 1, -5*n + 22 = -4*m. Suppose 0 = 2*x + 4*g - 40, -3*x + 80 = -3*g - g. Let z be (13 + -3)*2/x. Which is greater: n or z?
n
Let d = 84 + -81. Suppose -7*z = -d*z + z. Which is smaller: -2/81 or z?
-2/81
Let n = 3.241 - 0.241. Which is greater: n or 15?
15
Suppose -2*t = -0*t - 24. Let l = 4 - 2. Let r be 88/4*(5/l - 2). Is t at least as big as r?
True
Let g(j) = -2*j. Let u be g(-5). Suppose 5*v - u = -0. Let t = -443/3 - -149. Which is smaller: t or v?
t
Let y(c) = -c**2 + 2*c + 3. Suppose 0 = u + 3 - 7. Let i be y(u). Let s be i/7*(-10)/25. Which is greater: -1 or s?
s
Let q(j) = -j**3 + 6*j**2 + 16*j + 1. Let m be q(8). Suppose -a + m = 3*x, a = 3*x - 4*a + 5. Which is smaller: 3/4 or x?
x
Let r = 2 - 1.5. Let h = 0.5 + r. Let q be -2 + 3 - (4 + (-18)/10). Is h <= q?
False
Let d = -648/4043 + 2/311. Suppose -5*v + 8 + 17 = 0. Let q = 6 - v. Is q at most d?
False
Let u = -24 - 7. Let w = -21 - u. Let c be (-9)/12 + w/(-8). Is -2 less than c?
False
Suppose -3*a - 12 = 2*l, -5 = -4*l + 5*a - 29. Let n(g) = 5*g + 29. Let t be n(-6). Which is smaller: t or l?
l
Let r = 155790023/1064 - 1024833/7. Let b = r - -3/152. Which is smaller: 15 or b?
b
Let v = -251 + 6271/25. Suppose 5 = h - 15. Let l = -21 + h. Is v at least l?
True
Let r = 29.766 - -0.334. Let g = r - 30. Is g bigger than 0.1?
False
Let t = -51.9 - -52. Which is greater: -0.68 or t?
t
Let w = -41 - -40.97. Let g = -0.05 - w. Is -1/5 at least g?
False
Let i = 9 + 46. Suppose 7*d = -i - 29. Are -15 and d equal?
False
Let l be 40/12 - (-3)/(-1). Suppose 19*g + 49 + 312 = 0. Does l = g?
False
Let d = 58 + -57.922. Let c = d + -0.078. Which is greater: c or -2/9?
c
Let q be 8960/144 + 2/(-9). Which is smaller: 63 or q?
q
Let c be (-180)/(-40)*(-8)/18. Which is smaller: c or 1?
c
Let f = 783.1 - 783. Suppose -n = -15 - 19. Which is smaller: f or n?
f
Suppose 2*g - 4*a = 66, 3*g = 3*a - 2*a + 79. Suppose 13*l - 15 = 8*l. Let x be 81/l + (-3)/(-6)*-4. Does x = g?
True
Let z = 123 - 36. Are z and -5 nonequal?
True
Let d be 4/(-36)*-6 + (-11270)/16779. Which is greater: 0 or d?
0
Suppose -3*y + 1 = 2*b, -y = 2*b - 9 + 2. Let m = 156 - 315/2. Which is smaller: y or m?
y
Suppose 3*i = 5*i - 10. Suppose -5*j = 5*f - 5, -j = -i*f + f + 24. Suppose 0 = f*v - 2*g + 3 + 5, 0 = 3*v + g - 4. Are 3 and v equal?
False
Let g(b) = 14*b**3 - 3*b**2 - 5*b - 1. Let i be g(-2). Let a = i + 128. Is -1 < a?
True
Suppose 2*f + 7 = d, 5*f + 4*d - 16 = -1. Which is greater: 6/59 or f?
6/59
Suppose -20*a - 23*a + 43 = 0. Let w = -237 + -13. Let m = 5001/20 + w. Which is smaller: a or m?
m
Suppose 6375*x - 39 = 6372*x. Are 15 and x equal?
False
Suppose -51 = 4*h - 3*g, -3*h - 5*g = -4*g + 48. Let w = 11 + h. Let r = 5 - 8. Which is bigger: r or w?
r
Suppose -4*t + 376 = -5*a, 542 = 5*t + a + 43. Suppose 70 = -4*h + 462. Which is bigger: h or t?
t
Let a = 0.568 - 0.138. Let s = a + -0.48. Are 3/2 and s equal?
False
Let r = -624 - -623.37. Is r at most as big as 11?
True
Let o be (0 + 14)*2/4. Let h = o - 15. Let i = h + 12. Is i > 3?
Tr