ppose 2*p - p - m = 0. Which is smaller: p or c?
c
Suppose -4*y = -101 + 85, -1624 = 4*w + 5*y. Which is greater: w or -406?
-406
Suppose -4*s + 9*s = 540. Suppose s = -2*x + i, i = 5*x - 4 + 280. Let r be 209/14 + 24/x. Is 15 at least as big as r?
True
Let t be 3 - (49 + 32/4). Is -429/8 at most as big as t?
False
Let w = -14111 - -13485. Which is bigger: w or -1251/2?
-1251/2
Let b be ((-9)/(-12))/((-231)/(-71764)). Which is bigger: b or 234?
234
Suppose 3996 = -133*m - 13826. Which is smaller: -6 or m?
m
Suppose -10*l + 11*l - 270 = 0. Let i be (-27)/l - (-2)/20. Which is smaller: i or 5/32?
i
Let o = -811/385 + 68/35. Let r = 10767 + -10768. Which is bigger: o or r?
o
Let l = 302 + -301.696. Let o = l + -0.004. Which is greater: -45 or o?
o
Let d = 874 + -2620/3. Do 6.2 and d have the same value?
False
Let l(j) = 10*j - 2. Let f be l(-1). Let d be 18/f + -4 - 2/4. Let k be (-1)/d + (-8)/48. Which is greater: 2/17 or k?
2/17
Let u be 1/(-3) + (-50)/(-78). Let d be (-1191)/(-100)*5/90. Let i = 1/200 + d. Which is smaller: u or i?
u
Let x = 0.329 + -0.669. Let d = 1.8 - 2.14. Let v = d - x. Which is smaller: v or 24?
v
Let g = 11 - 13. Let s be (-1 - g) + 240/(-236). Let x = s - -182/295. Is 1/5 at most as big as x?
True
Suppose -4*i - 3*z + 279 = -6*i, -z = 4*i + 565. Let v = i + 141. Which is greater: -1/64 or v?
v
Let f(k) = 2*k + 20 - 47 + 24. Let b be f(2). Let l be 2/(-9) + -1 + 1. Which is bigger: l or b?
b
Suppose -5*o + 3*l + 21 = 0, -2*o = 2*l - 6*l. Let s be 77/(-39) - o/6. Let d = s + 30/13. Is d <= -2/5?
True
Suppose -2*c - 3 + 27 = 0. Let h be (30/100 - 2/(-10))*c. Let l = 10 + -6. Is h greater than l?
True
Let p(h) = -4*h**2 - 9*h + 6. Suppose 48 = 6*a - 18*a. Let y be p(a). Is -24 at most as big as y?
True
Let x(r) be the second derivative of -r**3/6 + 9*r**2 - 89*r. Let v be (4 - -16)*(-1)/(-2). Let s be x(v). Which is smaller: 34/5 or s?
34/5
Let y be 27/18*92/(-3). Let z be (-3)/(6/(-46))*(5 - 7). Is z > y?
False
Suppose -12 = -2*d - 2*d. Let a = 188 - 170. Suppose -a*s = -12 - 222. Are s and d non-equal?
True
Let h = -199736/373 - 11/746. Is -537 greater than h?
False
Let c = -883230 + 883762. Let y(z) = 15*z**2 - z - 3. Let o be y(6). Which is smaller: c or o?
o
Suppose 39 = 27*b - 339. Suppose h = 3*s - 85 + b, 0 = -h + s - 75. Which is smaller: h or -3?
h
Suppose 4*k + 2*k = 12. Suppose -4*p + 0*p = 4*s - 132, 5*s = -k*p + 177. Which is smaller: s or 35?
35
Let w = -2 - -2. Let r(t) = t**3 - 34*t**2 + 277*t + 95. Let v be r(17). Do w and v have different values?
True
Let n = 1177.9 - 1129. Let f = 14 - n. Let o = f - -35. Is o at most 2.4?
True
Suppose -85 = -k + 4*t, -4*k + 4*t + 303 = 11. Which is greater: 484/7 or k?
484/7
Suppose 0 = -y + 3*g + 8, 4*g - 2010 = -1990. Suppose 6*h = 4*k + 3*h - 65, -4*k - 3*h = -71. Which is smaller: k or y?
k
Suppose 14 + 11 = 5*m. Suppose m*g = 7*g. Let a = 883 + -883. Is g <= a?
True
Let r be (2 + 128/(-48))*15/(-10). Is -4/6243 smaller than r?
True
Let c(w) = 18*w + 0*w**2 + 4 - w**2 - 15*w - 21*w. Let l be c(-18). Let d be (3*l/6)/((-4)/2). Which is smaller: d or -1/176?
d
Let l = 964029/19 - 50750. Is l bigger than -13?
True
Let o = 3748 - 254877/68. Is o > 1?
False
Let h be 6/186*(-7 - 216/(-32)). Suppose -5 + 1 = 4*t. Is h bigger than t?
True
Let a = -167 + 162. Let x be (18/(-60))/((-6)/a). Is x > -3.2?
True
Let b(g) = -g**3 - 10*g**2 - 2*g - 5. Let q be b(-10). Suppose 4*w = q*w - 22. Let t be (-2)/(-1) + -2 - -8. Which is bigger: w or t?
t
Suppose -8 = -2*a + 4*a. Suppose 708 = c + 2*t, -922 - 494 = -2*c - 3*t. Let s be c/(-60) - -12 - 56/10. Is s greater than a?
False
Let i = 34 - 19. Let x = 49 + -47.17. Let j = x + -1.63. Does i = j?
False
Let j = 27/2 - 77/6. Let m = -50576 + 50576.7. Which is greater: j or m?
m
Let a = -5326 - -5220. Is -115 less than a?
True
Let n be 2 - (-1 - -1) - (11 - -168). Let t = 669 - n. Let s = t + -5934/7. Is s equal to -2?
False
Let u = 4/6085 + 174613/2817355. Which is smaller: u or 0?
0
Let l be (-9)/(-3)*1 - -20. Suppose 0 = -2*j - 5*m + 27, 0 = -4*j - 5*m - l + 62. Suppose -14 + 38 = j*y. Which is bigger: y or 33/8?
33/8
Suppose 50*k - 11 = -57 - 4. Let i(h) = 4*h**2 - 2*h - 1. Let t be i(-1). Suppose -t*y + 121 = -44. Which is bigger: y or k?
y
Let k be -386 - -386 - ((-1958)/977 + 2). Is k > 0?
True
Suppose 4*u - 95 = g, 3 + 0 = -g. Let a = u - 13. Let b be 82/3 + a/(-30). Is b at least as big as 26?
True
Let g be ((1 - 0) + 1)/((-1)/21). Suppose 11 = 3*v + m + 145, v - m = -38. Is g smaller than v?
False
Let n be 1 - 704/692 - 0. Let m = n - 841/1384. Let o = 19/56 + m. Which is bigger: o or -0.3?
o
Let t = -3034/45 + 605/9. Is -399 greater than t?
False
Let j(r) = -r**3 + 13*r**2 + 2*r - 26. Let i be j(13). Suppose 8*w - 3*w - 125 = i. Let s = 16 - w. Which is smaller: s or 2?
s
Let g = 1/16 - 75/176. Let s = -259.88857 + -0.01143. Let u = s + 260. Is u less than g?
False
Let l be (-4)/530*(9400/(-210))/47. Is 0 greater than or equal to l?
False
Let o be (4/(-6))/((4 - 2) + 24/3). Which is smaller: 1/155 or o?
o
Let r = -64829373/100 + 648311. Let z = -612/25 - r. Let g = z - -217/4. Which is bigger: 0 or g?
g
Let s be (1*10)/(-4 + 6). Suppose -7 = s*a - 2. Let z = -20233/198 - -613/6. Is a >= z?
False
Let n = 5001478/495 - 10104. Suppose 3*r - 6 = -3*o, -3*r - 16*o + 21*o = 2. Is r < n?
False
Let k = -11587 - -11589. Which is bigger: k or 61/42?
k
Let c = -59436 + 772164/13. Which is smaller: -38 or c?
c
Let p = 13705 - 95933/7. Is 4/11243 != p?
True
Let y(a) = -4*a - 141. Let t be y(-7). Let v be -112 - (-1 + (-2 - -4)). Is v not equal to t?
False
Let a be 271*(-3)/(-24) + 4/32. Suppose 0 = -3*b - f + 46, -3*b - a = -4*b - 5*f. Is b greater than or equal to 17?
False
Suppose -1922 = -16*n - 162. Let c = -108 + n. Let j(v) = -12*v + 20. Let t be j(c). Which is smaller: -5 or t?
-5
Suppose 0 = -5*o + o - a + 8, -4*a = -o + 19. Let h be 3731/(-18830) + o/15. Which is smaller: h or 0?
0
Let x be (-3)/(-4*(-18)/(-19848)). Suppose -5*s - 2*n + 582 = 0, 5*s - 3*n + 225 = x. Which is bigger: 0.1 or s?
s
Let d be 17 + -11 + (389 - 1). Suppose 3*o - o - d = 0. Is 196 equal to o?
False
Let f(r) = 9*r**2 + 13*r + 10. Let m be f(-2). Suppose -m = u - n + 362, 766 = -2*u + 3*n. Are u and -378 equal?
False
Let b be (-1)/32 + 29155/1434720. Let t(l) be the first derivative of l**4/4 - 3*l**3 + 7*l**2/2 + 7*l - 1. Let r be t(8). Which is smaller: r or b?
r
Let u = 157901 - 2997806/19. Is 122 greater than or equal to u?
True
Let d(q) = 4*q**2 - 4*q - 269. Let l be d(19). Which is smaller: l or 2?
2
Let i(r) = r**3 - r**2 - 12*r + 20. Let k be i(-9). Let n = k + 680. Let u be (1 - 2)/(10/(-4)). Which is bigger: n or u?
u
Let u = -48.88 + -1.02. Let b = -2.5269 + 2.6269. Which is smaller: b or u?
u
Suppose -47*a = -29*a + 2250. Which is smaller: -130 or a?
-130
Let t(s) = -3*s**3 - 280*s**2 - 95*s - 163. Let o be t(-93). Is 271/12 >= o?
False
Let k = 2.04 - 190.54. Let x = -6.5 + k. Which is smaller: 2 or x?
x
Suppose 4*b - 37 - 4 = j, 0 = -3*j + b - 134. Suppose -5*s = 5*c + 40, -10*c + 7*c - 16 = -s. Let u be j/220*(4/c + -2). Are u and 1 non-equal?
True
Let n be (2/1 + -2)*15/75. Let b be ((-260)/18)/(-2)*(-27)/(-135). Which is smaller: b or n?
n
Let g(z) = -3*z**3 + 2*z**2 + z. Let h be g(-1). Suppose -h*o = -b + 3, 5*b + 3*o = 46 + 84. Suppose b*f - 22*f = 1. Which is smaller: -1/20 or f?
-1/20
Let j = 0.117 - 485.117. Let z = j + 478.42. Let n = 6.6 + z. Which is greater: 3/4 or n?
3/4
Suppose -4*t = -20, -2*t + 6 + 2 = d. Let f be 24/(-27)*(5/(-4) - d). Let w be 2*(12/(-88) + 0). Is w <= f?
False
Let k = 266/503 + -883118/3521. Let a = k - -252. Which is bigger: a or 3?
3
Let d(q) = q**3 - 8*q**2 + 17*q - 7. Let x be d(5). Suppose x*w - z = -195, w - 2*w - 3*z = 55. Let i = w + 194/3. Which is smaller: i or 0.5?
0.5
Let o = 10144 + -10167. Let p = -505 + 2403/5. Which is greater: o or p?
o
Suppose 4*k - 35 = -k - 5*y, -2*y = 4. Let t = k + -114. Do t and 2/7 have different values?
True
Let u = 347 + -165. Suppose 180*b = u*b + 612. Do b and -305 have different values?
True
Let d = 2.38 + -0.05. Let n = -7.75 - -7.75. Which is greater: d or n?
d
Let f(u) = -15*u - 191. Let c be f(-13). Let t be ((-156)/(-8))/((-27)/c). Which is bigger: t o