v?
True
Let b be (-4)/(-10) + (-887)/(-20). Suppose -870 = -16*o - 150. Let j = b - o. Which is smaller: j or 0?
j
Suppose i - 2 = 0, -3*c = 5*i - 106 - 78. Suppose -3*m + 3*j - j = -c, -m + 34 = 3*j. Do m and 22 have the same value?
True
Let j be (-2 - 38)/((-16)/16). Which is greater: 0 or j?
j
Let i(n) = 2*n**2 - 2*n - 9. Let a be i(4). Let j be (310/(-15))/((-8)/6). Which is greater: a or j?
j
Let x = 122 + -137.4. Let s = -1.4 - x. Let q = s + -14.1. Does -5 = q?
False
Let n = -1.323 + 1.186. Is n smaller than -8?
False
Let j = 70313/35880 + -2/1495. Let z = j - 9/8. Let m = 1089 + -1089. Are z and m equal?
False
Let m = -3088/5 - -617. Is m != 85?
True
Let b = -38 + 24. Let t = b + 15. Is 5/3 >= t?
True
Let p be 2/8*8/9. Let d be 0*(-2 + (-10)/(-4)). Let b = 0 + d. Which is greater: p or b?
p
Suppose 5*u - 2*b - 1042 = -3*b, -3*u = b - 624. Suppose 5*s + u = -241. Which is smaller: -1 or s?
s
Suppose 2*o = 5 - 7. Let k be (-12 - -9)/(o + -12). Is 1 >= k?
True
Let g(o) = -o**3 - 5*o**2 + 2*o + 8. Let c be g(-3). Let a = -1.88 - 0.12. Is a smaller than c?
False
Let b = -269 + 268.9. Let r = 9.59 - 0.19. Is r >= b?
True
Let b = -53 + 52.8. Let j = 0.8 - b. Is j smaller than 16?
True
Suppose -187 = -7*h - 26. Is h at least 22?
True
Suppose -4*l + 2*y + 238 = 0, 2*l = -5*y + 115 - 14. Suppose 3 + l = -u. Is u < -60?
True
Let v be (-1)/(-3)*195/(-2). Let h = -47 + 82. Let l = h + v. Which is bigger: 4 or l?
4
Suppose -357 = 16*q - 5. Is q greater than 1?
False
Suppose 8*p - 41 - 39 = 0. Suppose 42*t - 44*t + 16 = 0. Which is smaller: t or p?
t
Let p = -58 - -68. Which is bigger: p or 51/5?
51/5
Let w = 278 + -283. Is -10 > w?
False
Let t = 25.1 - 2.1. Let q = -51 + t. Let f = -23 - q. Which is smaller: f or 0?
0
Let c be (-6810)/150 + 3/(-5). Which is smaller: -59 or c?
-59
Suppose 132 = 2*o + 120. Suppose -4*s + 6*s + a - 21 = 0, 3*s + 5*a - 21 = 0. Let p be o/(-4) - s/(-8). Are 8/7 and p non-equal?
True
Let y(b) = -b**3 + 2*b**2. Let m be y(-1). Suppose 0 = -2*x - 8, -m*k - 2*x - 8 = -3*x. Is -5 less than k?
True
Let m(d) = -9*d - 53. Let i be m(-6). Is -3.2 at least i?
False
Let r(x) = -28*x**2 - 1041*x - 186. Let v be r(-37). Let k = 1113 - 6661/6. Let a = 7/3 - k. Which is greater: v or a?
a
Let c be 0 + 0 - (18 - 20). Suppose 31 = c*p - 49. Which is smaller: p or 41?
p
Let u = -71.39 + 72. Let q = -0.6 + u. Let g = q - 1.01. Which is greater: g or 0.1?
0.1
Let p(y) = -y**2 - 12*y + 9. Let g be p(-12). Let h = 21 - g. Let t be (-6)/h - (-86)/(-4). Which is smaller: t or -21?
t
Suppose -8*m + 96 = -4*m. Suppose -m*t = -31*t + 7. Which is smaller: t or -2/265?
-2/265
Let j be (-87)/30*-1*6/(-3). Are -5 and j non-equal?
True
Let w(t) = t**2 - 17*t - 8. Let g be w(18). Let b(x) = x**2 - 8*x - 21. Let y be b(g). Which is smaller: y or -6/17?
y
Let h(c) = -2*c - 1. Let j be h(-8). Let l = 17 - j. Suppose p - 3*v + l*v = -15, 4*v - 5 = -p. Which is greater: 0 or p?
0
Let r = 135 + -135.2. Let u = -4 + 3.85. Let v = u + -7.85. Which is bigger: v or r?
r
Suppose 0 = 48*u - 46*u - 168. Let j be (-6)/(-14) - (-8092)/98. Which is greater: j or u?
u
Suppose 2*l = 3*z - 47 + 133, -20 = 4*l. Let p = 24918 + -24949. Which is smaller: z or p?
z
Let x(p) = -p**3 + 3*p**2 - 3*p + 4. Suppose 0 = s + 4*s + 4*j + 6, 5*j + 30 = 5*s. Let g be x(s). Is 1 at most g?
True
Let y be 5/(70/(-56)) + 186/47. Which is greater: -3 or y?
y
Let i be (-15)/(-5) + 3 + 1144/(-187). Is i less than or equal to -5?
False
Suppose -14 = 5*f - 4. Let o be f/((-136)/172 - -1). Let r = -403/45 - o. Which is greater: 0.1 or r?
r
Let h = -2 - 11. Let i = -17 - h. Let c be 1/(-2)*(i - -6). Which is smaller: 2/7 or c?
c
Let s = 19 + -16. Let a be (s - 3) + 6/2. Is a at most as big as 3?
True
Let i = 76 + -50. Let s = -3.3 + -20.7. Let g = i + s. Which is smaller: 3/7 or g?
3/7
Let b be (-16834)/247 - (-2)/13. Which is smaller: -66 or b?
b
Let f(q) = -12*q**2 - 10*q + 4. Let u be f(-2). Which is greater: -22 or u?
-22
Suppose j + 4*k + 10 = 6*j, j = -2*k - 12. Is j > -63?
True
Let m(r) = -r + 1. Let v(h) = -h**3 - 6*h**2 - 5*h + 2. Let l be v(-5). Let s be m(l). Let y = 161/10846 - 6/187. Which is greater: s or y?
y
Suppose 4*y - 5*s = 62, -57 = -5*y - s + 35. Is y at least as big as 21?
False
Let i = 148 + -134. Which is smaller: i or 18?
i
Let c = -1.467 + 0.267. Which is bigger: 1/4 or c?
1/4
Let x be (-4)/(-18) + (1 - 1). Let d be 0*1/(6/2). Suppose -2*m - 4*q + 18 = d, 0*m - 21 = -4*m - 5*q. Is m greater than x?
False
Let q = 3 - 3.135. Let p = q - -0.335. Which is smaller: p or -1/26?
-1/26
Let y be 11/50 + (-87)/290. Which is bigger: -1 or y?
y
Let w(i) = -i**3 - 20*i**2 - 81*i + 43. Let h be w(-14). Do h and -36/121 have the same value?
False
Let n(r) = r - 7. Let f be n(9). Let i = 3 + f. Which is greater: 23/4 or i?
23/4
Suppose 3 = t - 2. Suppose 5*u + 5*j - 27 = 6*j, -45 = -5*u - t*j. Suppose 2*p + 14 = 4*p. Do p and u have the same value?
False
Suppose -n + 15 = -4*n, 3*n + 13 = -2*a. Suppose 5*g + p = a, -4*g + 2*p - 3*p + 1 = 0. Is 2 equal to g?
False
Let k be 3/(429/22) - (-6225)/13. Which is bigger: 1441/3 or k?
1441/3
Suppose 0 = 16*n - 19*n + 24. Let t be (-1)/((-3)/6*n). Which is greater: t or 1?
1
Let i(y) = 2*y + 14*y**2 - 7 - 32*y**2 - 12*y + 17*y**2. Let c be i(-8). Suppose c = -2*f + 5. Which is greater: f or 6?
6
Suppose -60*q = -59*q + 2*y, 3*y = 4*q - 22. Is q less than 0.8?
False
Let d = 7 + -6.7. Let r = d - 1.3. Let l be 312/(-32) + 5 - -5. Is r < l?
True
Suppose 0 = 2*o - 6*o + 28. Let a(y) = y**2 - 2*y + 7. Let i be a(0). Is o greater than or equal to i?
True
Let i = 6246 + -424719/68. Is i bigger than 0?
True
Let j = 11 + -7.5. Let u = -3.7 + j. Which is bigger: u or -2.3?
u
Suppose 4*q + 8*j - 585 = 3*j, -j + 447 = 3*q. Let y = -6299/42 + q. Are -1 and y non-equal?
True
Let r(n) = -n**3 + 7*n**2 - 3*n - 18. Let u be r(6). Suppose u = -2*s - 34 + 24. Let a(l) = l - 5. Let o be a(4). Which is bigger: o or s?
o
Let l = -1354 + 1355. Which is smaller: l or -12/155?
-12/155
Let y = 608/5 + -7874/65. Let c(d) = 44*d - 1320. Let v be c(30). Is y bigger than v?
True
Suppose -g = 5*d + 25, -5*d - 29 = -4*g - 104. Which is smaller: -21 or g?
-21
Let t(o) = -o**2 - 8*o + 12. Let l be t(-9). Suppose -4*c + 3 = -9, -l*h = -5*c + 93. Let k = h - -53/2. Which is smaller: k or 2?
k
Let n = 8498 - 110579/13. Let z = n + 2231/273. Suppose -78*p + 63*p + 15 = 0. Which is greater: z or p?
p
Suppose m + 3*f - 3199 - 6351 = 0, 2*m + 4*f = 19096. Let n = m - 200380/21. Let b = n + -53/21. Is b at least -1?
True
Suppose -2 = -2*t - 5*b - 0, -2*b = t - 3. Suppose t*w = 6*w. Which is greater: w or 1?
1
Suppose -4 = 2*i, -s - 83 = 2*s - 2*i. Is s greater than -25?
False
Let n = -202/175 + 11/25. Suppose -2*c + 5*h = -84 + 51, 0 = -3*c + 2*h + 11. Is c less than n?
True
Suppose 3*q = -5*i - 18, 5*i + 4 + 16 = -5*q. Let y be (4/5 + q)/((-18)/90). Let k(p) = -p + 4. Let c be k(-3). Which is smaller: c or y?
y
Let v be ((-1848)/(-36))/7*(-9)/13. Let w be (-2)/3 - (-16012)/(-3666). Let q = w - v. Is q bigger than -1?
True
Let g = 665 - 570. Which is greater: -2 or g?
g
Let r be 1*4*(3 + -4). Suppose 5*g + 2 = -q + 18, q - 2*g = 2. Suppose 4 - q = i. Is r at most as big as i?
True
Let b(f) = -2*f**2 - 8*f**2 - 2*f**2 + 0*f**2 + 13*f - 1 - f**3. Let k be b(-13). Let u be (5 + -2)/18 - 0. Are k and u unequal?
True
Let l be (69/5 - 3)/(2/105). Which is smaller: l or 566?
566
Let a be 11/55*-339*(0 - -1). Does -67 = a?
False
Suppose z + 18 = -2*h, -11 - 14 = 5*h. Let q be (-1)/(z/(-2) - 1). Which is greater: q or -33?
q
Suppose 2*s - 3*m = 4, -2*s - 19*m = -17*m + 6. Which is greater: -321 or s?
s
Let j be (-87)/(-280) + (-2)/7. Suppose -6 - 1 = o. Let y = 7 + o. Does j = y?
False
Suppose 4*p - p + 2 = -f, -3*p = -6. Let g be ((-1)/2)/((-2)/44). Let l(u) = -u**2 + 9*u + 15. Let t be l(g). Which is bigger: f or t?
t
Let c be ((-4697)/77)/(2/4). Which is smaller: -123 or c?
-123
Let b(n) = n - 51. Let s be b(17). Which is greater: -173/5 or s?
s
Let k be 15/((-135)/504) + 0. Is k at least as big as -612/11?
False
Let r be ((-222)/(-1665))/(1/(-6)). Let u = -1.1 - -0.1. Is r <= u?
False
Suppose -5*l = 10, -l = -4*a - 0 - 2. Let x be 8/(4*a) + 2. Suppose -h - h = x. Which is smaller: h or -