or g?
w
Let n = 2 - 1. Let f = n + 0. Let q = f - 3. Is -1/3 greater than q?
True
Let h(z) = -z - 2. Let i be h(0). Let s = 4 + i. Suppose s*v = -v. Which is smaller: -1 or v?
-1
Let a(j) = -6*j**2 + 2*j - 3. Let x be a(1). Which is smaller: -5 or x?
x
Let s = 11 + -20. Let d = s + 9.1. Is d less than or equal to 3?
True
Suppose 3*p = 5*j, 2*p - 5*j = -0*p - 5. Is p at least as big as -1?
True
Let a = -2 + 0. Let g = -4 + 3. Let x = a - g. Is 0.1 at least as big as x?
True
Let n = 11/8 - -1/8. Let w = 0.3 - 0.1. Are w and n non-equal?
True
Let h be 0 - (0 + 1 - 0). Suppose -6 = -0*q + q + 3*g, 12 = 3*q - g. Suppose 0*y = q*y. Which is greater: y or h?
y
Let q(x) = x. Let l(u) = u. Let p be l(1). Let y be q(p). Let k = 1 - 1. Is k at most as big as y?
True
Suppose -5*y + 3*d + 16 = 0, -y - d + 18 = 2*y. Suppose -2*m - 8 = 2*u, -u - 2*u - y*m - 22 = 0. Which is greater: u or -2/11?
u
Let y = 147 - 146. Which is bigger: 1/68 or y?
y
Suppose 0 = -3*l + 2*s - 2, -l - s - 2 = 2. Let w(v) = -v + 2. Let q be w(3). Which is bigger: q or l?
q
Let o be 12/(-4) - (-54)/(-10). Which is smaller: o or -9?
-9
Let f = -7 - -6. Let t be f - 1*(-22)/26. Which is smaller: -0.1 or t?
t
Let u = -3 - -1. Let i = 2/81 - -77/162. Which is greater: u or i?
i
Suppose 5*l - 5*u - 5 = 0, 4*l - 49 = -0*l - 5*u. Suppose 5*c + l = 1. Is c at most as big as -1?
True
Let l be (-1)/(-2) + (-7)/(-2). Suppose 0 = 4*b - m - l + 1, m = -4*b - 3. Which is bigger: b or 1/5?
1/5
Let q = 3570 - 260616/73. Is q greater than 0?
False
Let j = 949/4323 + 3/131. Which is smaller: 1 or j?
j
Let t be (-2 + -2)/((-62744)/5660). Let w = 2/713 + t. Is 1 greater than w?
True
Let i = -47 - -45. Are i and -1 nonequal?
True
Let s(b) = b**3 + 4*b**2 + 3*b + 2. Let n be s(-3). Let t(v) = -3*v - 1. Let k be t(-2). Let y = 6 - k. Are n and y unequal?
True
Let y = 442/7 + -63. Is y not equal to 1?
True
Let w(q) = 4*q + 25. Let z be w(-8). Is z at least as big as 2?
False
Suppose 5*i = -25, -3*s + 23 = -i + 6. Suppose -12 = -3*d, -3*a + 0*d + 28 = s*d. Which is smaller: a or 3?
3
Let r = -106 + 52. Let u be r/(-238) - 8/28. Which is smaller: u or 0?
u
Suppose 5*j - 92 - 73 = 0. Suppose 0 = a + 2*a - j. Is 9 <= a?
True
Suppose -18*m = 62 + 172. Which is greater: m or -12?
-12
Let q = -3/4 + 5/4. Which is greater: 2 or q?
2
Suppose 6 = 3*y - 45. Which is smaller: y or 14?
14
Let h = 0.3 - 1.3. Let w = -1 + h. Which is bigger: 1 or w?
1
Suppose -4*p = -8 - 0. Suppose p*z - 10 = -8. Which is smaller: z or 7?
z
Suppose x = -k + 7, -3 = -2*k - 2*k + x. Suppose -4*y - s = -5, y - s = -k*y - 5. Suppose -3*t = t. Is t smaller than y?
False
Let x = -551991843 + 645830494531/1170. Let c = 1/1170 - x. Let u = 33 + c. Is u greater than 3?
False
Let c = 4 + -3. Is c != 0?
True
Let j = -19 - -16. Let m = j - -3. Which is greater: 0.1 or m?
0.1
Let t = 0.23 - 0.13. Which is smaller: -2/9 or t?
-2/9
Let s = 30 + -7. Is s less than 22?
False
Let j = 10 - 2. Suppose 3*u - 2*u = -j. Which is smaller: u or -7?
u
Let i = 1.69 - 2. Let y = 0.09 - i. Which is smaller: y or -0.3?
-0.3
Suppose -2*v + 5*l - 15 = 0, 0*l - 2*l + 6 = 0. Suppose 2*p - 4*p = v. Which is smaller: p or 1/4?
p
Let o be (-3)/5 + 16/10. Suppose -5*n + 1 - 6 = 0. Let j = 2 + n. Is o > j?
False
Suppose -4*z - 10 = o - 2*o, 2*o + 2*z = 0. Is 14/5 >= o?
True
Let g be 2 + 0 + (-58)/24. Let t = -2/3 - g. Is t less than -1?
False
Let d = 10 - 10.1. Suppose 0*c - 4*c = -40. Is d at most as big as c?
True
Let d = 102 + -93.92. Let q = 0.08 - d. Let o = -7.6 - q. Is -1 bigger than o?
False
Let n(f) = f**2 + f - 7. Let s be n(-5). Let o = 12 - s. Which is smaller: o or 3?
o
Let s = 187/122 - 2/61. Suppose 0 = 5*r - 28 + 8. Let q = 6 - r. Is q bigger than s?
True
Suppose -8 = 5*q - q. Let i be q + (-1 + 3)/1. Let u = -1 + i. Is -2 != u?
True
Let d be 0 + -5 + -2 + 4. Let w = d + 3. Let s be ((-4)/33)/(12/(-18)). Is w greater than or equal to s?
False
Let r(a) = a**3 - 14*a**2 + 14*a - 7. Let f be r(13). Suppose -f*z = -2*z. Let v be 1/6 - (-4)/(-6). Which is bigger: z or v?
z
Let f = 32 + -49. Which is smaller: -18 or f?
-18
Suppose 2*q = 3*x + 14, -q + 2 = -0*q + x. Suppose 0 = -g + 3*r + 1, q*g + 2 = 4*r - 2. Which is smaller: -4 or g?
-4
Suppose -2*q - 4 = 2*c, -4*q + q = 6. Let x = c - 0. Are 2/5 and x equal?
False
Let n(p) = -p + 1. Suppose -3 + 0 = -3*r. Let i(h) = h - 10. Let l(x) = r*i(x) + 2*n(x). Let u be l(-6). Do u and 2/5 have different values?
True
Let q(n) = -n**2 + 5*n - 2. Let d be q(4). Suppose r = -4 - d. Are r and -7 nonequal?
True
Let n = 16217/51 + -318. Which is smaller: -1 or n?
-1
Let p(b) = 2*b**2 - 5*b - 5. Let z be p(5). Is 20 != z?
False
Let b be (-15)/(-5)*(-1)/2. Is b < 1/2?
True
Suppose 5*q - 3*n + 2*n = -10, 14 = q + 3*n. Let u = -1 + 1. Let t = 0 - u. Which is greater: q or t?
t
Let z be 456/14 + (-12)/21. Is 32 at least as big as z?
True
Let l(a) = -a**3 + 9*a**2 - 7*a - 7. Let r be l(8). Let o be r + 0 + (-16)/20. Is 0.2 > o?
False
Let q be 1/10 + 3367/130. Which is smaller: q or 25?
25
Suppose 0*f + f + 5*w + 15 = 0, -9 = -5*f - 4*w. Suppose -3*v + 0*v = -z - f, -3*z = 2*v - 7. Suppose 4*d = 2*d. Which is smaller: d or z?
d
Let i = 122/23 - -11251/138. Let h = i - 87. Which is smaller: h or 1/2?
h
Let s = 0 - 2. Let f = -49 + 47. Is f not equal to s?
False
Suppose 7*q = 4*q + 18. Let z = -5 + q. Suppose -8 = -b - 3*a - z, 5 = -4*b - a. Which is bigger: b or -1?
-1
Let y = -162 + 152. Is -8 at most y?
False
Suppose 7*a + 20 - 13 = 0. Is 7/17 less than a?
False
Suppose 10*t - 11*t = 1. Let q = 194 - 1555/8. Which is smaller: q or t?
t
Let m be (-6)/(-33) - 6*(-2)/176. Which is smaller: -3 or m?
-3
Let y(s) = s**3 + 4*s**2. Let u be y(-4). Suppose -3*f + 0 + 3 = u. Let q be (-18)/15*f/(-2). Are 0 and q nonequal?
True
Let l = 21 - 38. Is -17 equal to l?
True
Let a(r) = r**3 + 19*r**2 - 2*r - 37. Let p be a(-19). Which is greater: 2 or p?
2
Let a = 0.02 + 7.98. Are a and -1/2 non-equal?
True
Let o = -869/6630 - -4/255. Suppose -5*x = -a + 10, -a - 10 = -3*a. Which is greater: o or x?
o
Let c be -1 + ((-2734)/(-14) - -3). Let z = c + -197. Let b = -2/3 + 5/12. Is b smaller than z?
True
Suppose -f + 12 = -0. Suppose 5*y - f = y. Is 2 > y?
False
Suppose 3 = 5*h - u, 5*u + 8 = -2*h - 7. Suppose x = -x - 4. Let w = x - -1. Is h less than w?
False
Let p = -109/117 + 15/13. Let z be 1/4 - (-14)/(-24). Which is smaller: p or z?
z
Suppose -6*m + 575 = -11*m. Is -115 equal to m?
True
Let u = 4 + -4. Suppose -4*l + 55 = l. Let r = l - 76/7. Is r >= u?
True
Suppose 4*c - 40 = 4*g, 2*c - 5*g - 39 = -4. Is c >= 5?
True
Let b = -122 + 122.23. Is 3 smaller than b?
False
Let s(n) = n**2 - 6*n - 5. Let d be s(6). Suppose -f + 0 = -4, -3*a = 4*f - 31. Let v = a + d. Is 0.1 bigger than v?
True
Let q be (0 - 0)/(-1*2). Let o be 1 + 3 - (1 + 1). Let f be o - 3 - 3/(-7). Which is smaller: f or q?
f
Let o = 4 + -1. Let p = 7 + -7. Is p <= o?
True
Suppose 0 = -n - 3*o + 5*o, 0 = -2*o - 2. Let f be ((-8)/6)/(n/6). Is 4 at most as big as f?
True
Let c be -2 - (2/2 + -4). Let v be ((-129)/(-42) + -3)*-2. Is c > v?
True
Suppose 456 = -8*f + 2*f. Is f smaller than -76?
False
Suppose 0*p = -3*w + 2*p - 54, 0 = -2*p. Do w and -17 have different values?
True
Let l be 15/17 - (-10)/85. Which is smaller: -84 or l?
-84
Suppose 86 - 32 = 2*t. Let s be -4*(t/(-14) - -2). Is 1/8 < s?
False
Let a = -51 - -44. Is 2 smaller than a?
False
Let m = -7 + 20. Let h = m + -12.7. Does h = 2?
False
Let q be (-2)/(-8) + 210/24. Which is smaller: q or 0?
0
Suppose m = -0*m + 1. Let q = m + 0. Let o be (-2)/(-5) + q/(-15). Is 0 < o?
True
Let n = -4 + 11. Suppose 4*g - 5 = 11, 2 = a - g. Let r = 0 + a. Is n != r?
True
Let j(k) = k**2 + 4*k - 3. Let i be j(-5). Let a be (-7 - -4)*(i + -1). Let t = -9 + 5. Which is smaller: t or a?
t
Let b = -7 - 1. Suppose -2*z - 2*z - 46 = -5*h, -3*h - 39 = 5*z. Is b not equal to z?
True
Let a be ((-15)/10)/((-1)/(-26)). Let t = -233/6 - a. Is t at most 1?
True
Let t = -1/21 - 2/21. Which is smaller: t or 0?
t
Let b = -0.21 + 0.01. Is -0.12 <= b?
False
Let q be (-8 - 5) + (2 - 1). Let c be 1/(-2)*(-2 + q). Is 8 <= c?
False
Let g = 264 + -4486/17. Which is greater: 1 or g?
1
Let u = 3 - 5. Let z = u - -2. Suppose -p = -6*p - 10. Are z and p equal?
False
