95/1127 - 13/49. Which is bigger: c or i?
i
Suppose 2*u + 4*o + 72 = 0, 427*u - 24 = 428*u + 4*o. Suppose -6 = 3*s - 3, -3*s - 101 = 2*a. Is u less than a?
False
Let d(x) = 51*x**2 + 3*x + 2. Let u be d(-2). Let b be u/9 - 28/126. Let j be 1/60 + b/88. Is 1 at least as big as j?
True
Let o = 0 - 0. Let y be 54/(-48)*(-6)/(-9) - (5 - (-37540)/(-6480)). Which is smaller: y or o?
o
Let s be (3/(15/40))/2. Suppose 20*x = -s + 4. Suppose -5*m + 37 = 4*q, 3*m - 5 - 10 = 0. Which is bigger: q or x?
q
Let k = 18466 + -19517. Is 0.4 less than k?
False
Suppose -l + 5*f - 56 = -22, 9 = 2*l + f. Let j = 32/7119 + 89862337/177975. Let b = -505 + j. Is l smaller than b?
False
Let q = -60 + 112. Suppose -q = -a - 34. Does 17 = a?
False
Let h(g) = 11*g - 44. Let y be ((-24)/10)/((-33)/110). Let u be h(y). Let w = u + -38. Is w < 2?
False
Let i be 11/(-20)*(-30)/(-4). Let h = -610 + 656. Suppose -h = 22*x + 20. Which is bigger: i or x?
x
Suppose -268 = 22*d - 48. Is -114/11 at most as big as d?
True
Let k be (36/(-217))/(4/(-20062)). Let g = -832 + k. Is g greater than -10?
True
Let q = 89 - 138. Let d = 0.071 - 51.071. Let v = q - d. Which is greater: v or 0?
v
Let q(b) be the third derivative of -b**4/8 - 12*b**3 - 3*b**2 - 10*b. Let r be q(-32). Are 26 and r nonequal?
True
Suppose 3*a - 366 + 42 = 0. Suppose 15*p - 57 = a. Suppose -24 - 15 = -3*m. Which is greater: m or p?
m
Let l be ((-2)/(-2))/((-59256)/(-36)). Is 0.1 <= l?
False
Let x = 155.58 - 10899.58. Is x <= 1?
True
Let v = -24 + 118/5. Let m = 291718/13 + -22440. Is v > m?
False
Suppose -87*y = -78*y - 7056. Let o be (-2916)/y - -4 - 2/(-8). Which is smaller: o or 1?
o
Let v(a) = a**3 - 6*a**2 + 5*a + 4. Let i be v(4). Let g be (-4 + 3)/(1/8). Are i and g unequal?
False
Suppose -3*r - r - 2*b = 224, -3*b + 244 = -4*r. Let h = -79 - r. Let y be 21/h - (-37)/38. Is 0 at most as big as y?
False
Let h(w) = -w**2 + 36*w - 298. Let n be h(18). Is n at least 26?
True
Suppose 2072 = -4*o - 15*a + 11*a, 5*a + 2070 = -4*o. Is -1/3 < o?
False
Let l = -2087234/129 + 16180. Which is bigger: l or -1?
l
Let p be 3/(-6)*1*-34. Suppose 0 = -y + 37 + 131. Suppose -6 = 9*x - y. Which is smaller: p or x?
p
Let f(y) = 23*y + 68. Let j be f(-3). Let d = -295149/131 - -2253. Which is greater: j or d?
d
Let o = -292639 + 5558209/19. Do -101 and o have different values?
True
Let c(b) = b**3 + 16*b**2 - 11*b - 181. Let j be c(-11). Which is greater: 544 or j?
j
Suppose -13 = -4*h + 55. Let g = h - 22. Let k be (-15)/40*1*1*g. Which is smaller: 3 or k?
k
Let u(y) = 185*y**2 - y + 1. Let z be u(1). Let b(w) = 21*w**2 - 189*w - 571. Let m be b(-3). Is z smaller than m?
False
Let y = 147 - 770. Is -3111/5 at least as big as y?
True
Let j = 113 - 114. Let f be (-2)/2 - j - (66 + 28). Which is bigger: -98 or f?
f
Let a = -849.13 - 127.87. Which is smaller: a or 2/5?
a
Let k = 241 - 245. Let i be (23/46)/(254/k). Is i greater than or equal to -1?
True
Let a = -1353562475755/99 + 13672167427. Let d = a - -180811. Let y = d + 20/9. Is y less than -1?
False
Suppose 5422*h - 80652 = 5396*h. Which is greater: h or -1?
h
Let z be (-654)/4*(-2)/15. Let l = 20 - z. Let d = 203.1 - 203. Which is bigger: d or l?
d
Suppose -5*j + 32 = -21*s + 22*s, -2*j - 4*s = -20. Is j < 2/167?
False
Let i = -2291 - -2286. Which is bigger: i or -555?
i
Let k be (-1)/(-2)*(-2844)/79*2/(-18). Which is smaller: 9/544 or k?
9/544
Suppose -62*r + 228 = -65*r. Let u be (-1)/4 - 198/(-88). Let w be (-4)/7*1/u. Is r smaller than w?
True
Let f(h) = 777*h**2 - 548*h - 549. Let v be f(-1). Is v equal to 785?
False
Let f = 1.655 + -5.41. Is -1 at least f?
True
Let w = -4111 - -1831. Let j be (-6)/15 + (-22)/w. Let v = 11/57 - j. Is v at most 0?
False
Let j = -3.194 - -0.004. Let k = j - 0.01. Let x = 3.7 + k. Which is smaller: -1 or x?
-1
Let y = 2213 + -2201.79. Let r = y - 0.61. Let s = r - -2.4. Does -1 = s?
False
Suppose -18 - 24 = -s. Let o = s - 42. Suppose -5*g - 11*g + 320 = o. Are 17 and g unequal?
True
Let u = 26 - 24. Suppose 4*t - 9 - 5 = -u*k, -5*k - 35 = -4*t. Suppose -t*p - 360 = -14*p. Is p bigger than 39?
True
Let h be 2/6 + -3*(-8)/9. Let d(i) = -8*i**2 + 20*i - 3. Let t be d(h). Let z = t + 89/6. Which is bigger: -1 or z?
z
Let j(y) = -792*y + 49. Let u(s) = -396*s + 24. Let i(m) = 3*j(m) - 7*u(m). Let k be i(-1). Is -417 bigger than k?
False
Suppose 0 = -51*i + 42*i + 819. Which is smaller: i or 821/9?
i
Let q be (-247)/1045 - 3/(-5). Suppose -3*v - 39 = -9. Let u be (-4)/v - (-3)/5. Is q >= u?
False
Let t be (-2)/1 - (-4)/(-2). Let h(v) be the third derivative of -v**4/4 - 11*v**3/6 - 6*v**2. Let n be h(t). Which is greater: 9 or n?
n
Let q be 0/(-9 + (-28)/14). Is q > -3/347?
True
Let i = 424176043/7531 - 56324. Is i at least 0?
False
Let y = -2222 + 2281. Suppose 0 = -2*w - 0*w + 4*s + 114, 0 = 2*s. Does y = w?
False
Suppose 32167 = -3*j - 4*q, -2*j - 14249 = 4*q + 7201. Which is bigger: -0.3 or j?
-0.3
Let s = 24 - 82. Let g = -53 - s. Suppose -3*j + 19 = d, -g*d + 106 = -0*j + 4*j. Which is smaller: d or 20?
20
Let j be ((-8)/(-16))/(2/16). Suppose -3*u - 31 = 3*f - u, 0 = -j*f - u - 33. Let o be 141/(-470) + (-362)/60. Which is smaller: o or f?
f
Let x(d) = 4*d + 1309. Let g be x(-65). Is 1048 > g?
False
Let v(a) = -a**3 - 8*a**2 + 3*a. Let o be v(-6). Let s = o + 101. Is s less than or equal to 12?
True
Let a = 16523/5 + -3305. Which is smaller: -5459 or a?
-5459
Let x be (1 - 2) + (3 - -1). Suppose -3*z + x*a = -222, 2*z = -a + 43 + 117. Suppose -2*s - 4*s - z = 0. Is s greater than or equal to -11?
False
Let n = 2 + -20. Let i = 16.3 + n. Let g = 0.3 - i. Is -0.16 != g?
True
Suppose 0 = -r + 2*b, r + 4*r = 5*b - 20. Let g be (-5 - -15)/5*14/(-4). Is r != g?
True
Let w = 17561.1 + -17561. Which is greater: 0.3563 or w?
0.3563
Let v(c) = 7*c - 74. Let g(w) = -19*w - 9. Let o be g(-1). Let r be v(o). Which is smaller: r or 1?
r
Suppose -10*l = 8110 + 19590. Which is bigger: -2771 or l?
l
Suppose 40*q + 16 = 44*q. Suppose -16*u - m = -11*u - 179, -q*u + 160 = 5*m. Which is greater: 33 or u?
u
Let c = 356 - 6053/17. Let w = -974 + 951. Which is bigger: w or c?
c
Let x = 3719 - 3496. Is x equal to 223?
True
Suppose 5*w = -n + 24, -8*w + 2*n + 17 = -5*w. Let q be -3 + w + (0 - 23)*-1. Is 19 greater than q?
False
Suppose 5*g - 1695 = 4*h, h + g + 237 + 189 = 0. Which is smaller: -426 or h?
-426
Suppose 5 = 2*j + 7. Let v be 0 + j/(44/(-15) - -3). Let i(m) = 9*m**3 - 2*m**2 - 3*m - 2. Let s be i(-1). Does v = s?
False
Let h = 3 - -11. Suppose h*w - 17*w + 6 = 0. Let j be w/5*(-60)/(-69). Do j and 0 have different values?
True
Let t = 526 + -523. Suppose 2*u = 3*o - 294, 3*u = 2*u - t. Is o at least 97?
False
Let h be ((-6)/2)/(5/(-30)*-1). Let z = h + 22. Let f = z + -6. Is 0.3 less than f?
False
Let k = 65 + -59. Let z be 2 + k*(-154)/(-6). Do z and 156 have different values?
False
Let g be (-20)/30*(35 + 1). Let h be -3 + (-2 + 14)/(-3). Is h >= g?
True
Let x be 4/(-10) + (0 - (-2)/5). Suppose x = c + 5 - 1, -4*c - 10 = -2*y. Let f be (-4 - -6)*y/3. Which is bigger: f or -0.1?
-0.1
Let h(b) = -2*b**3 + 4*b**2 + 34*b + 50. Let o be h(6). Let w = -1.8 - -0.8. Do o and w have different values?
True
Suppose -867 = 324*g - 543. Is -1/3388 < g?
False
Let c = -34.4 - -2.4. Let t = 6 + c. Let z = -26.2 - t. Is 8 greater than z?
True
Let j(k) = k**3 - 5*k**2 + 2. Let w be j(5). Let s(p) = 4*p - 72. Let t be s(16). Let o be -2 - (-11)/((-308)/t). Is w greater than o?
True
Let k = -20379 + 300529/15. Let q = -344 - k. Which is bigger: -1 or q?
q
Suppose -4 = -k, r - 269*k = -266*k - 19. Which is bigger: r or 0.148?
0.148
Let b(i) = -14*i**2 - 15*i - 26. Let s be b(-4). Which is bigger: -194 or s?
s
Let q = -0.13492 - 1.40328. Let j = 0.1878 - q. Let u = j - 1.7. Is u at most as big as -0.1?
False
Let u(a) = -21*a + 1. Let c be u(1). Suppose 0 = -89*t + 70*t - 285. Which is greater: c or t?
t
Let y = 13 + 23. Let r = 216.4 + -253. Let g = y + r. Is 9 greater than g?
True
Let y be (215/(-15) - -11)/(3/(144/(-10))). Let z be (10/(-8))/(8/(-96)). Which is smaller: y or z?
z
Let z = -0.63 - -0.03. Let s = 23/97 + 51/194. Which is greater: s or z?
s
Let c(p) = -p**3 + 24*p**2 - 14*p - 15. Let w be c(23). Suppose 2*g = 3*j - 140, 3*g + 23 = 2*j - w. Is g at m