pose 25 = 2*z + 3*z, -3*z = 4*v - 351. Does v = 84?
True
Let a = 69.9 + -75. Let j = -5 - a. Which is greater: -0.1 or j?
j
Suppose 4*k + 6 = 3*z - 8, -2*k = -z + 6. Let o be -1 + -4 + z + -127. Let x = -652/5 - o. Which is smaller: -1 or x?
-1
Let y = -62 + 83. Suppose -5*p - 3*r + 96 = 0, 0 = -4*p + 5*r + 68 + 31. Is p >= y?
True
Let q be ((-15)/(-3) - 1) + (-12)/14. Which is smaller: q or 3?
3
Suppose 3*p - 4*x = -5*x + 2, -3*p = 4*x - 17. Let m be -1 - p*(-970)/352. Let j = m - -42/11. Is j > -1?
True
Let k = -31/51 + -1/17. Which is smaller: -14/13 or k?
-14/13
Let x = 3.9 - 5.2. Let p = x - -1.2. Is -0.01 < p?
False
Suppose -2*n = -z + 66376, -2*n - 2*n = 12. Let r be z/(-525) + (-4)/(-30). Let s = -126 - r. Which is greater: s or -6?
s
Let y = 26.8 + -26.9. Is 197 < y?
False
Let g = -40 - -43. Let k = g + -3.3. Do k and 1/8 have the same value?
False
Suppose 1 = 7*m - 6. Suppose 3*h - 8*h - 15 = 0. Let z be (-4)/((-440)/(-334)) - h. Which is smaller: z or m?
z
Let s(m) = -32*m - 52. Let l be s(3). Is l smaller than -149?
False
Let l be 1*-6 + (-13 - (16 + -33)). Let y = 3 - 3.01. Let f = -2.01 - y. Is l at least f?
True
Let n be (-160)/10 + (-10 - -26). Suppose 5*c - 1 = -6. Is n less than c?
False
Let h = 7813.797 + -7809. Let l = 0.003 + h. Let f = -5 + l. Is 0 != f?
True
Let y = -94067/19 - -4952. Is 1 < y?
True
Let g(j) be the second derivative of -j**5/20 - j**4/6 + 7*j**3/3 - 3*j**2 - 48*j. Let b be g(-5). Which is smaller: b or -4?
-4
Let z be (3/(-9))/((-73)/6). Let c = 24 + -21. Suppose 5*j = -3*x + 5, 3*j - 3*x - c = x. Which is smaller: z or j?
z
Let h be (-9)/15 - (5 - (-5415)/(-25)). Are 211 and h nonequal?
False
Let y = 2188 - 404781/185. Let u(m) = -m**2 + 10*m + 25. Let o be u(12). Which is smaller: o or y?
y
Let n = 21 + -27. Let h be 4/10 + n/(-10). Let t be (-2)/(-9)*(1 - 0). Is h less than t?
False
Let h = -0.034 - 0.036. Let l = -1.6 + 1.43. Let i = l - h. Is i not equal to 4?
True
Let c(p) = 7*p**2 + 7*p - 9. Let i(t) = 6*t**2 + 6*t - 8. Let k(v) = 5*c(v) - 6*i(v). Let h be k(0). Let q be 3*(786/450 - (-2)/(-25)). Is h smaller than q?
True
Let m be 1/((28/(-80))/(-7)). Suppose -5*j - m = 2*p, -4*j + 5 - 21 = -4*p. Suppose -3*n + 2*n = p. Which is smaller: -5/6 or n?
-5/6
Suppose 5*f = -14 + 9. Let y be 116 + (-4)/((-1)/f). Let s be (1 + -3)/(32/y). Which is smaller: s or -8?
-8
Let z = -29 - -35. Let p be z/27 - (-114)/(-27). Is p less than -2?
True
Let t be ((-2)/28)/(10/(-404)). Let u = t - 13/5. Which is smaller: 4 or u?
u
Let k = -35.68 + 0.68. Let a = -35.034 - k. Which is smaller: a or 0?
a
Let f = -562/7 + 80. Is -0.1354 smaller than f?
False
Let y = -176 + 168. Let z be 5/(-6) - 3/(-6). Is y less than z?
True
Let u = -6 - -12.2. Let h = u - 6. Is h at least as big as -1/5?
True
Suppose -2*b + 0 = 82. Let l = b + 44. Is 2 > l?
False
Let b(q) = q + 1. Let k be b(4). Suppose 10 = -k*v - 65. Let s = v + 15. Is s < -2/7?
False
Let f = -3 - 1. Let u = -119.1 + 126.1. Which is smaller: f or u?
f
Let y = 218.9 - 218.4. Are -270 and y nonequal?
True
Suppose 20*j = -j. Is 16/29 <= j?
False
Suppose -9*x + 260 = -5*x - 3*q, -2*x + 4*q = -140. Which is smaller: 64 or x?
x
Let f be 3/18*(-27)/18. Are -9/7 and f non-equal?
True
Let a be (-28)/(-8) - 2/4. Suppose 0 = 2*b + a + 7. Let c be ((-20)/12)/(1/3). Is b smaller than c?
False
Let v = -83523/796 + -64/199. Let y = 106 + v. Is y at most as big as -1?
False
Suppose 3*t = 5*n + 245, -2*t - 5*n = -85 - 95. Let r = 88 - t. Which is greater: r or 5?
5
Let j be (-10)/(-75)*5 - (-38)/(-21). Let i = -155/88 + 2251/616. Let n = i + j. Which is smaller: 2 or n?
n
Let w be (2/5)/(5/675). Suppose -215 = -4*i - p, -5*i - 3*p + 277 = p. Which is smaller: i or w?
i
Let z(v) = 2*v**3 + 9*v**2 + 6*v + 9. Let j be z(-4). Is 4/421 <= j?
True
Let c(u) = u**3 + 4*u**2 - 5*u + 1. Let n(h) = h**3 + 11*h**2 + 11*h + 5. Let k be n(-10). Let t be c(k). Which is smaller: 2/137 or t?
2/137
Let y = -3 - 1. Suppose 10 + 1 = i - 2*c, -10 = i + 5*c. Let p = i + y. Is 1/2 <= p?
True
Let l be 12/(-80)*10/12. Let i be 70/8 - (-6)/(-8). Suppose -9*o = -i*o. Is o greater than l?
True
Let k be (11 - 6) + -4 - -5. Let c(h) = 0 - 5 + h**2 + 0*h - 5*h. Let r be c(k). Are r and 2/5 non-equal?
True
Let o = 26 + -26. Suppose 0 = -o*z + 3*z - 2*l - 2, 0 = -4*l - 16. Let d = -709/819 + 1/117. Is z at least d?
False
Let s be 88/209*(-2)/(-8). Suppose 0 = 2*c - 6*c. Suppose c = -3*r + 2*r - 4*r. Which is smaller: r or s?
r
Let b = 0.52 + -0.7. Which is bigger: 0.2 or b?
0.2
Let q(h) = h**2 - 4*h - 6. Let c be q(6). Suppose s = c*s - 15. Suppose 0*f + s*a - 13 = -f, -5*a = -5. Which is bigger: f or 11?
11
Let x be (3/(-2))/((-136)/(-16) - 7). Which is greater: 316 or x?
316
Let c = -6 - -10. Suppose 0*d - d + c = 0. Suppose -4*f - d*v - 7 - 9 = 0, 11 = -2*f - 3*v. Which is bigger: 1/11 or f?
1/11
Suppose 9*k = 5 + 4. Which is bigger: 1/137 or k?
k
Let h(g) = -14*g + 62. Let u be h(10). Is u bigger than -76?
False
Let t = -2 - -3/2. Let m(c) = c**3 + c**2 - 3*c + 4. Suppose 5*g + 0 = -15. Let b be m(g). Which is smaller: b or t?
b
Let x be 3/7 + 180/70. Let d be x/12 - 134/(-8). Suppose -13*u = -120 - 101. Is d at least as big as u?
True
Let n be -3*(-2)/(-12)*-28. Is 72/5 > n?
True
Let l = 11 + 29. Let m = -33 + l. Let n = 0.5 + 0.5. Is n > m?
False
Let k = -1499 + 1499. Is -5/57 > k?
False
Let k = 3 + -6. Suppose -21*a - 1221 = -381. Let q be (k/a)/((-3)/(-12)). Which is bigger: -1 or q?
q
Let z be 414/81*(2/(-4))/1. Is -3 greater than z?
False
Let s(q) = -5*q + 10. Let l be s(4). Let y be (-2)/l*27/(-9). Let h = -0.3 - -0.1. Is h smaller than y?
False
Let t(s) = -2*s**3 + 9*s**2 + s - 3. Let v be t(8). Let z = 3549/8 + v. Is -1 smaller than z?
True
Let v be -4 - -3*200/155. Which is greater: v or -1?
v
Let o = 2969 + -2984. Which is greater: o or -13?
-13
Let h be (-40)/(-900) + 16/(-360). Is -1/527 at most h?
True
Suppose -l = 2*l - 21. Suppose 2*a = l*a. Let u = -761/11 - -69. Do a and u have different values?
True
Let o = 93 + -135. Let y = o - -42. Which is bigger: 0.01 or y?
0.01
Suppose 0 = 11*s + 5142 - 731. Does s = -400?
False
Let j(s) = s**3 - 3*s**2 - s - 4. Let z be j(4). Let b(m) = m - 4. Let y be b(z). Suppose 55 = y*n + 15. Is n at least as big as 10?
True
Let p(d) = d**2 + d + 8. Let j be p(-11). Is 114 less than or equal to j?
True
Let t = -2/2305 + 101426/6915. Which is smaller: 14 or t?
14
Let v = -219 + 1099/5. Let d = 0.542 - 28.642. Let z = -28 - d. Is z at most v?
True
Let z = 27194/68105 + -112/265. Let n = z + 2182/5397. Which is smaller: -1 or n?
-1
Let x be ((-35)/42)/(-2*(-2)/(-24)). Let h(i) = 4 + 0*i + i + 0*i. Let d be h(3). Is x smaller than d?
True
Let a = -79 + 24. Let o = a - -56. Let f = -4 - -4.3. Is f smaller than o?
True
Let j be ((-30)/(-18))/((-20)/(-12)). Which is smaller: 1/2629 or j?
1/2629
Let m(y) = y**2 + 23*y + 12. Let g be m(-18). Which is smaller: g or -76?
g
Let m = -1 - -1.1. Let x = 3280 - 3244. Which is greater: x or m?
x
Let a = 2 - 1.9. Let s(k) = k**3 - 4*k + 3. Let v be s(2). Let p be v/(-27)*-7 + -1. Is p <= a?
True
Let l = 1851/5 - 168411/455. Is -1 greater than or equal to l?
False
Let c = 0.7 - 0.2. Let b = c - 0.6. Let o = 3.9 + -3.7. Which is bigger: b or o?
o
Let n = -13415252/1007 - -13322. Is -1 <= n?
True
Let i = -374 - -373.899. Are -0.1 and i nonequal?
True
Let k = 17 - 11. Let a = -0.01 - 0.59. Let h = a - -0.6. Are k and h equal?
False
Let n = -483 + 489.6. Which is bigger: n or 1?
n
Let l be (8 - 0) + 507/(-65). Which is smaller: -0.07 or l?
-0.07
Let z = -21 + 23. Let l = z + -4. Is l < -3/5?
True
Let q = 26 + -12. Let n = q - 14.22. Let a = -0.12 - n. Are 4 and a unequal?
True
Let c = 4.5 + -4. Let i = 1.6 - c. Let g = -2.1 + i. Which is bigger: -4 or g?
g
Let n(r) = r**3 - 16*r**2 + 37*r + 25. Let k be n(13). Is 3 bigger than k?
True
Let n(y) = 2*y**2 + 137*y - 678. Let c be n(5). Which is smaller: c or 28?
28
Let y(b) = -b**2 - 3*b + 20. Let p be y(-6). Suppose 0 = 2*a + p*c + 108, 2*a + 3*c - 54 = 3*a. Is -53 at least a?
True
Let g be -272 - 139 - 7*-1. Which is smaller: g or -407?
-407
Let x = -130 + 527/4. Suppose -4*w + 38 = 3*o - 3, -4*w + 22 = 2*o. Suppose -u - 4*u + o = -t, -u = -2*t - 11. Which is greater: u or x?
u
Suppose 2