+ 2 + 2. Let p be s(4). Which is greater: r or p?
p
Let j be (0 + 268/(-10))*195/(-156). Is j >= 35?
False
Let d = -5.66 - -6.66. Is d greater than -4/57?
True
Let q = -359.06 - -357. Which is bigger: q or -2?
-2
Suppose -529 = 12*o + 1955. Which is smaller: o or -209?
-209
Let o = -519.1 + 519. Is o > 432?
False
Let x = 0.57 + 0.63. Let w = x - 1.3. Do w and 28/3 have different values?
True
Let h = 22.8 - 25.8. Which is smaller: 33 or h?
h
Let x = 157.02 - 157. Are x and -10 non-equal?
True
Let v be (-6)/21 - (-158)/14. Let z be -1 - v/(33/18). Which is greater: z or -5?
-5
Let x = -149/16 - 1437/112. Is -22 <= x?
False
Let n be 38/(-342) - 10/(-9). Does n = 1/109?
False
Let c be 2/(-3) - 58/3. Suppose -6*m = -4*m + 42. Is m > c?
False
Let t = -1.042 + 0.042. Let l(s) = -4*s + 7. Let r be l(10). Let p be 3/r + (1 - 1). Which is bigger: t or p?
p
Suppose -2 = -4*f - 6. Let p be 0/2 + -1 + (-24)/(-15) + -2. Which is greater: f or p?
f
Suppose 4*f = -4*g + 40, -35*g + 32*g - 12 = 0. Let n(m) = -m**2 - m + 14. Let z be n(0). Does z = f?
True
Suppose -2*g = -j + g + 13, 3*g = -4*j - 8. Let m be 1/10*(6 + -18 + 24). Which is greater: m or j?
m
Let b = -2/799 - -2435/15181. Let r be (1/(-114))/((-2)/(-2)). Let u = b - r. Which is greater: u or 1?
1
Let u(n) = n**2 - 10*n - 15. Let z be u(14). Let l be 3*z/42 - 3. Let y be ((2 - 3)*0)/(-1). Is y >= l?
True
Suppose 5*n - 5*j - 2101 = 694, 5*j = -4*n + 2272. Is n less than or equal to 562?
False
Let i = 2/747 + -1540/17181. Suppose 23 - 23 = t. Is t at least i?
True
Suppose 4*y = y + k + 22, -4*y - 4*k + 40 = 0. Is y smaller than 1.4?
False
Let q = -94 - -465. Which is smaller: 373 or q?
q
Let x = 132 - 132. Which is smaller: x or -0.54?
-0.54
Suppose -51*z + 480 = -35*z. Which is smaller: z or 216/7?
z
Suppose 9*l + 34 = -29. Let s(t) be the second derivative of t**5/20 + 7*t**4/12 - 3*t**2 + t. Let x be s(l). Is x != -5?
True
Let l = -1789 + 1686. Which is smaller: l or -203/2?
l
Let i = -2.52 - 0.08. Let d = i - -0.6. Let f = -1.9 - d. Which is smaller: 4/5 or f?
f
Suppose 8 = -0*r + 4*r. Suppose 7*j = r*j + 145. Suppose 2 + 3 = n, -2*o = 5*n - j. Is 7/3 greater than o?
True
Suppose -k - 5*s = 3*k + 113, -5*k - 132 = -3*s. Let l = 17 + k. Which is bigger: l or -17/2?
-17/2
Suppose -4*m = -5*m. Let p = -11.5 + 12. Let j = 1.5 + p. Which is greater: m or j?
j
Let p be (2 - 272/20)/((-4)/10). Let c = -30 + p. Which is smaller: -3/14 or c?
c
Let x be -17 + 19 + 794/3 + -2. Is 265 bigger than x?
True
Suppose 0 = 96*a - 102*a - 90. Do -6 and a have the same value?
False
Suppose n + 6 = -18*h + 20*h, -7*h = 5*n - 38. Which is smaller: h or 11/3?
11/3
Let b(f) = -f + 26. Let y be b(0). Let u be (10/10)/((-2)/y). Which is bigger: -12 or u?
-12
Let g = 0.34 + 2.06. Let m = g + -20.4. Which is greater: 0.1 or m?
0.1
Let c = -67 + 66. Let b be (-98)/21*18/7*c. Does b = 13?
False
Let y = -52 + 205/4. Let j = -24.84 - -1.84. Which is bigger: y or j?
y
Let k = -880424 + 11454137/13. Let q = -663 + k. Which is bigger: 0 or q?
q
Let t(s) = 8*s + 7. Let w be t(-3). Let c(a) = a**3 - 28*a**2 - 62*a + 43. Let m be c(30). Are w and m non-equal?
False
Suppose -4*c + c = -12, n = c - 4. Suppose n = s + 4*i - 52, -s + 4*i + 20 = -0*s. Is 36 >= s?
True
Let f = 6 - 6.08. Let i = -2714 + 2713. Which is smaller: i or f?
i
Suppose 5*h = -q - 555, 2*h - q = 76 - 298. Let s = -1224/11 - h. Are s and 1 unequal?
True
Suppose -125 + 45 = -5*q. Suppose 0 = -0*x + 2*x - 34. Let m = x - q. Which is greater: 8/9 or m?
m
Let s be (-6 + 4 - -4) + -181. Which is smaller: -177 or s?
s
Let a = 87 + -38. Suppose -a = 7*z - 7. Let m = 1 + -7. Are z and m equal?
True
Suppose 4*c - 3*c + 3*d - 5 = 0, 0 = 4*c - 3*d - 20. Suppose 14 + 6 = -5*s - c*g, 0 = 3*s - 5*g - 12. Let h be 26/8 + -1 - 2. Is h > s?
True
Let t = 625 + -35623/57. Let i = t + 5/38. Is i <= 0?
False
Suppose -5*a - 35 - 55 = 2*c, 0 = 5*c + 25. Let j be a/20 - (-208)/220. Let r = -151/660 + j. Is r >= -1?
True
Let d be (-4)/((95/(-80))/(-19)). Is -9 bigger than d?
True
Suppose 195*l - 58 = 166*l. Which is greater: l or 23/17?
l
Let v = -2/323 + -317/969. Which is greater: v or 2.8?
2.8
Let j = -24 + -40. Is -64 at most j?
True
Let h(v) = v**3 + 4*v**2 - v - 4. Let s be h(-4). Let t(f) = -f**2 - 8*f - 7. Let x be t(-5). Let b be 0/(-4*(-2)/x). Is b less than s?
False
Let c be 65 + ((-2 - -1) + 0)*1. Suppose -2*r - 4*t + 4 = 2, -4*r + 4*t + c = 0. Are 10 and r non-equal?
True
Let z = 3 + -21/5. Let u = 1124 - 1126. Which is bigger: u or z?
z
Let y be 12/(-5) + 70/175. Which is greater: 1 or y?
1
Let u = -1.2 + 1.7. Let x = u + -0.18. Let t = x + 0.18. Does 0 = t?
False
Let l = -75 - -111. Let f be 296/(-117) + 8/l. Which is greater: -3 or f?
f
Let o be -4 + (-372)/15*(-5)/2. Let i = 6 + o. Is 64 less than or equal to i?
True
Suppose -4*n = -4*t - 4, -2*n + 3 = 4*t + 19. Let i be (-8)/(-17)*t*3/(-36). Which is smaller: i or 1?
i
Let a be (0/2)/((-24)/(-8)). Let n be (0 - (-8 - 1)*-1) + 4. Are n and a equal?
False
Let g = 0.7 - -3.3. Let h = g + -3.9. Let k = 46 - 47. Which is smaller: h or k?
k
Let l(c) = c**2 + 24*c + 152. Let s be l(-12). Let m = -1 + 10. Suppose 0 = -h + 2*h - m. Is s less than h?
True
Suppose 0 = 173*p - 158*p + 390. Which is bigger: -151/6 or p?
-151/6
Suppose 2*s - 13 = 11. Let m be ((-10)/(-25))/(s/(-9) - -2). Is m equal to -5?
False
Let g = -0.8 - 0.2. Let x = 0.19 + -0.01. Let k = x + -1.18. Is k at least g?
True
Suppose -3*k - 42 = 4*k. Let t = k + 11/2. Is 1.56 greater than t?
True
Let i = 7 - -11. Let c = 18.2 - i. Which is bigger: c or -2/9?
c
Suppose -5*b = 2*k + 16, -3*b - 4*k - 9 - 9 = 0. Is b less than or equal to -30/17?
True
Let f = -16 - -16.21. Let k = -0.79 - f. Let y be 159/180 + (-3)/4. Is y < k?
False
Let y(t) = t**2 - 13*t + 22. Let j be y(11). Suppose 4*s = -j*s. Is -1/3 less than s?
True
Let b = -17.6 - -19. Let i = b - 0.2. Let y = i + -1.1. Which is smaller: 5 or y?
y
Let t = 39 - 23. Suppose 32 = -2*a + t. Is a less than -8?
False
Let a = 15 - 9. Let c be (a/7)/((-3)/21). Let b be (2/c)/((-4)/(-24)). Which is smaller: b or -1?
b
Let q be (9/3)/(-3*6/48). Is q bigger than -4?
False
Let m be (-313)/9 + 15/((-810)/12). Is m at least as big as -38?
True
Let p(c) = c + 1. Let y be (6/(-2) - -1)*-3. Let o = 4 - y. Let n be p(o). Which is greater: n or 2/21?
2/21
Let q = -11 + 305. Is 294 at most q?
True
Let w(v) = v**3 + 8*v**2 + 8*v + 6. Let z be w(-7). Let f = 3 + z. Let p be (f - 1)*(-6 + -3). Does p = -8?
False
Let i = -166 + 301. Let p = -7978/3 + 83833/30. Let a = p - i. Which is greater: a or 0?
a
Let m = 36 - 31. Suppose -10*d - m = 25. Which is smaller: -5 or d?
-5
Suppose -3*j - g = -5*j - 16, 0 = -5*j + g - 37. Let a be 1/((1/25)/(2/(-6))). Which is smaller: a or j?
a
Let n = 59 - 37. Let c be 1/2*16/(-8). Let w be 20 + (-2 + 2 - c). Which is greater: n or w?
n
Let q = -937 + 938. Which is greater: q or 2/3293?
q
Let z = -627233/5 - -124654. Let h = z - -788. Do h and -5 have the same value?
False
Let n be (4/65)/((-1)/30). Let c be -2 + -2 - 3/(-1). Is n at least c?
False
Let s be 26/(-22) + 98/98. Let u = 0.1 + -0.29. Which is smaller: s or u?
u
Let f = 57 + -53. Suppose -f*q + 155 = c, -q + 3*c - c + 50 = 0. Which is smaller: 41 or q?
q
Let i be 2 + -166*(1 - (1 + 1)). Let j = -165 + i. Let h be 2 + 0 + 4 + -1. Is h <= j?
False
Let v be -3*(5*2)/(-18 + 16). Is 19 less than or equal to v?
False
Let t(p) = p**2 + 25*p + 136. Let u be t(-8). Is u smaller than -2?
False
Let m = 3/359 - -275/10052. Suppose 5*i + i + 6 = 0. Which is bigger: m or i?
m
Suppose -3*a - 7 - 5 = 0. Let g(i) = -i - 2. Let w be g(a). Let u be w + 1 - (-225)/(-65). Which is greater: u or -1?
u
Suppose 23*v = -131 + 62. Let u be -1 - 1 - 7/4. Is u at least v?
False
Let n(z) = -z**3 - 7*z**2 - 5*z + 8. Let i be n(-6). Suppose i = 4*s + 14. Which is smaller: s or -36/13?
s
Suppose -61 = -g - 12. Let x be (-12)/(-14) + 7/g. Suppose s + 10 - x = 0. Is 0 equal to s?
False
Let k = -359418/155 + 989538673/426870. Let z = -1/1377 + k. Which is greater: -2 or z?
z
Suppose -25*k + 32*k = 189. Suppose k - 263 = -4*f. Do f and 59 have the same value?
True
Let v be (0/9)/(-6 + 9). Let t be -2 + -7 + 8/4. Let w be 4/6 + t/9. Which is bigger: w or v?
v
Let h be 4/12*(-2)/