 g be (0*2/(-4))/i. Suppose -29*v - 90*v = 14*v - 2128. Is g >= v?
False
Let k be (11/((-1584)/2264))/((-58528)/(-42)). Let l = -1/1888 - k. Which is smaller: 0 or l?
0
Let j = 1 + 0. Suppose -u + 5*q = -125, u - 4*q - 20 = 100. Suppose -4*g = n - 3*n + u, -4*n - 53 = 3*g. Which is smaller: g or j?
g
Let g be -8 - (-1 - (-8 + 15)). Which is greater: -23.1 or g?
g
Let o be ((-8)/(-5))/((-356824)/4700). Which is smaller: o or 1?
o
Let p = -488.33 - -467.33. Let o = -2248/9 + 250. Which is smaller: o or p?
p
Let h be 3672/85 + -1*(-4 - 6/(-2)). Is h equal to 45?
False
Let s(q) = 245*q - 3729. Let p be s(17). Does 432 = p?
False
Let t be 0 + 0 + -3 - (-1178)/434. Is t greater than 41?
False
Suppose 2 - 2 = 14*r + 75*r. Which is greater: r or -1/10208?
r
Let z be 0 + 3 + (-4)/(-2). Let j be 3*(4 + (-112)/21). Let q be -1*1 - (j - 28/24). Which is smaller: z or q?
q
Let b = -1086/25 + 14068/325. Is 7.44 at most as big as b?
False
Suppose 4*j = d + 114, -28*j + 27*j + 20 = 4*d. Let b(t) = -2*t**2 - 1. Let z be b(2). Let r = z + j. Do r and 19 have the same value?
True
Suppose 2*x - x = -15. Let m be ((-32)/(-6))/(x/(-9)). Let y be -1*90/40*(-56)/42. Does y = m?
False
Let m be 6/22 - (-1855296)/(-1584). Which is smaller: -1173 or m?
-1173
Let d = -0.3 + 0.2. Let o = -62 - -61.894. Let i = o + 7.106. Which is smaller: i or d?
d
Let k(m) = m**2 - 10*m + 9. Suppose p + 12 = 16. Suppose 4*g + 27 = p*z - 21, -6 = z + 5*g. Let o be k(z). Do o and -14/15 have different values?
True
Let m(k) = -k**2 + 4*k + 80. Let t be m(-9). Let c = -1 - 39. Is t at most as big as c?
False
Let c be 2/(-7) + 504/49. Let d be (-20)/(-25) - (-182)/c. Let k = 2 - d. Is k less than or equal to -50/3?
True
Let i = -3.9 + 0.9. Let u = i + 2.6. Let k = 0.5 + u. Is k equal to -0.06?
False
Suppose 10 = -4*f + 6*f. Suppose 4 - 1 = n + 5*q, f*q + 9 = 3*n. Suppose -n = 3*c + 3. Which is bigger: -3/2 or c?
-3/2
Let d = -693 + 927. Let m = -238 + d. Which is smaller: m or -23?
-23
Let a be 151 + (4 - 1)/3. Let v be ((-6)/a)/(156/(-416)). Which is smaller: -0.6 or v?
-0.6
Let s = 1321/28864 + -20/451. Which is bigger: 2/3 or s?
2/3
Let w be (-34)/(-255)*15 - -11*26/(-138). Is 0 equal to w?
False
Suppose -54*t + 48 = -46*t. Suppose -t*y - 14 = -4*y. Let g be (-3)/(-4) + y/168*-6. Which is greater: -6/29 or g?
g
Let n(y) = 6*y + 32. Let c be n(-5). Let a = c - 25. Is -14 less than or equal to a?
False
Let w = -0.029 - 4.871. Let c = 439 + -444.3. Let y = c - w. Which is bigger: y or -6?
y
Suppose 0 = 4*y - 5*b - 11332 + 11369, y + 25 = -b. Suppose -l - 2*o + 7*o = 2, -5*o + 19 = -2*l. Which is bigger: l or y?
l
Let h = 323 + -328. Let z be 6/(-1)*(h + 306/60). Which is bigger: z or 15/11?
15/11
Suppose 16*w - 123*w = -11770. Which is bigger: 116 or w?
116
Let i = 4249 - 4250. Which is bigger: i or -1/5312?
-1/5312
Suppose 5*o - 3*o - 108 = 0. Suppose 0 = -5*c + 539*r - 542*r + 282, 50 = c - r. Do c and o have the same value?
True
Let f(s) = -s**2 - 9*s + 15. Let b be f(10). Let i(p) = -11*p**2 + 2*p - 8. Let t be i(4). Which is bigger: b or t?
b
Let p be 10/(-12)*(-354)/(-20). Let b be ((-4)/((-32)/9))/(357/(-4658)). Let y = b - p. Is 0 not equal to y?
True
Suppose -3 = c - 24. Let b be (-12)/(-10)*35/c. Let j be (138/(-24))/(b/(-8)). Is j > 22?
True
Let f(u) = u**3 + 4*u**2 - 40*u - 28. Let t be f(-15). Is t at most as big as -1903?
True
Let i(c) = c**2 + 75*c + 438. Let j be i(-71). Is 154 at least as big as j?
True
Let g = -81 - -57. Let b = -23.79 - g. Let c be ((-1)/(-2))/(2 + (4 - 5)). Which is greater: c or b?
c
Let s be 10/(-55) - (-46)/132. Let y be 60/(-140) + (-8)/14. Is s at most as big as y?
False
Suppose -5*i + 20*l - 22*l = 5321, 3*i = -2*l - 3187. Are 0.07 and i equal?
False
Let p be (-1)/((-19)/14)*240/56. Which is bigger: p or 0.06?
p
Let s be (-434)/(-93)*(8 - -6 - 5). Which is greater: s or 5/7?
s
Let f = 83 + -84. Let h be 4/(-12) - (-473)/12*-1. Is f smaller than h?
False
Let s = -0.4 + 0.4. Let l = s - 3. Let n = -10916 - -10905. Is l less than or equal to n?
False
Let y(r) be the third derivative of r**6/120 - r**4/6 - r**3/2 + 238*r**2. Let s be y(2). Is -12 < s?
True
Let n be 195/(-130)*(-2)/(-3). Is n at least 28/227?
False
Let b = -95111599019/160673638 - 5/2398114. Let c = -592 - b. Is c <= 1?
True
Suppose 36*b - 121*b = 230*b + 124*b. Is b bigger than 2/46631?
False
Suppose -14 = 2*i + q - 5, 3*i + q = -15. Let s be 4/((-72)/(-354)) - 2/i. Are s and 190/9 equal?
False
Let u be ((-12)/(4 + -2))/749. Let n = u - 81629/1498. Which is greater: -56 or n?
n
Let q = -18/95 - 752/1045. Let i be 4/6*3*6/42. Which is bigger: i or q?
i
Suppose -4*c + 924 = -224. Let l be (-3 - (-3 - -1))*(-12 - c). Is 298 smaller than l?
True
Let n = -359 - -365. Let s be (n - 1308/216)/((-1)/(-4)). Which is bigger: s or 2/97?
2/97
Let b(m) = m**3 - 12*m**2 + 8*m - 10. Let w be b(10). Let g = 20152 - 20151.8. Which is smaller: g or w?
w
Let f = -28511/232317 - -39/311. Let i = f + -7223/747. Which is smaller: i or -0.3?
i
Let g be 9/((-122796)/3968) - (-32)/144. Which is smaller: -1 or g?
-1
Let a be (-4)/(-10) + -3*10/75. Suppose a = 8*k + 3*k + 22. Which is greater: k or -1?
-1
Let b = 0.5089 + -0.845. Let s = 0.0361 + b. Which is smaller: 3.1 or s?
s
Let j = 7011 - 628. Let m = 1525533/239 - j. Which is smaller: m or 0?
m
Let c = -5218318/19433 + 174800148553/15332637. Let w = c - 11132. Which is smaller: w or 1?
w
Let t be -10*((-2)/(-2) - (-27)/(-18)). Suppose 4*p = -5*g + 4, -5*g + t*p + 30 = -10. Suppose 6*d - 3*d = -2*s + 5, -5*s = d - 19. Is s <= g?
True
Let m = 34386408/811 - 42400. Do 2/5 and m have the same value?
False
Let i(s) = s**3 - s**2 + s + 14. Let p be i(0). Suppose 13*l - 4 = p*l. Do 5 and l have the same value?
False
Let i be (-28)/48 - 1/(-3). Let l be 4/(-8) + (-12)/8*117. Let p = l + 1230/7. Is i at most p?
False
Let k(a) = 3*a - 16. Let c be k(6). Suppose 3 + c = -5*n. Let z be ((-6)/2 - -2)/n. Which is greater: z or 7/10?
z
Let v = -0.01 - 0.09. Let i = -499421/3 + 300651121/1806. Let d = i - -3/86. Is v > d?
True
Let b be ((-1464)/297)/(40/120). Which is smaller: -15 or b?
-15
Let k(p) = -22*p + 2996. Let r be k(129). Which is smaller: r or 1417/9?
1417/9
Let s = 20414 - 20413. Suppose -3*c - 4329 = -4*o, 3*o + o + c - 4349 = 0. Let l be -1 + 3 + (-2176)/o. Do s and l have the same value?
False
Let c = 54326/13 + -4176. Suppose 13*d - 18 = 8. Which is smaller: c or d?
d
Let l = 823 - 20577/25. Let r(g) = -6*g + 1 + 2*g + 5*g - g**3 + 0*g**3. Let t be r(0). Which is smaller: t or l?
l
Suppose 4*z = -2*z - 198. Let t = -22 - z. Let h be 0 + 0 + (12 - 4/4). Are h and t non-equal?
False
Let f = -4.8 + 0.82. Let w = f + 3. Let c = w - -1. Which is smaller: 2/13 or c?
c
Let y = -183.51 + 10.51. Which is bigger: 2 or y?
2
Let s = 1015 - -107. Which is bigger: 1 or s?
s
Let l be 4/(-2) - (-3033 - -13 - 2). Is l at least as big as 3020?
True
Let h be (11/22)/((-4)/(-1864)). Is h at most as big as 218?
False
Suppose 14*q - 27 - 15 = 0. Let h be (-7)/((-2625)/(-1116)) + (q - 0). Is 1 less than or equal to h?
False
Let v = 245/969 + -4/17. Suppose -671*l = -672*l - 1. Are l and v unequal?
True
Suppose -o = 216*c - 212*c + 84, -5*o = 2*c + 312. Is -1598/27 less than o?
False
Suppose 2*j - 5*r = -35, 3*r = j - r + 25. Let s be j + ((-2010)/42)/(-5). Which is smaller: 0.1 or s?
0.1
Let q = 3.1 + -0.1. Let r = 4894 - 4932. Are q and r equal?
False
Let f = 220 + -52. Suppose -5*y + f = a - 144, 0 = y + 3*a - 54. Is y less than 62?
False
Let m(o) = -11*o. Let u(p) = -34*p. Let s(f) = -17*m(f) + 6*u(f). Let a be s(1). Suppose 168 = -31*z - 2*z - 393. Are z and a equal?
True
Let k(p) = p**3 - 7*p**2 + 6*p - 40. Let y be k(7). Suppose 11 = -y*d + 17. Let v be ((-2)/(-2))/((-20)/6 + d). Is v at most -7/2?
False
Let o = 124.5 - 219. Let y = o - -3.5. Which is smaller: 1/3 or y?
y
Let u be 112/22 + (-4)/44 - 145. Let w = -428 - -289. Which is bigger: w or u?
w
Let n = 283 + -182. Let d = n - 59. Let a = 70 - d. Is 27 > a?
False
Suppose -2*k + 300 = 3*k. Suppose -3*q - 5*s = k, -97 = 3*q + s - 25. Let w(r) = r - 22. Let g be w(-4). Which is smaller: g or q?
g
Let m = 1.7 - 32.775. Let w = -0.075 - m. Let b = -31.2 + w. Is -4.4 less than b?
True
Let w(l) = l + 7. Let f be w(-3). Le