z
Suppose z - 2*p + 4 = p, -2*p - 4 = z. Let i(u) = u - 4. Let v be i(7). Let f = v + z. Is f at most as big as -2?
False
Let t = 8 - 3. Let p be (13 + -1)/(12/8). Let i = p + -4. Is i smaller than t?
True
Let d = -2 + 2. Let k = -9 - -16. Suppose 0 = 2*y + k - 9. Is d greater than y?
False
Let a = 52 - 33. Let t = -11 - 2. Let p = a + t. Is p less than 1?
False
Let u be ((-2)/(-6))/(5/15). Let q(v) = v**3 - 8*v**2 + 6*v + 6. Let p be q(7). Let r be (-2)/(-11) + (-1 - p). Which is greater: r or u?
u
Suppose -m + 55 = -3*q, -4*m = -2*q - 2*q - 76. Let d(p) = p**3 + 2*p**2 + 3*p. Let y be d(-3). Is y at least q?
True
Suppose 5*q - 3*k = 11, 7*k + 9 = q + 3*k. Which is smaller: 1/21 or q?
1/21
Let s = 6 + -8. Is 1 at most as big as s?
False
Let w be (4/(-6))/((-28)/42). Is w at most as big as -3/8?
False
Let k(h) = 2*h - 11. Let l be k(6). Let f be (-39)/12*l*-4. Do 13 and f have the same value?
True
Suppose 3*x + 54 = 3*a, 2*a - 5*x - 25 = -1. Which is greater: a or 23?
23
Let m(w) = 2*w - 14. Let o be m(8). Is o >= -2?
True
Let t(r) = 4*r + 1. Let g be t(-3). Are g and -11 equal?
True
Let q be (-6)/21 - (-18)/14. Are q and 1/42 non-equal?
True
Let w be (0 + 8)*(-46)/(-368). Let f = -1 - -2. Let y = f - 0.8. Which is bigger: y or w?
w
Let k(d) = 3*d - 8. Let f(v) = -v + 3. Let c(a) = -17*f(a) - 6*k(a). Let j be c(-3). Suppose j = z - 5*i + 2, 4*z + 7 = i - 1. Which is bigger: z or 0?
0
Let p = -4.96 + 5. Let r = -0.96 - p. Which is smaller: 2 or r?
r
Let s = -23 + 26. Let a(d) = d - 5. Let v be a(5). Suppose v = 4*p - 0*p - 8. Are s and p unequal?
True
Let m = 143.73 + -143. Do m and -2/3 have different values?
True
Suppose 6*n - 20 = 2*n. Is 5 >= n?
True
Suppose 0 = -3*v + 5*q - 34, 0 = 4*v - 0*q + 2*q + 80. Which is smaller: v or -118/7?
v
Let a(v) = v**3 + 5*v**2 + 6*v + 3. Let l be a(-4). Which is smaller: l or -0.2?
l
Suppose 26 = 4*y - 3*g - 2*g, 5*g = 5*y - 35. Let l be 2/8 - y/(-12). Suppose -l = -2*i + i. Are -1 and i non-equal?
True
Let u be ((-4)/6)/((-14)/441). Let b be (-2)/((-27)/u - -1). Is 6 >= b?
False
Suppose 0 = 2*u - 0*n - 4*n - 680, u = 5*n + 325. Let j = u - 2455/7. Is -2 greater than j?
False
Let w = 1.31 + -1.21. Which is bigger: w or 37?
37
Suppose 5*p = 3*p + 2. Which is greater: p or 6/11?
p
Let k be 4/((-4 - -3)*-1). Let r = -5 + k. Is r less than or equal to 7?
True
Let v be (3/(-9))/((-5)/46659). Let d = v + -3121. Let i = d - -374/35. Which is smaller: i or 0?
0
Let s(y) = -y**2 - 6*y + 7. Let q be s(-7). Suppose q*a + 54 = 3*a. Let t be 13/a + 1/(-2). Do 1 and t have the same value?
False
Let a = -13 + 14. Which is bigger: a or -3/10?
a
Let s = 2.5 + -2.5. Is 0 greater than s?
False
Suppose 3 = 2*w - 1. Let x be 14/(-44) - w/(-4). Is 0 at least x?
False
Let a(v) = -4*v. Let u be a(-1). Suppose 2*o + 0 = -u. Which is bigger: o or -1?
-1
Let q = -6369/32812 - 11/631. Let g = -305 + 7931/26. Let f = q - g. Which is bigger: 1/4 or f?
1/4
Let p = 282/455 - 54/35. Are p and -1 equal?
False
Suppose -4*p + 7 = 3*x - 6, -2 = -2*x - p. Let k = -227312 + 204808014/901. Let s = -12/53 - k. Which is smaller: s or x?
x
Let r = 72 + -76. Is r greater than or equal to -1?
False
Let o be (6 + -7)/((-2)/8). Suppose j + 3*b - 11 = 0, -j - b + o*b = 7. Suppose -3 = d + j*d. Is 1/5 >= d?
True
Let a be 9/6*4/(-93). Which is smaller: a or -1?
-1
Let o be (-16)/(-10)*15/6. Suppose -2 + o = l. Is l >= 1?
True
Let y be ((-2)/(-6))/(7/777). Suppose 2*q + 2*g + 23 = 7*g, -3*q + 5*g = y. Which is greater: -15 or q?
q
Suppose -3*z = 572 + 88. Let l be 8/(-44) - 18/z. Suppose -r = r. Is r >= l?
True
Suppose -3*f = g + f - 22, 3*g = 4*f + 2. Let x be (-2)/8 - g/(-8). Which is smaller: 2 or x?
x
Let g be ((-14)/231)/(((-15)/54)/5). Which is bigger: g or 2?
2
Let l be 1 + -1 + 6/2. Suppose -y - l*y = 72. Let r be 0 + y/(-4) + -2. Which is greater: r or 0.1?
r
Let f(w) = 2*w**2 + 12*w - 7. Let q be f(-6). Which is smaller: q or -2?
q
Let f be 3*-2*2/12. Let r = 6 + f. Are 1 and r unequal?
True
Suppose v = 5 - 1. Suppose v*o = -b - 3*b - 12, 2*o = 3*b - 11. Is 2/15 less than b?
True
Let y = 5 - 33. Let x = -85/3 - y. Suppose -5*o = -8 + 18. Which is smaller: o or x?
o
Suppose -2*a = v - 5, 0 = a - v - v + 10. Suppose a - 40 = -4*u. Let f be 24/10 + u/(-25). Is f smaller than 2?
False
Suppose -7 - 1 = 4*x. Let z = -0.01 - 1.99. Let k = 1.9 + z. Which is smaller: x or k?
x
Let t be (-140)/25 + (-6)/15. Is t greater than -5?
False
Suppose -d = -3 + 2. Which is bigger: d or 7?
7
Let d be 6/(-27) + 94/18. Suppose v = d*v. Suppose -5*t - 8 = -3. Which is smaller: v or t?
t
Suppose -4*i - 38 = 3*k - 5*k, 0 = 5*i - 2*k + 47. Suppose -q + 5 = 14. Let a = q - i. Are -1 and a equal?
False
Let b(i) = 2*i - 7. Suppose -4*m - a = 3*a - 8, 2*a + 2 = -m. Let s be b(m). Suppose -j - 4 = -s*j. Is -1/5 equal to j?
False
Let p = -2.31 - -2.3. Is -1 smaller than p?
True
Let v = 278/9 + -31. Which is greater: v or -2?
v
Suppose 6*d + 233 + 229 = 0. Which is smaller: d or -1?
d
Suppose -4*i + 8 = 12. Let p be 2/(4*i/(-8)). Which is greater: -2/5 or p?
p
Let m = -1775/9 - -197. Do 2/3 and m have different values?
True
Let q = -1.99 - 0.01. Let r = q - 0. Let h(j) = j**2 - 5*j - 2. Let a be h(5). Is r greater than a?
False
Let k be 14/(-10) - 5/(-5 - 0). Which is smaller: k or -3.4?
-3.4
Let o = 310 - 7441/24. Which is smaller: o or 1?
o
Let u = 37 - 11.1. Let i = u - 26. Let r = 20 - 39/2. Which is bigger: i or r?
r
Suppose 4*l - 23 = -7. Suppose 5*z + 3*u + 15 = 57, -u - 20 = -l*z. Suppose 2*x - z*x - 23 = -5*j, -j + 5*x = -13. Is 3 at least as big as j?
True
Let u = 2810 - 8308/3. Suppose -7*j - 110 = 177. Let g = j + u. Which is smaller: -1 or g?
-1
Let k = 12 - 4. Is -1 less than or equal to k?
True
Let h = 277.1 - 277. Let y = 41 - 27. Is h <= y?
True
Let t be 2738/2968 - 21/28. Let y = 13292/371 - 250/7. Let b = t + y. Which is bigger: b or 1?
1
Let f = -23 + 23.1. Let y be 2/40*-2*-4. Is f less than y?
True
Let j = -981/145 - -34/5. Is 1 greater than or equal to j?
True
Suppose 24 = -2*p + 5*p. Suppose -3*g + 18 = -0*g + 3*u, 0 = g + 5*u + 2. Is g < p?
False
Suppose 0*t - 10 = -5*t. Which is smaller: 1 or t?
1
Let g = 4 - 3.8. Let c = -0.3 - -0.2. Let n = c + 0. Is n less than g?
True
Let i = -0.3 - -1.3. Let z = 2.1 - 3. Let m = z + -0.1. Is i > m?
True
Let m(j) = -j**2 + 11*j + 5. Let z be m(8). Let n be 2/11 + z/(-99). Are -1 and n non-equal?
True
Suppose 0 = -5*l - 5*x, -5*x - 12 = -l + 2*l. Is 4 at least l?
True
Suppose -2*q = -0*q - 8. Let m = 1.68 + -1.68. Which is greater: q or m?
q
Let p = 61 + -56. Is -1 equal to p?
False
Let w be 14 - (-5)/((-10)/6). Suppose -3*t = w + 25. Let n be -10*2/t + -2. Is n > 1?
False
Let f = 11 + -7. Suppose 0 = -2*g - 5*k - 4 + 2, k = 4*g + 4. Let d = f + g. Is 1 less than d?
True
Let a = -32 + 21. Let t = 12 + a. Which is bigger: -2 or t?
t
Let b(m) = -m**2 - 3*m + 1. Let c be b(-3). Is 4/11 greater than c?
False
Let f = 163/21 + -55/7. Let b = -5 - -5. Is b greater than or equal to f?
True
Let y(l) = -5*l - 19. Let d be y(-4). Suppose 0*m - m = 10. Let w be 3/(-15) - (-8)/m. Are w and d nonequal?
True
Let f = -10/27 - -127/27. Which is smaller: 4 or f?
4
Let t(c) = c**3 + 10*c**2 + 10*c + 7. Suppose 4*a = 12, -3 = l - 0*a + 2*a. Let w be t(l). Is w smaller than -5/6?
True
Let j = 41/6 - 347/51. Let r(v) = v + 7. Let k be r(-8). Is j != k?
True
Let i be (-31)/(-4) - (6/8)/(-3). Suppose 0 = n - 5*n + 36. Which is bigger: i or n?
n
Let l = -0.41 + 0.21. Is l at most -2/3?
False
Let z be 0*(27/6)/(-9). Which is bigger: z or -3?
z
Suppose -2*h = 4*i - 10, -4*i + 5*h - 7 - 4 = 0. Which is smaller: i or -2?
-2
Suppose -2*q = -0*q - m - 7, -4*q = -4*m - 20. Let u be 29/(1 + (q - 2)). Suppose 3*k - 4*i = -u, 2*k + i = -3*i + 14. Which is smaller: -2 or k?
k
Let v be (-30)/(48/21 + -2). Let j be 28/v*(-10)/(-12). Is -1/2 smaller than j?
True
Let r = -103 - -9. Let h = r - -94.37. Let z = 0.07 - h. Is -2/7 at least z?
True
Let j be 5 + (1 - 0/3). Let w = 3 - j. Let o be ((-4)/114)/(w/9). Is -1 at most as big as o?
True
Let z = -60 - -60. Do -7 and z have different values?
True
Let d = 25/2 - -37/10. Let s = 83/5 - d. Let q = 0.3 - 0.4. Is s at most q?
False
Let c = -233/3546 + 2/197. Is c smaller than 3?
True
Let q be (1 + 0)/(3/1