n or equal to v?
False
Suppose 3*q - 6*q = 0. Suppose q*r + 78 = 6*r. Let a = 38/3 - r. Which is greater: a or -1?
a
Let s(j) = j**3 - 11*j**2 - 11*j + 10. Let l be s(12). Let h = 23 - l. Is 2/3 less than or equal to h?
True
Let x(k) = 13*k + 7. Let c be x(6). Suppose 5*q - 2*y - c = 3*y, -3*q + 50 = -2*y. Let s be 10/(-12) - 8/q. Which is bigger: s or 1/6?
1/6
Let z = 3 - -2. Suppose -5*b + 348 = b. Let o = b - 57. Is z less than or equal to o?
False
Let u be -1*4/8*22. Let r(m) = m**2 - 8*m + 9. Let h be r(7). Suppose 0 = i + 2*c + 6, 0 = 3*i + h*c - c + 33. Which is greater: i or u?
u
Let z = -2 + 8. Let l = z + -7. Let h be (7/(-14))/(l/(-6)). Which is bigger: h or -12/7?
-12/7
Let b be ((704/1500)/(-11))/((-20)/50). Is b greater than 1/2?
False
Let m = 22 - 32. Suppose 21*o = 25*o - 32. Suppose -o*i - 64 = 8. Is m at most i?
True
Let g(y) = 9*y**2 + 14*y + 36. Let v be g(-7). Is 379 <= v?
True
Let r be (0 + 1)/((-204)/66). Which is smaller: r or 1?
r
Let n be -3 + (-1 - -2 - 3). Let p = n - -9. Suppose 17 + 5 = 5*b - p*f, 1 = 2*b + f. Is b >= -3/4?
True
Let y be (-1 + (2 - 0))*-28. Let c be 6/(-24) + 493/y. Let j = -18 - c. Which is greater: 0 or j?
0
Let n be 3*(548/180 - 3). Let s(i) = -i + 1. Let x(h) = h**3 + 5*h**2 - 11*h + 6. Let q(p) = 5*s(p) - x(p). Let c be q(-6). Is n <= c?
False
Let r be (-3 + 0 - -4)/1. Suppose -3*m + r = -4*m. Let b(h) = -h**2 + 12*h + 12. Let q be b(13). Is m bigger than q?
False
Let t(q) = -q**2 - 11*q + 4. Let u be t(-11). Suppose -n + 10 = u*n, 0 = v - 5*n + 31. Let z = v - -17. Which is smaller: 0 or z?
z
Let z be 385/(-800)*-6 - 3. Which is smaller: z or -1?
-1
Suppose -43*k + 52*k + 1152 = 0. Is k equal to -129?
False
Let q = -86199/4 - -1116221/52. Let r = q - -84. Which is bigger: -1 or r?
r
Let b = 0.09 + 1.91. Let f = b - 3.8. Which is greater: -1 or f?
-1
Let s = 350 + -347. Let v = -2137/4 - -538. Which is greater: v or s?
v
Let a be 1/(-2) - (-385)/(-14). Let z = -22 - a. Let j = z - 4. Which is greater: -0.2 or j?
j
Let o = 15 - 15. Suppose o = 6*z - 3*z. Let t be (-9)/(-12) - (-3)/12. Is t <= z?
False
Let q(b) = 2*b**2 - 5*b. Let g be q(6). Let r(w) = -22*w**2 + 156*w + 27. Let z be r(7). Which is smaller: z or g?
z
Let r = 511 + -509. Which is smaller: 32/13 or r?
r
Let s = -1/2907 + -14474/177327. Is s < 1?
True
Let k = -0.9 - -2.1. Let h = k - 0.2. Let m = 1 - 0.9. Which is smaller: m or h?
m
Let d be (-2)/(-5) + 4/(-15). Let g = -51 - -37. Let t be (20 + -24)*(g/(-8) - 2). Which is bigger: d or t?
t
Let s(f) = f**3 + 7*f**2 - 3*f - 3. Let x be s(-4). Suppose -5*q + 3*d - 5*d = x, 0 = -3*q + d - 43. Which is bigger: -12 or q?
-12
Let w(o) = -o**2 - 3*o + 6. Let t be w(-6). Let k be ((-3)/2)/(329/(-42) + 8). Which is bigger: k or t?
k
Suppose w + 12 = 4*k, -8*k - 12 = w - 6*k. Which is bigger: -81/7 or w?
-81/7
Let p(k) = 2*k**3 - 17*k + 0*k**3 + 25*k - k**3 - 6 - 8*k**2. Let s be p(7). Let i be 6/10*s/3. Which is smaller: i or 0.1?
0.1
Let k = 166 - 164. Do -2/25 and k have different values?
True
Suppose 5*v - 16 = -i, v + 21 = -0*i + 2*i. Let k be 15*2/(i - -1). Is 3 <= k?
False
Suppose -5*f + 105 = -6*v + v, -5*f - 5*v + 65 = 0. Suppose f*w = 9*w - 24. Which is greater: w or 6?
6
Let j = 204 + -134. Let u = -79 + j. Is u < -8?
True
Let a(l) = -3*l**2 + l + 1. Let y be a(1). Let m be (-24)/(-3)*4/4*y. Which is bigger: -10 or m?
m
Let d = 1059 + -4775/4. Is d smaller than -134?
True
Suppose 46 = y + 5*g, 5*g - 39 = -2*y + 68. Is y at least 179/3?
True
Suppose 4*p - 7*p = -6. Suppose -j - 278 = -4*j - 2*n, -8 = -p*n. Let z be 6/(-20)*j/36. Which is smaller: -4 or z?
-4
Let j be ((-56)/(-12))/((-4)/6). Which is smaller: j or -50/9?
j
Let d be (0 + 4/(-88))/(-1). Let x be (8/(-2) - -5)/(-1). Is d less than or equal to x?
False
Let a(g) = 2*g**2. Let t = -5 + 6. Let y be a(t). Suppose s = 4*n - 2*s + 48, 3*s = -y*n - 24. Which is bigger: -11 or n?
-11
Let s be 880/(-33)*(-6)/(-4). Let u be -3*(s/12)/5. Let t be u - (-3)/(3/(-3)). Is t equal to 1/3?
False
Suppose 1 + 47 = 12*k. Let o(m) = -13*m + 1. Let s be o(1). Let d be 9/s + (-69)/(-12). Is d at least k?
True
Let l(f) = 15*f - 121. Let z be l(8). Is z at most -23/14?
False
Let r(u) = 500*u + 610. Let i be r(-5). Is 1 greater than i?
True
Let g = 11.9 - 7.4. Let i = g + -10.2. Is i bigger than 0.1?
False
Suppose 4*j = l - 13, -8*l - 3*j = -7*l + 8. Which is smaller: l or 2/1405?
2/1405
Let n = -58 + 61. Suppose 6 - 1 = j - y, n*j - y = 5. Which is smaller: j or -1/18?
-1/18
Let o(p) = -p**3 + 7*p**2 + 9*p - 9. Suppose -2*q = 3*g - 13, 2*q - 5 = 3*g + 14. Suppose m + q = 2*m. Let c be o(m). Which is greater: -2/45 or c?
-2/45
Let c = -0.335 - -0.345. Which is smaller: -3 or c?
-3
Let r(t) = t**3 - 4*t**2 + t - 2. Let w be r(4). Let k be w/12 + 21/(-18). Let o be k*(-9 + 3)*-1. Is -6 at most o?
True
Let o be (21 + -20)*(-2 + 4)/956. Which is smaller: 0 or o?
0
Suppose r - 10*r - r = 0. Is r != 1/1058?
True
Let p(j) = -12*j - 72. Let t be p(-7). Do t and 66/5 have the same value?
False
Let l = -63 + 115. Is 52 > l?
False
Let h = 3589/2 - 1793. Which is smaller: 3/10 or h?
3/10
Let z be (-41 - -37)*((-2)/(-2) + -5). Let k be 10/(30/6)*z. Which is greater: k or 2?
k
Let k = 10.8 + -11.25. Let a = k + 0.55. Which is bigger: 82 or a?
82
Suppose 2 = 2*a - 6. Suppose 3*w + 2*w + 4 = -4*o, -2 = 2*o - a*w. Which is bigger: o or 2/21?
2/21
Suppose -100 = -5*b + 4*d, d + 0*d = 2*b - 37. Suppose 3*v = 2*s + 57, -4*v + 0*s - 2*s = -62. Let q be (-4)/b + v/52. Which is smaller: q or -1?
-1
Suppose 0 = -6*o + 24 - 6. Let f = 1860 + -20292/11. Let g = 793/44 - f. Is g <= o?
True
Let j be (-10)/8 + 300/48. Suppose -2*z = -0*z - 12. Which is bigger: j or z?
z
Let c = 70 + -77. Is -2 at most c?
False
Suppose 13*h + 16*h = 87. Do h and 211 have the same value?
False
Let o = -8317 + 8351.41. Let r = o + -18.03. Let z = 0.38 - r. Are 0.2 and z equal?
False
Let m = -5.5 - -3.7. Let s = m - -1.7. Which is smaller: 8 or s?
s
Let o be -2 + 12/3 - -22. Let i = o - 22. Suppose -4*y = -5*a - 10, -2*y - y - a - i = 0. Is -1 not equal to y?
True
Let a = -93413/5 + 18619. Let z = 10474/165 + a. Which is smaller: -1 or z?
-1
Let w(y) = -y + 7. Let r be w(-4). Let o be (1 - 0)*r + -5 + 9. Is o smaller than 16?
True
Suppose 12*s + 6 = 9*s. Suppose 2*z + 2*z = -20. Which is greater: s or z?
s
Suppose 17*j = 15*j - 2. Is -3/2 greater than j?
False
Let h(x) = -4*x**3 - 6*x + 8. Let v be h(2). Is v at least 1/3?
False
Let y = 1257 + -13813/11. Suppose 28*z = 27*z + 4*c - 20, 3*c = -2*z + 15. Which is smaller: z or y?
z
Let d = -655 - -751. Do d and 98 have the same value?
False
Let t = 36 + -52. Let r = -26162/1595 - -4/1595. Which is smaller: r or t?
r
Let u = -6 + 4.44. Let b = 1.5 + u. Let l = 0.18 + b. Which is greater: l or -2/7?
l
Let i(u) = u**2 - 4*u - 34. Let g be i(8). Is g <= 1/5?
True
Let c = -8717 + 113383/13. Which is greater: c or 4?
c
Let i = 3/166 - -981/830. Let w = -721 + 719. Which is smaller: w or i?
w
Let a(o) = -3*o**2 + 16*o + 23. Let p(h) = 5*h**2 - 24*h - 35. Suppose 7*u - 49 = 7. Let z(x) = u*a(x) + 5*p(x). Let n be z(-7). Is n < 16/9?
False
Let f = -1669 + 1668. Let p = -67377/43 - -1567. Is f >= p?
False
Let n = 5447/24 - 227. Suppose -m - 4*t + 0*t + 7 = 0, 0 = -5*m + 4*t + 11. Suppose 3*l = -c - m, 3*c + 0*l + 4 = -4*l. Is n less than c?
True
Suppose 0 = r - 1, -2*c - 5*r + 20 = -5*c. Let k = 0.04 - -12.96. Let t = k - 13. Which is bigger: c or t?
t
Let c be 2/(-9) + (-6 - (-47)/9). Which is greater: c or -15/8?
c
Let k = 1.98 + 0.02. Let n = k - -2. Let i = -3.8 + n. Which is smaller: i or -0.1?
-0.1
Suppose -2*w - 1 = -w. Let r be (6 - 4)*(55/2 + w). Is -1 at least as big as r?
False
Let c = -11.17 - -8.17. Which is smaller: 11/6 or c?
c
Let k be 25 - 7*(5 + -4). Which is bigger: 16 or k?
k
Let m(r) = 20*r - 5. Let a be m(1). Let c be 1 + -1 - a/(-50). Which is bigger: c or -1?
c
Let j be 8/4*(-3)/(-4). Let c(z) = -z - 9. Let x be c(-8). Let b be (1/(-4))/x*4. Which is greater: b or j?
j
Let y = 215 - 52889/246. Which is bigger: -1 or y?
y
Let x = -56 + 31. Let z = 26 + x. Let w = 0.24 + -0.17. Which is smaller: z or w?
w
Let c(h) = h**2 + 8*h - 7. Let f be c(-9). Let w = -33 - -30. Let t be w/f*(-8)/42. Is 1 > t?
True
Let x = -479 - -479. Let y