v?
False
Suppose 111 - 30 = 3*v + 3*r, 43 = v - 3*r. Suppose 18*z = 13*z + 150. Which is smaller: v or z?
z
Let q be -1*3*(2 - 3). Suppose 2*f - 8*f = -6. Suppose -f = 2*b - 3*b. Is b < q?
True
Let a be ((-756)/(-45))/(-2)*25. Do -213 and a have the same value?
False
Suppose b + 131 = 4*v, -3*b = v - 5*b - 38. Suppose -v = 4*f - c, f + 29 = -4*c - c. Is f <= -10?
False
Let n = -437 - -37. Let p = -781/2 - n. Is 10 > p?
True
Suppose g - 3*u = 32, 44 = -17*g + 19*g - 2*u. Is -8 > g?
False
Suppose 3*h = 2*v - 7, 3*h + 2*h + 12 = 3*v. Let f be (-1)/(32/10 + h). Let b(m) = -5*m**2 + 1. Let k be b(1). Which is bigger: k or f?
k
Suppose -t - 13 = -3*u - 2, 3*t = 2*u - 19. Let v = 760403/33 + -23037. Let y = v + -46/11. Which is greater: y or u?
u
Let x = 7.373 + -7.3. Let p = 0.027 + x. Is p < -0.35?
False
Let m be ((-36)/30)/((-1)/(-5)). Let x be (m/(-15))/((-3)/60). Let a = x + 8. Which is greater: -10 or a?
a
Suppose 0 = -2*j + 2 - 8. Let b(c) = 7*c + 2. Let y be b(j). Let a = -22 - y. Which is smaller: a or -1?
a
Suppose b + 7 = -0*m + m, m + 3*b + 5 = 0. Suppose -r - m*r = -35. Are r and -1 equal?
False
Suppose -3*y - y = -u - 18, 0 = 3*u - y - 1. Suppose -i + 81 = u*i. Let o = -16 + i. Do o and 10 have different values?
True
Let c(n) = -2*n**2 - 13*n - 2. Let d(o) = o**2 + 6*o + 3. Let k be d(-9). Suppose -3*v = 2*v + k. Let i be c(v). Is -1 less than or equal to i?
True
Let q = 100 - 101. Which is bigger: -53/23 or q?
q
Let n be (-2*9/(-8))/((-429)/(-1352)). Which is greater: n or 2?
n
Let i = 1.26 - 14.26. Let m = -2 + 2.2. Which is greater: m or i?
m
Let s = 1635 - 1692. Which is smaller: -2 or s?
s
Let f = -0.3 - -0.6. Let l = 254 + -252. Which is smaller: l or f?
f
Let k be -2 - (-1 + -244 + 3). Let h be 4 - (-114)/(-27) - k/(-351). Which is smaller: 1/4 or h?
1/4
Suppose 13 = -13*b + 26. Is b > -2/975?
True
Suppose y + 4*y = -10. Let m = 149.3 - 140. Let h = m + -9. Do y and h have the same value?
False
Let i be (-6)/(-16) + (2 - (-114)/(-48)). Suppose -2*a + 5 - 3 = 0. Let s be 2*(2/(-26))/a. Are s and i equal?
False
Let h be (-23 + 23)*(-2)/4. Is -107 at most as big as h?
True
Let b = 15.04 - 15. Let u = -1.16 - b. Let w = -2.2 - u. Do w and 0.12 have different values?
True
Let n be (-49)/106*-2 - 0. Let s = n + 6857/265. Let m = s + -968/35. Which is greater: -1 or m?
m
Let l = -14200.077 - -14211. Let s = 0.077 + l. Which is greater: 1/3 or s?
s
Let o(p) = p**2 - 4*p - 5. Let k be o(-5). Let f = -65 + k. Let d be (f/80)/(3/12). Which is smaller: d or -1?
d
Let o(b) = b**3 - 24*b**2 - 23*b - 47. Let i = -1 - -26. Let z be o(i). Let s = 4 + 3. Which is bigger: z or s?
s
Let p = 2129/273 - 102/13. Let k(q) = -q**3 - 5*q**2 - 2*q - 9. Let l = 18 + -23. Let a be k(l). Is p >= a?
False
Let y = 0.08 + 0.82. Let n = -0.8 + y. Let b = 43/105 + -4/15. Is n at least as big as b?
False
Let k(u) = 3*u**2 - 1. Let h be k(1). Suppose -5*l + h*a - 4*a = 58, -22 = 2*l + 2*a. Let w be 11/12 - (-3)/l. Which is bigger: w or 2/9?
w
Let j = 184 - 185. Which is smaller: j or -148?
-148
Let f(n) = 12*n - 292. Let w be f(29). Does 48 = w?
False
Let h be (2 + 225/(-110))/((-6)/876). Is 6 at least as big as h?
False
Let y = 0.0149 - 63.0149. Which is smaller: 1 or y?
y
Let b = -157 - -158. Which is bigger: -734 or b?
b
Let q = -9054 + 7560091/835. Does 1 = q?
False
Let v = 57 - 52. Let l be (-9)/3*(2 + (-11)/v). Is l != 2?
True
Let d(x) = -4*x - 8. Let h = -5 + 1. Let a be d(h). Let s(k) = -2*k - 7. Let b be s(-7). Which is smaller: a or b?
b
Let m = -526.08 + 526. Which is greater: 0.9 or m?
0.9
Let f be 0 + 5 + 804/(-156). Suppose -2 + 14 = 2*v + 3*g, 5*v - 4*g = -16. Is v less than or equal to f?
False
Let d be 2/(-4) - (-226)/20. Let s be (504/(-105) + 7)/((-2)/(-10)). Is s != d?
True
Let x = 128.23 + -127. Let z = 0.23 - x. Which is smaller: -1/2 or z?
z
Let m(n) = -2*n**3 + 6*n + 12. Let w be m(-2). Is 30 less than w?
False
Suppose 3*w = -4*r + 36, -2*r - 37 = -5*w - r. Let q = 9 - w. Let i be 2*-2*3/(-6). Is i smaller than q?
False
Suppose 13*n - 39*n - 936 = 0. Let u be ((-18)/7)/(3/42). Is n at most as big as u?
True
Let w = -1961/17 - -115. Let h = w + 29/34. Let g = 0.27 + -0.37. Which is greater: h or g?
h
Let f = -6 - 2. Let d be ((-22)/f - 2) + 39/(-4). Which is greater: d or -1?
-1
Let b = -245.75 + 245.9. Are b and 1/4 equal?
False
Let m = -608 - -561. Is m not equal to 1/5?
True
Suppose -d - 4*t - 8 = d, 3*t = d - 16. Suppose -4*q - 3*g = -2*q + 6, d*q - g + 12 = 0. Is q equal to -7?
False
Let x = 898 + -4297/5. Which is greater: x or 39?
39
Suppose -h - 10 = -2. Let b = 12 + h. Is 2/3 bigger than b?
False
Let c = 95 + 148. Let y = -10 + c. Suppose -78 = -5*j - y. Which is greater: j or -30?
-30
Let c(i) = -3*i**2 + 32*i - 9. Let s be c(10). Let h = -24 + 39. Is s less than or equal to h?
True
Let c = -214 - -227. Is c > 1?
True
Let v = -11 + 59/7. Is v less than -1/8?
True
Suppose -2*k = -5*k - 57. Suppose -2*m - 28 = -3*m - 3*r, -3*m = -3*r - 60. Let b = -42 + m. Which is smaller: k or b?
b
Let b = -0.8 - -1. Suppose -a + 2*k - 3 = 5*k, 3*k = -3*a - 33. Let i be 12/a - (-4)/6. Is b > i?
True
Let v = 930 + -1847/2. Let r(w) = w**3 - 4*w**2 - 3*w - 7. Let q be r(5). Let s(b) = b**2 - 2. Let f be s(q). Are v and f non-equal?
True
Let h = -160 - -171. Suppose -2*j + 0*j + 6 = 4*i, 0 = 4*j - 4*i - 60. Is h > j?
False
Let u = -310.33 - -309. Let k = -26 + 25.77. Let b = k - u. Is b less than or equal to 0?
False
Let z = 0.13 + 0.06. Let g = -0.018 - -0.128. Let p = z + g. Is p equal to -1?
False
Let a be (-30)/25*500/15. Let r be (-118)/a - 12/(-48). Is r <= 4?
True
Let g be 134/6*306/(-26). Let k = g - -263. Is 0 smaller than k?
True
Let x = 4 + -6. Let s = 2 + x. Suppose -12*m = -8*m - 8. Which is bigger: s or m?
m
Let g(l) be the first derivative of l**6/360 + l**5/10 - l**3 + 6. Let h(b) be the third derivative of g(b). Let k be h(-12). Is k not equal to 8/7?
True
Let i(p) = -2*p - 19. Let f be i(-12). Suppose -f = 3*v - 2. Is v bigger than 6/13?
False
Let l be (-2)/4 - ((-50)/(-20))/5. Suppose -2*t + 12 = -5*t. Let z be (1 + 1)*t/(-8). Which is bigger: z or l?
z
Let m = -1672 + 1667. Which is smaller: m or 2?
m
Suppose 2*h = -h + 5*l + 17, -5*h + 3*l = -23. Suppose h*y - 5*y + 35 = 0. Which is smaller: 36 or y?
y
Let n be ((-188)/(-470))/(1/20*-79). Which is smaller: 0 or n?
n
Let g = 310 + -309. Is g >= -4/175?
True
Suppose -w + 943 = 942. Let k be (2/(-60))/((-1)/2). Which is greater: w or k?
w
Let c be (1650/230)/(-11)*(-1 - 0). Are c and 1 unequal?
True
Let w(j) = j**2 - 12*j + 12. Let d be w(10). Is -9 at most d?
True
Suppose 3*i = 5 - 2. Let a = -2489 - -34847/14. Is i bigger than a?
True
Suppose 2*o = -0 - 4. Let s be 18/(-15)*(-35)/14. Let a be s/(-3 - (-3)/2). Is o equal to a?
True
Let n be ((-6024)/(-18))/((-294)/63). Which is smaller: -71 or n?
n
Let i = 22 - -7. Suppose -3*q + 2*r - i = 0, 0*q + 3*r = q + 19. Let x(s) = 7*s - 1. Let a be x(-1). Is a <= q?
True
Let d = 135 + -132. Suppose 0 = 5*g + r - 119, -d*g = -0*g + r - 71. Is 25 at most g?
False
Let i = -421 - -439. Are 0.08 and i nonequal?
True
Let d(c) = -7*c - 11. Let m be d(-2). Suppose m*n - 174 = -b, 5*n - 276 = 2*b + b. Which is smaller: 56 or n?
56
Let b be (-24)/4168*6/9. Is b > 1?
False
Let i = -4.72 - -4.1. Let z = 0.9 + i. Let a = z + 0.02. Which is smaller: a or -0.1?
-0.1
Let g = -40432 + 3194126/79. Suppose 4*d - 4 = -4*r, -2*d = 2*r + 3*r - 5. Does g = r?
False
Let s = 111 + -118. Let h be (4/(-6))/(4/(-6)). Let z be (1/h)/(0 - -3). Is s bigger than z?
False
Suppose -3*y + 19 = s, 5*s + 0*s - 65 = -5*y. Let d be 0 + (-6)/(-51)*s. Let v = -146/153 + d. Which is smaller: -1 or v?
-1
Let s be (-12)/21 + 64/14. Let u = -8 - -7. Let q be (s/8)/(u/2). Is -24 bigger than q?
False
Let y(t) = -27*t**3 + t**2. Let o be y(1). Let b = -25 - o. Suppose -b - 29 = 6*s. Which is greater: s or -4?
-4
Let y = 3.944 - -0.056. Is y less than -3/8?
False
Suppose 0 = -8*r - 294 - 50. Is -52 less than r?
True
Suppose 2*k = -0*k + 14. Let l = -175.4 + 175. Is l bigger than k?
False
Let l(v) = -v**3 + v**2 + 6*v + 32. Let a be l(0). Are 39 and a non-equal?
True
Let l(p) be the third derivative of p**6/360 - p**5/24 - p**4/12 - p**3 + 6*p**2. Let n(j) be the first derivative of l(j