 or equal to i?
False
Suppose 55*a + 41*a = -192. Which is smaller: 179 or a?
a
Let h = -220955 - -26514323/120. Let l be (-23)/(-8) - (-7)/(-14). Let b = l + h. Which is bigger: b or 1?
1
Let g be (-66)/54 - (0 + 2/(-9)). Let d be g*(-5 + 16/(-4)). Which is smaller: d or 25/3?
25/3
Suppose 23*g = 49*g - 46982. Is g equal to 1808?
False
Suppose -2*u - 13 = -27. Suppose -5*b = -3*r + u, 3*b - r = -3 + 2. Let s be 57/(-180) - (-4)/10. Which is bigger: s or b?
b
Suppose -v - 72 = 3*v. Let b = -3704/3 - -1216. Let m = b - v. Which is greater: m or -5?
m
Let u(k) = k**3 + 7*k**2 + 1. Let m be u(-7). Is m at least as big as 35?
False
Suppose -2*s = 2*z - 344, 4*z - 22*s - 686 = -24*s. Which is smaller: z or 174?
z
Let o = 1061/60 - -46/15. Which is greater: o or 20?
o
Let a = 218 + -220. Is -3/4 <= a?
False
Suppose -w = -l + 50, -w = -0*w - 2*l + 49. Is w less than or equal to -52?
False
Suppose -5*r - 112 = 33. Let u = r - -23. Which is smaller: -7 or u?
-7
Let f be (-2 - -1)*(-1)/4. Let d = -97 - -184. Let s = -87 + d. Do s and f have the same value?
False
Let s(j) = -j**3 - 10*j**2 - 8*j + 8. Suppose 0 = -3*n + 7*n. Suppose n = l + 1 + 8. Let m be s(l). Is m > -2/13?
False
Suppose -3*d - 10 = -2*d. Let p be ((-32)/(-48))/(1/(-66)). Let t = 34 + p. Do d and t have different values?
False
Let i = 1.5 - 1.5. Let k = -2.7 - -2.5. Is k at most as big as i?
True
Let u = 19 + -17. Suppose u*i = -7 - 7. Let o = 33/7 - 157/14. Which is smaller: i or o?
i
Suppose 0 = i + 2*v + 8, -23*i + 2*v = -20*i - 16. Is 38/35 less than i?
True
Suppose l + 2*l = 0. Let r be (6/(-4))/(2/28). Let o be (0 - 1)/((-1)/(3/r)). Which is bigger: o or l?
l
Let a(t) = t**2 + 6*t - 22. Let u be a(-10). Let g = u + -21. Which is greater: g or -2?
-2
Let b(g) = g**2 - g - 1. Let c be b(0). Let o be -4 - ((-295)/10 + -3). Let t = o + -1481/52. Is t > c?
True
Suppose 2*b + 10*u - 12*u - 2 = 0, 5*b - 5 = -5*u. Which is greater: b or 2/1069?
b
Let p(n) = -22*n - 36. Let s be p(-4). Is s bigger than 52?
False
Suppose 0 = -5*w - 2*u + 25, 0*w = -3*w - u + 15. Let k be (-2)/w - 192/20. Let y = 4 + -14. Are y and k unequal?
False
Let k = -1 - 2. Suppose -5*n - 7 = 18, -4*o + n + 45 = 0. Suppose -13*t - 6 = -o*t. Is k at least as big as t?
False
Let i be 6 + (-2 - (2 + -1)). Suppose 0*b + 6 = -i*b. Let x be 9/(-2) - b/(-4). Do x and -6 have different values?
True
Let b = -117 - -116. Which is bigger: -0.215 or b?
-0.215
Let d be 5 + 139/(-26) - (-2)/4. Is d less than or equal to 4?
True
Let b be ((-6)/24)/((-2)/16). Let x(n) = 2 + 2 - 3 - n + b. Let a be x(7). Are a and -6 non-equal?
True
Suppose 3*r = -5*t + 6*t - 230, t = -5*r - 394. Let d = r - -75. Are d and -15 equal?
False
Suppose 7*s = 2*s - 20. Let k(p) = 2*p + 1. Let z be k(4). Suppose -4*t - 24 = -t + 5*v, 0 = 3*v + z. Is s at least as big as t?
False
Let l = -0.0266 - -1.0766. Which is bigger: l or -0.1?
l
Let w = 54 + -53.899. Let q = w - -1.899. Do -0.19 and q have the same value?
False
Let a = 12 - 11. Let p = 0.92 - a. Let v = p - 1.92. Are v and 2 equal?
False
Let m(q) = -6*q + 2 + 3*q - 1. Let h be m(-5). Let i be (-9)/12 + (-4)/h. Which is smaller: -3 or i?
-3
Let l be (-3925)/(-60)*(4/(-5))/2. Let v = l + 1177/45. Which is smaller: v or 0?
v
Let o be 831/2*2/12. Let l = 343/12 - o. Let a = l + 40. Is a at most as big as -6?
False
Let b = 0.59 + -0.69. Let p = 50 - 57.94. Let o = p - -8. Which is smaller: b or o?
b
Let x = -2.7 + 3. Let o = x + -0.1. Let y be (-128)/192*2/4. Which is smaller: o or y?
y
Let m = 31.859 - 0.159. Let v = m + -33. Which is greater: v or 0?
0
Let h be 0/(-3 + 0) + 2. Let m be 1 + (-25)/9 + h. Let s = 1716 + -1717. Which is greater: m or s?
m
Let j(a) = -a**2 + 9*a + 11. Let o be j(10). Suppose 0 = 3*m + o + 11. Let f be 1558/(-95) - m/10. Is -16 at most f?
True
Let d = -331 + -62. Which is bigger: d or 0.1?
0.1
Let l(k) = -5*k + 1. Let j be l(3). Let p be 204/21 + (-4)/j. Let c be ((-1)/(-3))/((-3)/(-99)). Which is bigger: c or p?
c
Suppose -f = -5*d + f - 15, 3*d - 2 = -f. Let b(j) = j**2 - 3*j**2 + 1 + 1. Let c be b(2). Is c smaller than d?
True
Let t = -126 - -74. Is t smaller than -51?
True
Let l = 0 - -19. Suppose 0 = -2*d + 3*d - 5. Suppose 11 = d*p - l. Is 2/7 bigger than p?
False
Suppose 0*u - 4 = -2*u + m, u + 5*m = 2. Let w(o) = -o**3 + o - 2. Let a be w(0). Let k be (-1)/a - (u - 3). Which is smaller: k or 2?
k
Suppose z - 6*z + 3*u - 27 = 0, -4*z = -2*u + 20. Let q be 12*27/(-36) - (2 + -8). Is z < q?
False
Let m = -34 - -32. Let n(d) be the first derivative of d**4/4 + 2*d**3/3 + 3*d**2/2 - 6. Let z be n(m). Which is bigger: -4 or z?
-4
Let n = 190/3 - 1052/15. Which is greater: 1 or n?
1
Let s be (24/18)/(12/(-2 - -4)). Let a = -0.06 + 0.86. Does s = a?
False
Suppose 3*g = 5*v - 25, 4*v + 2*g = 8*v - 18. Suppose -10*n + 4*n + 12 = 0. Suppose -4*i = -2*i + r - n, 0 = -i + r + 7. Is v at most as big as i?
True
Let m be ((-4)/(178 + -2))/((-21)/8). Which is bigger: m or 0?
m
Let w be (16/1410)/((-2)/63). Let d = 2/47 - w. Let v = -12 + 11. Is v > d?
False
Let x = -435.9 - -505. Let r = x + -69. Which is greater: r or 10?
10
Suppose 17 = 2*m + 5*a - 11, -35 = -3*m - 4*a. Suppose -12*u = -m*u - 126. Which is bigger: u or -2?
u
Suppose -o - 3 = 2*j, 0 = -o + 5*j - 4 + 1. Let w be (-20*(-4)/30)/(2/3). Is o smaller than w?
True
Suppose 12*y - 354 = -378. Is y greater than or equal to -15/29?
False
Let y = -249/19028 + -9/284. Let q be (0 - 0) + (-1)/(-3). Do y and q have the same value?
False
Let l = -0.0197 + -0.1803. Is l at least as big as -0.2?
True
Let f = 3006 + -4496. Which is smaller: f or -1489?
f
Let t be 0*((-20)/4)/(-5). Suppose t = -5*u - 2*y, 0 = u - 4*u + 3*y. Suppose 3*n - 6 = 0, 3*d - 3*n + 15 + 0 = u. Which is bigger: -1/7 or d?
-1/7
Let w = 4622622/259 - 17848. Which is bigger: w or 1?
1
Suppose -4*f - 4 = -0*f, -2*y - 3*f = 103. Let p = 45 + y. Which is bigger: 1 or p?
1
Let s = -860525/88 - -106375/11. Let r = 1125/22 - s. Let u = -159 + r. Is u > 1?
False
Let r be (-5 + (-34)/(-6))/(2/3). Let s be 0/r - (54/8 + -1). Is s greater than or equal to -7?
True
Let n be ((0/2)/1)/(-1). Let v be (-1 + 0 + 0)*n. Let j be 0/(-3 - (6 - 12)). Is v bigger than j?
False
Suppose -4*s - 13 = -3*b - 2*b, -4 = 4*b + 4*s. Let z be (2 - -19)*20/660. Is z bigger than b?
False
Let w = -2482/1015 + 114/29. Let x = -15 + 69/5. Let p = x + w. Is p greater than 1?
False
Suppose -2*j + 137 = 3*d, -d = 5*j - 88 - 261. Suppose s = 71 - j. Is s less than or equal to -3/10?
False
Let w = -652 + 361. Are w and -869/3 non-equal?
True
Let a be 89/5 - 52/65. Let s be -40*(-2 + (-24)/(-15)). Is s smaller than a?
True
Let h = 159 + -177. Let o(j) = 8*j**2 - 3*j - 2. Let k be o(-2). Let x be 40/h - (-8)/k. Is x greater than or equal to -9/4?
True
Let j = 12 + -8. Suppose k = -2*z + 7, 2*k + 6 = 3*z - 1. Suppose j*f - z*f - 11 = 0. Which is bigger: 12 or f?
12
Let t = 1509.6 - 1493. Is -0.03 greater than t?
False
Let t = -0.7 + -1. Let b = -0.72 - -2.22. Let u = b + t. Which is bigger: u or 0.08?
0.08
Let p = 0.007141 - -43.046859. Let x = -0.054 + p. Is 1 at most as big as x?
True
Suppose -3*r - u = 6, r + 2*u = 6*u + 11. Let l be 1*-3*24/90. Which is bigger: r or l?
l
Let k = 5 - -7. Let c(t) = -3*t**2 - t. Let b be c(5). Let i be b/378 - k/(-42). Is 0 equal to i?
False
Let c = 1 - 47. Let q be -4 + -2*102/c. Which is greater: 1 or q?
1
Let m be (-2 + -1 + 42/14)/2. Is m at most as big as 2/229?
True
Let f = 0.66745 + -75.69345. Let t = -75 - f. Do t and -2 have different values?
True
Let s be 7/(21/(-36)) + 4. Let u = -14 - s. Which is smaller: u or -17/3?
u
Let m = -40 + 32. Let f be 12/m + 125/30. Is f at least as big as 4?
False
Suppose 0 = -4*c + 9 - 5. Let l be (110/45)/(-11) - 2/(-90). Which is bigger: l or c?
c
Let y = -86 - -87. Let m = 162/73 + -15305/219. Let z = 69 + m. Which is greater: z or y?
z
Let a = 283549/51986 - -1/4726. Which is smaller: 4 or a?
4
Let u be 1*179039/(-210) - 2/4. Let h = 852 + u. Do -1 and h have different values?
True
Suppose -8*q = -3*q + 35. Let m(z) = 7*z**3 - z**2 + 2*z + 2. Suppose 7*o - 17 = 2*x + 4*o, -5*x = 5*o - 20. Let v be m(x). Is q less than or equal to v?
False
Let y = -0.05031 - 0.54969. Let r = 8 + -5. Is r < y?
False
Let q = -39.8 + 36. Let o = 