Which is smaller: g or 2?
2
Let t(q) = q - 1. Let r be t(7). Let i = 24 - r. Is 18 less than i?
False
Suppose -u - 12 = -11. Which is smaller: 2/361 or u?
u
Suppose 3*w + 5 = -2*b + b, 0 = w. Let y(m) = m**2 - 6*m + 4. Let t be y(5). Let l be b*3/(-18) + t. Which is bigger: 1 or l?
1
Let y(t) = -t**2 + 6*t + 11. Let i be y(7). Suppose 3*d - 8 = i*d. Let f = -8 - 1. Is d at most f?
False
Let k(i) = -i**3 - 35*i**2 - 62*i - 20. Let z be k(-33). Is -153 greater than or equal to z?
False
Let t be (-422)/(-12) + -12 + (-333)/(-27). Which is greater: t or 37?
37
Let v(g) = g + 81. Let a be v(25). Are a and 104 equal?
False
Suppose 2 = -5*y - 3. Let w = 11 + y. Are w and 8 nonequal?
True
Let p = 47 + -15. Let v = 2955 + -68700/23. Let j = v + p. Are j and 1 non-equal?
True
Suppose -21*u - 19 = 23. Is -12/19 <= u?
False
Let q = -26.63 + 0.63. Let i = q + -2. Let g = i + 28. Which is smaller: -1.4 or g?
-1.4
Let m = -52 - -53. Let z be 90/(-78)*2/(-5). Does m = z?
False
Let b = -37.2 + 29. Let n = b + 10. Let w = 1.76 - n. Which is smaller: 0.1 or w?
w
Let n(q) be the second derivative of 0 + 2*q**2 - 7*q - 1/3*q**3. Let a be n(2). Which is smaller: a or 10/9?
a
Suppose 0*d - 3*d + l = -62, 4*d = 2*l + 86. Is 15 > d?
False
Suppose 2*t + 21 = 15. Let z be ((-4)/225)/(8/(-20)). Let k = -64/585 - z. Which is bigger: t or k?
k
Let y be (-5)/(-25)*0 - 0. Is y <= -1/73?
False
Let t = 451 + -346. Which is bigger: 0 or t?
t
Let p be 0/(2 + 0/(-1)). Let g be (-18)/((-6498)/209) + 6/(-10). Which is bigger: g or p?
p
Let k be 1/2*-1*1. Let m = -10.68 + 11. Let b = m + -4.32. Which is greater: k or b?
k
Let h = -29.9 - -3.9. Let u = -27 - h. Let b = -1 - -1.7. Does u = b?
False
Let c be 10/18*28/9100. Which is greater: 0 or c?
c
Suppose 17*h = 15*h + 8. Which is smaller: 7/2 or h?
7/2
Let s(x) = -6*x + 142. Let w be s(19). Does w = 31?
False
Suppose -3*x - 7 = m, 5*m - x = -4*x - 11. Is m at least as big as 1/92?
False
Let v = -4 - 63. Let p = 68.4 + v. Which is smaller: p or -2/5?
-2/5
Suppose -29 = 3*h + 25. Let p be (-12 - h)*(-10)/(-16). Which is smaller: 4 or p?
p
Let k = 0.979 + -0.379. Which is smaller: k or 16?
k
Let p = -1553 - -1596. Let h = -67 - -111. Is p less than h?
True
Let m be ((-32)/20)/(1/(-10)). Suppose -m = -4*a - 4*l, -l + 8 = l. Suppose j - 4*j - 3 = a. Which is smaller: j or 1/3?
j
Let x = -2.3 + 2.51. Let a = x + -0.31. Which is smaller: 9 or a?
a
Suppose 1945 = -63*v + 307. Is v != -35?
True
Let t = 0.35 - 31.35. Let d = t - -31.26. Is d greater than or equal to -0.1?
True
Let a be 30/35*2/(-24)*21. Is a bigger than 9?
False
Let u be -1 + 0 + (-22)/(-18). Let i = -62 + 73. Let g = 10.1 - i. Which is bigger: g or u?
u
Let h = -107 - -126. Let s = 49 - 29. Let y = h - s. Is -5 equal to y?
False
Let k = -747/650 - -33/26. Let p(t) = t**3 - 7*t**2 - 1. Let s be p(7). Which is bigger: k or s?
k
Let j(l) = -l**2 - 10*l - 19. Let q be j(-6). Which is greater: 1 or q?
q
Suppose -4*z = -2*z. Suppose z*l - 4*l = 4. Let n = -492 - -2945/6. Which is smaller: l or n?
n
Let k = -6 - 20. Let v = k - -24. Which is bigger: -1.5 or v?
-1.5
Let x = -27 - 65. Let k = x + 114. Which is greater: 23 or k?
23
Let q be 1*2*(-9)/(-9). Let d be 37/(-3) - (-1)/3. Let f be q/d*3*0. Which is greater: 1 or f?
1
Let c(p) = -5*p**3 - 19*p**2 - p + 4. Let r be c(-4). Is r <= 26?
True
Let c = 0.02 - -0.08. Let f = -0.9 - c. Let w be 49/(-90) - 12/(-20). Which is smaller: f or w?
f
Let o = 4.245 - 0.045. Let h = -1.2 + o. Let d = h - 3.1. Is -0.06 not equal to d?
True
Let i(d) be the second derivative of 7*d**4/12 + 5*d. Let u be i(2). Let j = u - 29. Which is greater: j or -20/9?
j
Let f = -3.2 + 2. Let t = f + 2.2. Let u = 0 - t. Which is smaller: 1.1 or u?
u
Let o(y) = -5 - 7 - 6 + 5 + 2*y. Let c be o(7). Which is smaller: -1/23 or c?
-1/23
Let m = 470.07 - 470. Which is bigger: m or 41?
41
Let k be ((30/(-4))/(-5))/(-6). Which is greater: k or -4/27?
-4/27
Suppose 0 = 5*p + 20, 2*p + 0*p = 5*o + 12. Let w = 2796 + -1496. Let u be w/(-225) - ((-8)/(-9))/4. Which is smaller: o or u?
u
Suppose -50*y = -46*y - 112. Suppose p + 5*q + 16 = 2*p, -y = -4*p + 2*q. Are 7 and p non-equal?
True
Let f(k) = 5*k - 3. Let z be f(2). Suppose 4*p - 7 = -0*v + 3*v, -p + z = v. Let o(m) = m**2 + 6*m + 3. Let i be o(-6). Is i greater than or equal to v?
True
Let y = 471.97 - 474. Let n = -0.03 - y. Let i be 8 - 90/(-75)*(-20)/6. Which is bigger: i or n?
i
Let o(s) = -s**2 + 23*s - 75. Let g be o(23). Which is smaller: -73 or g?
g
Let m = -42.54 + 42. Let b = m + 6.54. Are -0.3 and b equal?
False
Let v be (-38)/114 + 358/(-6). Which is smaller: -1/4 or v?
v
Suppose 0*c - 242 = -11*c. Are -10 and c non-equal?
True
Suppose -2*v + 2*z + 10 - 24 = 0, -4*v + 5*z - 26 = 0. Is 26 at least as big as v?
True
Let v = -2012 + 2011. Which is greater: v or -5?
v
Suppose -3 = -2*r + 1, -398 = -4*d + r. Let j be d/(-288) - (-2)/16. Which is greater: 16 or j?
16
Let g = -1113.4 + 150.4. Which is smaller: g or 1/2?
g
Let x(g) = -g**2 + 10*g - 1. Let u be x(9). Let j(a) = a**3 - 9*a**2 + 8*a - 7. Let b be j(u). Are b and -7 unequal?
False
Let n(y) = 7*y - 1. Let v(r) = 3*r - 1. Let l(q) = 2*n(q) - 5*v(q). Let u be l(4). Is -1/65 smaller than u?
False
Let v = -448959260291/1578 - -284511651. Let u = v + -31/789. Let r = u - 165/2. Which is greater: -3 or r?
-3
Let g = 6.7 + 49.3. Let s = g + -57. Is 14 greater than or equal to s?
True
Let h(b) = -2*b - 27. Let l be h(-13). Let t = -38 - l. Let m = t - -33. Which is greater: -2 or m?
-2
Let x be (17/34)/((-2)/4). Is x greater than -23/13?
True
Let w(u) = u**2 + 5*u - 13. Let i(x) = x**3 + 3*x - 7. Let h be i(0). Let a be w(h). Is 1/7 at most as big as a?
True
Let r be 4 - 4 - 4/(224/2). Is 1 equal to r?
False
Let x be (39/9 - 4)*-57. Let b = -18 - x. Is b at most 2/37?
False
Suppose 3*z - 127 = -5*t, 4*t - 17*z + 12*z - 109 = 0. Suppose -5*v - t = -4*v. Is -28 greater than v?
False
Suppose 6*c - 10*c - 330 = -5*a, 2*a + 2*c = 150. Is a less than 71?
True
Let b = 12 - 65. Let o = -52.8 - b. Which is greater: o or 30?
30
Suppose 3*c - h - 4 = h, -3*h = -3. Suppose 0 = -4*j + 2*s - 70, -c*j = j + 2*s + 42. Which is smaller: j or -18?
-18
Let z = -132392/1029 - -386/3. Are z and 0 unequal?
True
Let a be 1/(-2361)*-18*125/150. Does a = -1?
False
Suppose q - 6*q + 125 = 0. Suppose 3*b = 2*b - q. Let f be (44/(-10))/((-5)/b). Is -2/7 less than or equal to f?
False
Let a(b) = -b + 10. Let t be a(0). Suppose 16*q = 11*q - t. Suppose -3 = h + 3*r - 4*r, 5*h = -5*r - 5. Do h and q have the same value?
True
Let p = 295065253/5 - 40422499801/685. Let b = 2102 - p. Is b < 1?
True
Suppose -4*f = -w, -3*f = -6*w + 11*w - 23. Which is smaller: -86 or w?
-86
Let i = -8.93 - -17.2. Let h = 16.3 - i. Let k = h - 8. Is 1/3 greater than or equal to k?
True
Let d(u) = -u**3 - 4*u**2 - u + 3. Let a be d(-3). Let h be a*32/(-22) - (-4 + 8). Does 0 = h?
False
Let d = -222 - -234. Is d not equal to 11?
True
Let n = 166 - 1492/9. Let c = -2 - -2. Let x = 0 - c. Which is smaller: x or n?
x
Let u(g) = g**2 + 2*g + 5. Let n be u(-3). Suppose 4*d - 4*c = -8*c + n, -8 = -4*d + 2*c. Is d at most as big as 17/5?
True
Let a(s) = 2*s**3 + 6*s**2 - 9*s - 6. Let k be a(-4). Let y be 0*k/4 + (4 - 1). Which is smaller: y or 7/4?
7/4
Suppose -3 - 7 = 5*c. Let s(g) = 9*g**2 + 3*g + 4. Let b be s(c). Which is bigger: b or 33?
b
Suppose -10*a = -446 - 744. Which is smaller: 118 or a?
118
Let u = -152 + 110. Suppose 3*v = 9*v + 252. Is v != u?
False
Let t = -4 - -8. Suppose t*f - 58 + 10 = 0. Which is smaller: f or 10?
10
Suppose 3*v - 3 = -3*w, 4*w = 2*v + 27 + 7. Let o(x) = x**3 + 7*x**2 + 5*x - 1. Let i be o(-6). Suppose i*j - w*j = 2. Which is greater: j or -5?
j
Suppose 2*b + 2*b = 12. Suppose -3*g - 12 = -3*m + 15, -b*m - 8 = 2*g. Let c(q) = -q + 1. Let f be c(1). Which is greater: f or g?
f
Let o = -7.4 + 10.3. Which is smaller: -2/5 or o?
-2/5
Suppose 6*y = 3*y - 2*m + 532, -184 = -y - 2*m. Suppose 4*l - y = l. Let t = l + -289/5. Which is greater: 1 or t?
1
Suppose 3*h + 3*m - 282 = 0, -h = -6*h - 3*m + 474. Is 97 bigger than h?
True
Let p be (-6725)/20 + (-15)/(-60). Is -337 != p?
True
Let z = -15 - -15. Suppose -2*f - 19 - 9 = z. Let k be (-54)/(-7) + (-4)/f. Is 8 greater than k?
False
Sup