
Suppose 2*m = 4*m. Let f be ((-12)/(-114) - 0)/(-1). Which is smaller: m or f?
f
Let b = -0.48 - 18.52. Let k = 18.93 + b. Does k = 2/7?
False
Let u(p) = p - 20. Suppose -7 = -r - 4*f + 9, 48 = 3*r + 3*f. Let v be u(r). Is -25/9 > v?
True
Let n = -184 + 194.3. Let d = n - -0.7. Which is greater: -1 or d?
d
Let z(r) = -3*r + 35. Let i be z(11). Let f be (6/(-10))/(1/(-20)*i). Are f and 6 unequal?
False
Let m = -912 - -912.02. Let t = -0.04 + 0.16. Let w = t - m. Which is bigger: w or -8?
w
Suppose -3 = -33*f + 30*f. Which is bigger: f or -2/241?
f
Let k be (-18)/(-42) + (-1310)/(-14). Let y = k - 656/7. Do 1 and y have different values?
True
Let g = 280 + -280.047. Which is smaller: g or -1/4?
-1/4
Let q = 39 - -312. Let u be (-4)/18 - 30/q. Let d(x) = -2*x**2 - 17*x. Let n be d(0). Are u and n equal?
False
Let l be (-1292)/84 + (-2)/(-3) + -1. Let g = -16 - l. Which is smaller: 1.6 or g?
g
Let p be -3 + 9/(108/40). Which is smaller: p or -233?
-233
Suppose -101 = -5*i + b, 0 = i - 5*b - 5 - 20. Let a be ((-1)/(-3))/((-1)/(-12)). Let y be (8/i)/(a/5). Is y at least as big as -2/7?
True
Let b be (-3 + 3)/(-2 - -3). Let r be (36 - 40)*(-2)/26. Is b less than or equal to r?
True
Let y = -10/21 - -22/21. Are y and 0 equal?
False
Let u(s) = s**3 - 14*s**2 + 39*s - 8. Let r be u(10). Is r smaller than -2/7?
True
Suppose -l = 836 - 837. Let f be (-1)/5 + (-51)/(-205). Which is smaller: l or f?
f
Let k = -21 - -20. Let y be (k/(-2))/(4/(-38)). Let t = -5 - y. Which is bigger: -10 or t?
t
Let o be -19 + 28 - 45015/5001. Which is greater: -1 or o?
o
Suppose 4*t = j + t - 5, 5*j - 3*t = 1. Let w be (-636)/1378*(-1 - 0). Which is smaller: w or j?
j
Suppose 7*i - 10 = 2*i. Let a be (-12)/(-102) - (-3 - 411/(-170)). Is i at most a?
False
Suppose 0*o = 3*o - 6. Suppose 3*j + o*j = -280. Let w be (-30)/j - (-2)/(-8). Which is smaller: w or 2/19?
2/19
Suppose 3*i + 121 = -125. Which is bigger: -84 or i?
i
Suppose -4*n + 11 = 3*l, -4*n = -0*n + 5*l - 21. Are n and -3/92 unequal?
True
Suppose -4*d = -2*d + 12. Let f(h) = -6*h + 43. Let a be f(7). Is a smaller than d?
False
Let b(a) be the first derivative of a**3/3 - 5*a - 5. Let g be b(-2). Which is smaller: -2/57 or g?
g
Let p = 1/381 - 259/1905. Suppose -4*m - 15 - 12 = 3*q, -2*m + 5*q - 7 = 0. Let d(c) = 2*c**2 + 11*c - 6. Let w be d(m). Is w bigger than p?
True
Suppose -2*k + 34 + 6 = 4*y, -k + 12 = -2*y. Suppose 4*q + 10 = -3*p - 28, -q - k = 4*p. Let l be 2/(-5) + q/(-20). Which is smaller: l or 1/2?
l
Let s = -5 - -1. Let n be ((-2)/s)/(345/114 + -3). Which is smaller: n or 20?
n
Let d be -1 + (11 + 255)/(-7). Which is smaller: d or 0.14?
d
Suppose -62 = -134*o - 196. Suppose -2*j + 5*z + 3 = -2, -15 = 5*z. Which is smaller: o or j?
j
Let v = 519202/75719 - -2/10817. Is v bigger than 6?
True
Let q(u) = -u**3 - 5*u**2 - 4*u + 2. Let i be q(-4). Let c be ((-1)/i + 4/8)*-1. Suppose -2*g - 2 + 4 = 0. Is c less than g?
True
Let j = 3.4 - -4.6. Let b = j - 8.1. Is b at least -3?
True
Suppose -3*w = -n - 0*w + 18, 16 = n - 4*w. Let b be (28/n)/(12/(-27)). Is b bigger than -4?
True
Let d = -83 + 39. Let l = d + 16. Which is smaller: l or 0.1?
l
Let b = 4 - 7. Let m = 1.15 - 0.27. Let d = m + 0.12. Which is bigger: d or b?
d
Let y(a) = -8*a - 21. Let b be y(-4). Let x = 0 - 0.1. Does b = x?
False
Let y = 184.9 - 185. Are -213 and y nonequal?
True
Let g be -3*1*(-2)/(-51). Let l = -0.38 - -0.3. Let k = -1.08 - l. Is k < g?
True
Let l = 666 - 664. Let h = -1998/7 + 286. Which is greater: l or h?
l
Suppose 0 = -6*i + 3*i. Suppose 2*n + 15 - 103 = i. Let c be 6/12 - (-2)/n. Is 1 bigger than c?
True
Let u be (-32)/(-168) - (-3)/21. Is u at least as big as 352?
False
Let j(g) = 3*g**2 + 3*g**2 + 9*g**2. Let d be j(-1). Let s be ((-3)/d)/(3/(-15)). Is 3 < s?
False
Let g(d) = 16*d**2 - 17*d - 6. Let o be g(3). Suppose -4*k = -1 - 351. Is o < k?
True
Let w = -104 + 104. Let b = 0.7 + -0.64. Let c = 0.16 - b. Which is smaller: w or c?
w
Suppose 925 = -3*n - 22*n. Does n = -34?
False
Let c(s) = -15*s - 106. Let q be c(-7). Is q greater than -5/204?
False
Let s be (-10 - 6/3) + -3. Let m be (12/(-20))/(1/s). Let f be m/(-6)*(-16)/6. Are 4 and f equal?
True
Suppose 0 = -s - s. Let a = 323183/1551 - 2292/11. Is s greater than or equal to a?
False
Let g = -30 - -32. Suppose 3*b + v = 21, 20 - 6 = g*b + v. Is 6 greater than b?
False
Suppose 5*o - 2*o - 2*x = 185, 5*o - 308 = 3*x. Let q = 672/11 - o. Is -2/13 bigger than q?
False
Let k = -1490 + 1476. Let o = 5.9 - 6. Which is greater: k or o?
o
Let o be (-14)/5*(-8)/(48/(-10)). Let r = -15 - -10. Are r and o equal?
False
Suppose s - l - 13 + 6 = 0, -5*s = -2*l - 23. Let h(p) = -7*p - 2. Let f(t) = -4*t - 1. Let a(i) = s*h(i) - 5*f(i). Let x be a(-1). Is -2/31 at least x?
False
Let j = 2 + 59. Let l = -45 + j. Is -2/5 bigger than l?
False
Let i(l) = l**2 - 17*l + 67. Let b be i(7). Let w be b/15 + 133/(-210). Is w != -2?
True
Suppose -3*h = -i + 20 - 86, 2*h = 8. Let b be ((-1)/(i/4))/((-3)/9). Which is smaller: -8 or b?
-8
Let l = -10/1527 + -2864/29013. Let n(i) = 2*i**2. Let o be n(-1). Is o equal to l?
False
Suppose 3*c = -3*j - 186, 0 = -3*c + 4*j - 221 + 14. Let f be (c/(-50) - (-1)/(-2))*10. Is f at most as big as 10?
True
Let g be (84/15)/((-22)/(-1980)). Are g and 504 nonequal?
False
Let v(o) = 4*o + 85. Let n be v(8). Is n less than or equal to 117?
True
Let b be -2 - 3/(15/55). Let s = -13 - b. Let t be (27/(-7) - -2) + 1. Is t greater than or equal to s?
False
Let n = 450 + -454. Which is greater: -48/13 or n?
-48/13
Let l = 6127/6 - 3065/3. Let i = 0.35 + -0.3. Which is smaller: l or i?
l
Let r = 6/481 - 79/3367. Is r greater than 0?
False
Let g = 381 - 380. Let v = -8 - -14. Let o be 1/v + (-40)/132. Is g smaller than o?
False
Suppose -2*d + 2*n = 0, -n = 2*d - 4*n. Which is smaller: d or 0.169?
d
Let c be 12/(-14) + -4 + 5. Let d = 2/21 + 4/7. Which is smaller: c or d?
c
Let k = 489 - 437. Is 0.2 at least as big as k?
False
Suppose 56*s - 40 = 54*s. Which is bigger: 14 or s?
s
Let b = 0.004 + -14.004. Is b >= 16?
False
Let u(q) = q**3 + 18*q**2 + 37*q + 26. Let g be u(-16). Which is bigger: -276/5 or g?
g
Let z be -3 + 13/4 - -1. Suppose -4*a - 2 + 6 = 0. Let c(w) = 3*w**2 - 1. Let m be c(a). Is z <= m?
True
Let w be (-6)/33 - (-17990)/(-154). Are -118 and w non-equal?
True
Let y be ((-130)/15 + 9)/((-525)/2). Is 0 at least y?
True
Let l be 24/132 + 3123330/176. Let i = -17690 + l. Let a = -57 + i. Which is smaller: -2 or a?
-2
Suppose 3*r = 20*r - 51. Which is bigger: 19/12 or r?
r
Let b(c) = c**3 - 5*c**2 - 5*c - 9. Let z be b(6). Do z and 4 have the same value?
False
Let p = 1091 + -1087. Which is bigger: p or -262?
p
Let s be (-9)/(-99) - 1136/(-88). Which is smaller: 25 or s?
s
Suppose -114*a + 112*a - 133 = 3*w, 2*a - 102 = 2*w. Is 0 at least as big as w?
True
Let z = -352.204 - -1.204. Are z and -1 equal?
False
Suppose -2*d + 0*d - 88 = -2*q, -q - 5*d = -50. Let y = 45 - q. Which is greater: 2/45 or y?
2/45
Let i = -102 + 104. Is i less than 0.069?
False
Let h be -3*2/(-54) + 25/(-63). Which is bigger: h or 2/771?
2/771
Let l = 24.2 - 27. Let o = -7.7 - l. Let r = o + 3.9. Is -13 <= r?
True
Let l(r) = 4*r + 14. Let m be l(-3). Suppose -4*z = -6*z - m. Let a = 1067/19 + -56. Which is smaller: z or a?
z
Suppose -2*w - 1 = -3*w. Let i = 413 + -408. Suppose i*j = w - 11. Is j at least -5/7?
False
Let k(g) = -g - 19. Let j be k(-7). Let i be (-1 - (-23)/25)*(j - -7). Are -1 and i unequal?
True
Let b(w) = w**2 + w + 1. Let q be 0 + (18 - (-2 - 2)). Let m = q + -24. Let y be b(m). Are 7/4 and y equal?
False
Let m(q) = q**2 - 2*q - 7. Let j be m(-4). Let f = -16 + 37. Let w = j - f. Is -3 equal to w?
False
Let j(y) = 3*y - 13. Let l be j(6). Suppose 2*u - 5*z + 0*z - 2 = 0, -l*z = u - 1. Is 2/15 at most as big as u?
True
Let y = 13 - 10. Let f(k) = -23*k - 95. Let c be f(-4). Is y bigger than c?
True
Suppose 29*t - 2080 = 13*t. Is t greater than 130?
False
Let m be 0/(-1) + 861/10906. Is m != 1?
True
Let p = 95 - 71. Suppose 0 = 6*v - 7*v + p. Which is bigger: 22 or v?
v
Let l be (-1)/5 + -21*(-20)/350. Does 16/17 = l?
False
Suppose -25 = 3*v - 1. Let m be 4*(1 + 10/v)*1. Which is bigger: -2/35 or m?
-2/35
Suppose -6*o + 6 = -3*o, o = -6*f - 136. Let g be (-23 