 n + 0*n = 4. Is n smaller than z?
False
Let s be (-380)/(-6) + (-3 - -5). Let y = s - 66. Which is smaller: y or -1?
-1
Let m = -13 - -18. Suppose 2*x - m*p = -10, p + 0 = 2. Do -1 and x have different values?
True
Let d = -217 + 304. Let q = -431/5 + d. Which is bigger: q or 1/3?
q
Let f = 10 + -12. Let q = 0.2 + 0. Which is bigger: f or q?
q
Suppose -12*t - 3*t = -300. Is t >= 16?
True
Let f = -8/15 + 17/60. Which is greater: f or -5?
f
Let p = 12 - 13. Let h be (-1 - -3) + (-72)/34. Let d = -21/34 - h. Is p less than d?
True
Let u = -12 - -14. Is u not equal to -1?
True
Let v be (-4)/10 + (-9)/(-10). Let h(f) = 4. Let d(b) = b - 15. Let i(j) = -2*d(j) - 9*h(j). Let r be i(-4). Is v smaller than r?
True
Suppose 0 = 4*q + 18 - 162. Let o be 2/9 - 12/q. Suppose 4 = 3*n + n. Do o and n have the same value?
False
Let b(c) = -c**3 - 6*c**2 + 2*c + 8. Suppose -4*r - r - 30 = 0. Let u be b(r). Let h = -19 - -16. Is u < h?
True
Let u = 20293/12 - 98535/68. Let h = -242 + u. Which is greater: h or -1?
h
Suppose 37*j + 5 = 42*j. Is 12/23 less than j?
True
Let y = -24841009317227/1264782800479 + 2/1054864721. Let c = y + -59/109. Let o = 20 + c. Which is smaller: o or 0?
o
Let d = -60 + 103. Which is smaller: d or 42?
42
Let r be ((-4)/(181 + -1))/(2/4). Which is smaller: 0 or r?
r
Let l = 124/15 - 33/5. Let c = 5 + -3. Is l < c?
True
Let n = -2 + 2. Let d = -363 + 5452/15. Let z = 11/45 - d. Which is smaller: z or n?
z
Suppose 4*n + 12 = 4*h, 3*n + 6 = h + h. Let m = n - -4. Are m and 3 unequal?
True
Let o = 141 - 702/5. Is o > 1?
False
Let q = 0 + 3. Suppose -21 = -v - q*t - 2, 5*v + 2*t = 30. Let o be 5/(-10) - (-14)/v. Which is bigger: o or 2?
o
Let f(a) = -a**3 - 4*a**2 + 6*a + 4. Let u be f(-5). Let z be (-1 + (-27)/(-15))/(-10). Which is bigger: z or u?
z
Let y be (-16)/612*1/(-2). Which is smaller: 0 or y?
0
Suppose 0 = -t - 5*i + 21, -t + 0 + 1 = i. Let n be t + 2 + 3 - 2. Which is smaller: 1 or n?
n
Let x be 3/6*-2*2. Is 3 greater than or equal to x?
True
Let v be 52/(-65) - 2/10. Let z(j) = j**3 + 5*j**2 + 4*j + 2. Let d be z(-4). Let l = 0 + d. Is l > v?
True
Let k = -0.42 - 0.08. Let d = k + 0.4. Which is bigger: d or 4?
4
Let t = 1438 + -8597/6. Is 6 < t?
False
Let t = -107 - -51. Is t greater than or equal to -113/2?
True
Let a(m) = -m**3 - 5*m**2 - 6*m - 5. Let l be a(-4). Let u(p) = l*p**2 - 3*p**2 + 4 + 6*p + p**2. Let w be u(-5). Is -1/3 at least as big as w?
True
Let p = -3.1 - -2. Let i = p - -0.2. Which is bigger: i or -1?
i
Let f be -1 - (-3 - (2 - 1)). Suppose -3 = -0*p + f*p. Which is greater: 1/28 or p?
1/28
Let h(g) = -g**2 - 5*g + 2. Let w be h(-5). Suppose v = 2*v + 2. Let p = v + w. Which is smaller: p or 1?
p
Let j(q) = -q**2 + 11*q + 11. Let o be j(12). Which is bigger: 1/12 or o?
1/12
Let g be (-3 + (3 - 1))*0. Suppose 0*f + 3*f = g. Let i = 38 + -113/3. Is f at least i?
False
Let a = 43 - 28. Suppose 0 = 3*o - 2*x + 6, 2*o - 7*x + 2*x = -a. Let s = 1 - o. Which is greater: s or 2?
2
Let r(b) = b**3 - 3*b**2 + 3*b - 2. Let d be r(2). Is d >= -3?
True
Let o = 7 - 4. Let w = 7 - 8. Which is bigger: w or o?
o
Let t be 5*(-2)/15*-3. Let a be (-1 + (-6)/(-4))/(4/(-8)). Is a smaller than t?
True
Let q(b) = -b - 5. Let l be q(-3). Let c be 1 - -2*3/6. Let p = c + -2. Which is smaller: p or l?
l
Let t be 2/(-15) + (-2)/(-6). Let y = -1/268 - 8441/268. Let b = 32 + y. Do t and b have the same value?
False
Suppose 0 = -2*h + 1 + 3. Let c be h - 1 - (-72)/(-63). Is c at most -1?
False
Let q be 7 + -4 + (113 - 1) + -1. Do q and 114 have the same value?
True
Let b = 268/5 - 54. Are b and -0.1 non-equal?
True
Suppose -12 = s - 7*s. Is s not equal to 6/11?
True
Let i be (-2)/8 - 354/(-8). Suppose 5*s + 4 = i. Let y be (3/(-4))/((-63)/s). Is -1 bigger than y?
False
Let w = 0.7 + -0.7. Which is greater: w or -3/17?
w
Let o be 3/((-5)/2 - -1). Let i = 0 + o. Let w be 12/(-5) + i/(-5). Is w <= -2/3?
True
Let p be -1 + (-6 - (-1 - 0)). Let s = -8 - p. Which is bigger: s or -0.1?
-0.1
Let n be (-4)/((-6)/((-12)/4)). Suppose o - 2*f = f - 18, -2*o - 16 = -2*f. Let z be (o/(-6)*n)/9. Which is smaller: 1 or z?
z
Let k = 21 - 12. Let s = 12 - k. Suppose -2*d = s - 9. Which is bigger: d or 5/2?
d
Let l = 4 + -4. Let r = 0 + l. Is -1 <= r?
True
Suppose -t = -5*z - 8, -3*t = 2*z + 1 - 8. Suppose t*y + 12 = -3. Is -2/5 at least as big as y?
True
Let p = 41/30 + -3/2. Does 0 = p?
False
Suppose -3*u + 6 = 5*a, 5*u - 13 = -3. Let o = -2 + 2. Let j be o/(-2) + 4/2. Is a at most j?
True
Let h = -7.84 - -8. Let t = 0.15 + -0.21. Let n = t + h. Is 0.2 bigger than n?
True
Suppose -4*b = 12 - 4. Let f = -4 - b. Let o = 17 + -19. Are f and o non-equal?
False
Suppose 5*d + 4*r - 6*r = 41, -r = -2*d + 16. Suppose -2*i - d = -29. Let m be (-18)/(-4)*i/15. Which is greater: 1 or m?
m
Let a = 13 + 1. Is a >= 15?
False
Let u(g) = g**2 + 4*g + 3. Let h(q) = q + 2. Let t be h(-4). Let w be u(t). Let p be (-4)/3 + (-124)/(-84). Does w = p?
False
Suppose 18*n - 20*n + 12 = 0. Is n bigger than 8?
False
Suppose -r - 3*r + 3*y = -7, 0 = -r - y. Which is greater: r or -0.4?
r
Suppose 0 = -2*f - 26 + 36. Is 7 greater than f?
True
Suppose -2286 = -3*y + 3*b, -2288 = -3*y + 7*b - 3*b. Suppose -s - 190 = x, 6*x + y = 2*x - 2*s. Let o be ((-8)/x)/(4/10). Are 0 and o nonequal?
True
Suppose 4*h + 0*q + q = 20, 0 = 4*h - 5*q - 20. Which is bigger: 21/4 or h?
21/4
Suppose -14*g + 13*g - 4 = 0. Let s(q) = q**2 - 6*q + 9. Let k(d) = -1. Let c(p) = -4*k(p) - s(p). Let h be c(6). Which is smaller: h or g?
h
Let a be ((2 + 28)/5)/8. Is a > -2?
True
Let d(l) = -l**3 + 3*l - 2. Let g be d(1). Which is bigger: g or -2/13?
g
Let s = -4 - -4.8. Is -1/7 < s?
True
Let w = -19 + 18.98. Which is smaller: -4 or w?
-4
Suppose 0 = 4*w + 3*g + 15, 0*w + 2*g = -w - 5. Let a = 3 + w. Let t be -2*(-2)/(-10)*-1. Which is smaller: a or t?
a
Let l = 3 - 5. Suppose 2*c - 7*c = 0. Which is smaller: c or l?
l
Let v = -0.1 + -0.1. Let x = 0 - -2. Let t = x - 1. Which is smaller: v or t?
v
Suppose 0 = 4*p + 3*n + 3 - 11, 5*p + 5*n - 15 = 0. Do p and 13 have different values?
True
Let o(b) = -b**3 - 6*b**2 - 6*b + 1. Let d be o(-5). Let i be (-2)/(-4)*(-119)/d. Let t = i - -29/3. Is 0 at least as big as t?
True
Let w = 31/4 - 3. Suppose 3*y - 8*y = -20. Is y at least w?
False
Let c = -16.5 + 2.5. Let v = -9 - c. Is -2 less than or equal to v?
True
Suppose -h = h, -44 = 4*k - 5*h. Is -5 > k?
True
Suppose -4*o = -3*t + 2*t + 10, -1 = -o + 2*t. Let d(u) = 3*u - 6*u + 2*u - 2. Let s be d(o). Do 1/2 and s have the same value?
False
Suppose -3*b + 1 = -2. Which is greater: 2/13 or b?
b
Let i = 2/57 - -43/399. Which is bigger: 1 or i?
1
Let m(l) = -l**3 + 5*l**2 - 5*l + 3. Let t be m(3). Let a(q) = q**3 - 7*q**2 + 8*q - 4. Let z be a(t). Which is bigger: z or 9?
9
Let i = -1693/109210 - -7/326. Which is smaller: i or -1?
-1
Suppose -38 = 2*f - 14. Is -12 not equal to f?
False
Let m = -4 - 8. Is m < -12?
False
Let s(y) = y**2 - 4*y. Let v be s(3). Suppose -2*z = 10, -t + z + 1 + 6 = 0. Let b = t + v. Is -2/15 at most b?
False
Let p be (-1)/(-4) - 22/(-8). Suppose -p*c - 20 = 2*c. Let n be c/(-2) - (2 + -4). Does 3 = n?
False
Let x = 8 - 5. Suppose q - 3*q = 4. Let s be 1 - (-1 - 1/q). Which is bigger: s or x?
x
Let s be 474/42 + (-2)/7. Suppose -s + 3 = -4*x. Is 2 not equal to x?
False
Let x(u) = -4*u - 1. Let j be x(-2). Let m be (-161)/(-84)*4 + (-4)/6. Is m greater than or equal to j?
True
Let w(s) = -s**2 - 13*s - 6. Let g be w(-13). Which is smaller: g or -3?
g
Suppose 5*t = 3*m + 12, 5*m - 4*m = t - 4. Which is greater: -10/37 or t?
t
Let h be -3 + 1 - 5767/3. Let i = -1908 - h. Let b = i - 16. Which is bigger: 2 or b?
2
Suppose 3*p + p - 12 = 0. Suppose -p*y - 5*h = 29, 4*y + 21 + 15 = -4*h. Is y equal to -8?
True
Suppose -9*b = -8*b - 62. Is b greater than 63?
False
Let q = -0.95 - -1. Let y = 0.05 - q. Do y and -0.1 have the same value?
False
Suppose 3*y + 2*y = 10. Suppose 5*q - 3*n = -5, -q + 5*n - 3 = y*q. Let b be (-1)/2*-2*3. Which is smaller: q or b?
q
Let g(f) = f**2 + 5*f + 3. Let r be 3/(0 + 6/(-4)). Let i = r - 2. Let p be g(i). Which is bigger: -2/5 or p?
-2/5
Let u be (-18)/5 + (-12)/30. Let m = 4 - u. Is 2/5 < m?
True
Let s be 2 - (-4 + 2)/2. Let v be (1/(-4) + 63/(-28))*-2. Which is smalle