s d > w?
False
Let v(n) = 33*n**2 + n + 1. Let c be v(-1). Which is bigger: 6 or c?
c
Suppose 13*d - 7 = 14*d. Let a be 2 + -1 - (-91)/d. Is a < -12?
False
Let q(g) = 21*g**2 - 18*g - 20. Let k be q(-4). Which is smaller: k or 390?
k
Suppose 10 = -2*g, 4*s - 70 = s + 2*g. Let i = 47 - s. Let u = -27 + i. Which is smaller: u or -2/11?
-2/11
Suppose -378 = s + 4*v, -s + 2*v = 5*v + 379. Which is greater: -383 or s?
s
Let o = 27 - 48. Let a = 36 - 25. Let q = -31 + a. Is q equal to o?
False
Let m = -0.18 + -8.82. Let o = -70/3 + 23. Do m and o have the same value?
False
Let d(c) = 12*c + 107 - 59 - 54. Let v be d(-6). Is v < -79?
False
Let m = -0.028 - -39.028. Let v = -39.07 + m. Let t = 1 + -2. Which is bigger: v or t?
v
Let i = 3.98 + -0.48. Let v = 3.56 - i. Let q = 0.3 - 0.4. Which is greater: v or q?
v
Let a(y) = -7*y + 531. Let j be a(40). Which is smaller: j or 0?
0
Let g be ((-1 - 0) + 119/136)/1. Let t be (-6)/4*4/(-6). Is g at least as big as t?
False
Suppose 0 = b + 4*d - 3*d - 14, -74 = -4*b + 5*d. Let r = b - 18. Does r = -7/10?
False
Suppose 2*s = -4*q + 1 - 57, -s + 32 = -2*q. Let u = -8 - q. Let d be 2*u/6*-3. Which is smaller: -5 or d?
d
Suppose 0 = -17*z - 294 - 335. Which is bigger: 0.6 or z?
0.6
Let x = 25565/44 + -581. Suppose 0*d - 3*d = 0. Is d smaller than x?
True
Let b be (-27 + 15)/(-2*(-1)/16). Let u = 164 + b. Which is smaller: 67 or u?
67
Suppose -15*k + y = -10*k - 3617, -2*y - 2173 = -3*k. Is 725 less than k?
False
Let t be 3 + 12/(-18)*174/68. Which is bigger: t or 0?
t
Let m(u) = 94*u**2 - 4*u + 3. Let v be m(1). Suppose -6*y = -3*y - 9, 5*p = 4*y + v. Which is greater: 41/2 or p?
p
Let y = 26 + -21. Suppose -2*t - 6 = 2*z - 6*z, -5 = y*z. Is t less than -6?
False
Let h be 20/(-15) - ((-3)/9 - 0). Are 9.63 and h nonequal?
True
Let o be (-6)/14 + -1*1. Let i = -697.9 - -698. Is o > i?
False
Let b = 1.006 + -0.006. Let u = -5.8 + 4.7. Which is smaller: u or b?
u
Suppose 1 = -3*s + 10*c - 11*c, -2*s = c + 1. Let i = 0.2 + 0.8. Let p = i - 2. Is s less than or equal to p?
False
Let j(p) = 14*p - 60. Let a be j(-5). Let q = a - -129. Which is smaller: -2 or q?
-2
Let h = -12 + 12. Suppose -6*w + 2*w - 24 = h. Suppose 20 = -3*s - s. Which is greater: w or s?
s
Let f(a) = -a**2 + a + 1. Let w be f(2). Is w smaller than 9/23?
True
Let h = -164893/151 + 1092. Is -2/3 != h?
True
Let q(c) be the second derivative of c**5/20 - c**4/3 + c**3/3 - 5*c**2/2 + c. Let x be q(4). Suppose 0 = 3*o + x - 9. Is o not equal to 1?
True
Let n(j) = -j**3 - 10*j**2 + 9*j - 16. Let l be (-22)/4*(-1 + 3). Let i be n(l). Let f be i/3*1/2. Which is smaller: -2/11 or f?
-2/11
Let h be (-2)/4 - (-51 + 52). Are h and 1/21 equal?
False
Let i = 10.879 + -10.8. Let f = i + -34.079. Let g = f + 35. Is g less than 10?
True
Let x(a) = -a**3 + 8*a**2 + 9*a + 5. Let u be x(9). Suppose -u*p = -59 + 39. Is 4 at least as big as p?
True
Let g = 38.9 + -37.9. Is g at least as big as 20?
False
Let c = -66 + 71. Suppose -40 = -c*g + 115. Is 0 greater than g?
False
Let f = 0.15 - 13.15. Which is greater: f or 2/3?
2/3
Let v be 6/15 + (-10)/25. Which is bigger: -1/321 or v?
v
Let t = 16 + -14.8. Let f = t + -1. Let h = -0.16 + 0.26. Which is smaller: f or h?
h
Let r = 20.6 + -21.6. Is 120 bigger than r?
True
Suppose 2*n - 3*f = -0*f + 153, 2*n + 5*f = 193. Do 83 and n have different values?
True
Suppose 0*r + 5*r + 125 = 5*y, 0 = -3*y + 9. Let b = -5 - r. Is b less than 17?
False
Let j = 133 - 124.3. Let y = j - 3.7. Is 2 equal to y?
False
Let f(h) = h**3 - 16*h**2 - 18*h + 17. Let a(v) = v + 8. Let x be a(9). Let b be f(x). Is -3/22 equal to b?
False
Let l = -247 - -183. Is -64 less than l?
False
Let u = -328.98 - -329. Do 30 and u have different values?
True
Let f be -1 + (-2)/4*2. Let a be f/9 + 158/(-18). Let i = -50 - -41. Are a and i equal?
True
Suppose -28*j - 1350 = -34*j. Do 223 and j have the same value?
False
Let x = -500.8 + 498. Is 3/7 greater than or equal to x?
True
Let c be (-4)/(-6)*(-9)/(-690)*1. Do c and 0 have the same value?
False
Let n be -25*1*2 + -2. Let u = -152 + n. Let c = -1639/8 - u. Which is bigger: c or 0?
0
Let o = -80 + 479/6. Which is bigger: o or -1?
o
Let o be 10/20*(-2)/68. Let k be (-2 + 0)/((-17)/(-2)). Let r = o + k. Which is smaller: 0 or r?
r
Let i(y) = -165 - 6*y - 4*y + 170 - y**3 + 7*y**2. Let a be i(5). Which is smaller: a or 4?
4
Let a(v) = v - 6. Let c = 20 + -24. Let t be c/(3 + 33/(-9)). Let o be a(t). Does o = -1?
False
Let z(s) = 31*s + 39. Let o be z(0). Is o smaller than 39?
False
Let u be 2 - (-2 - (-260)/(-28)). Let s = -1160/91 + u. Is 2 equal to s?
False
Let s(z) = z**2 + 9*z + 3. Let h be s(-9). Let k = 7 + -4. Suppose -k*t = -6*t. Is h greater than or equal to t?
True
Let j be (-6)/(-27) - (-33567)/(-27). Let r = j - -1985. Let f be 21/49 + (-290)/r. Which is bigger: f or -1?
f
Suppose 0 = z + 2*z - 3. Let n = -2626 + 15665/6. Let t = n - -29/2. Is t greater than or equal to z?
False
Let s = -247/5 + 49. Let i be (1*-11)/(7 + -8). Let o = -12 + i. Is o greater than or equal to s?
False
Let x = -6 - -9. Suppose -3*j + 12 = 4*u, 5*j - 20 = -x*u - 0*u. Let k be ((1 + 0)/(-6))/((-40)/(-30)). Is u greater than or equal to k?
True
Let k be 0/((-8)/5 - (-8)/(-20)). Let y be (-6)/(-21) + 36/(-28) - k. Which is smaller: -2/53 or y?
y
Let i = -22.9 + 113.9. Let q = i - 92. Which is greater: 24 or q?
24
Let v be -2 - (-3 - (-3 + -13)). Let s be (-2)/10 - (-12)/v. Let b(p) = p**3 - 6*p**2 + 2*p - 8. Let c be b(6). Do s and c have different values?
True
Suppose -2 = f - 1. Let r be (-2)/f*(-1)/(6/51). Which is smaller: -18 or r?
-18
Let v(h) = -3*h - 59. Let d be v(-18). Is 16 >= d?
True
Suppose 0 = -2*j + 3 + 1. Let i be (4/(-12))/((-5)/(-2295)*9). Is i bigger than j?
False
Suppose -8*u = -9*u - 524. Let r = 153 + u. Let q = -6305/17 - r. Which is greater: 2/9 or q?
2/9
Suppose 2*r - 97 = -99. Suppose 4*y - k - 6 = 0, 3*y - 5*y + 10 = 3*k. Which is bigger: r or y?
y
Let h be (342/(-99) - -4) + 83/473. Which is greater: h or 0?
h
Let d be (-616798)/(-1365) + (-2)/(-15). Which is smaller: 453 or d?
d
Let j = 78.2 - -6.7. Let h = 85 - j. Which is smaller: -58 or h?
-58
Let w(j) = j**2 - 6*j - 2. Let b be w(7). Suppose b*s - y - 188 = -3*y, 0 = s + y - 40. Let o be (5 - 7) + s/21. Is 1 >= o?
True
Let v be -36 - 312 - (-7 + 1). Which is smaller: -341 or v?
v
Let z = 41 + -96. Let f = -49 - z. Is f less than or equal to 14?
True
Let g(k) = k**3 - 3*k**2 - k - 9. Let n = -15 + 19. Let x be g(n). Suppose x*z = -5*c - 0*c - 44, -5*z - 50 = 5*c. Which is smaller: -2 or c?
c
Let v = -13 + 25. Let y be (-40)/v*(-9)/(-6). Let z = y + 7. Is 3 > z?
True
Let h(f) be the first derivative of 1/2*f**2 + 6*f - 2. Let w be h(-7). Which is bigger: w or -6?
w
Suppose -7*p = 304 - 45. Is p >= -37?
True
Let r(v) = -v**3 - 5*v**2 - 21*v. Let q be r(5). Which is smaller: -354 or q?
q
Let j = -143 - -133. Which is greater: j or 4?
4
Let w(g) = -g**3 - 6*g**2 + 17*g + 5. Let d be w(-8). Which is smaller: 1.4 or d?
d
Suppose -35 = 64*u - 57*u. Are -8 and u non-equal?
True
Let l = 627 + -626. Is -1/198 smaller than l?
True
Let j = -6 + -8. Let v = 14 + j. Let n be (3 - 2) + 92/(-84). Are v and n equal?
False
Let g = 15.5 - 27.9. Let n = -11 - g. Let y = -1.6 + n. Which is greater: 3 or y?
3
Let n(c) = -19*c + 20. Let u be n(-3). Let k = u + -76. Which is smaller: k or -2.3?
-2.3
Let v(h) = -h**3 + 43*h**2 + 39*h - 212. Let o be v(44). Which is smaller: -433 or o?
-433
Suppose 5*a - 4*y = 13, a + a + 5*y = 25. Suppose 4*d - 146 = 5*j - 21, 0 = -a*j - 5*d - 80. Which is bigger: j or -19?
-19
Let n be 6/(-18)*(0 - -3). Which is bigger: 2/235 or n?
2/235
Let r(s) = s**3 - 6*s**2 + 9*s + 10. Let d be r(5). Is 0.5 less than d?
True
Let y = -145 + 253. Let r = 110 - y. Which is bigger: r or -2.5?
r
Let a = -9.02 + 9.2. Let h be 2/(-2) + 14/10. Is h equal to a?
False
Suppose -22*a + 1370 = -192. Is a > 70?
True
Let a = -31 - -15. Let i = -1238 - -1221. Let x = a - i. Which is smaller: -14 or x?
-14
Let q = 3239/15 + -216. Which is bigger: q or 0?
0
Let c = 719 - 718.8. Which is smaller: 13 or c?
c
Let n = -105 + 73. Let h be ((-29)/2)/(10/(-20)). Let r = h + n. Is -3 less than r?
False
Suppose -50*w + 14657 = -11493. Is w <= 1047/2?
True
Let u = -1 +