 as big as j?
True
Let y = -19 + 19. Is y < -9/7?
False
Let y = 3.6 - 4.2. Is y smaller than 2/7?
True
Let b be 1 - -24 - (4 - 0). Is 21 <= b?
True
Let j be 3/44 - (-3)/(-12). Let t(y) = y**3 + 7*y**2 + 7*y + 7. Let o be t(-6). Which is greater: j or o?
o
Let c = -35 + 31. Which is smaller: 4 or c?
c
Let l(r) = 4*r + 3. Let t be l(-1). Let k = -568241/7986 + -16/1331. Let y = k + 71. Which is bigger: t or y?
y
Let a = -119 + 602/5. Let q = -6 + 4. Let l = q + 2. Which is bigger: a or l?
a
Let q = -2 - -1.9. Suppose 4*h - 2*h - 4 = 0. Let v be 1*2/4*h. Is q != v?
True
Let r = 5 + -7. Let l be (0 + -1)/(3/15). Which is greater: l or r?
r
Let j(c) = 0*c + 12*c - 14 + c**2 - 4*c. Let h be j(-10). Let l = -4 + h. Does 1 = l?
False
Let s(b) = 5*b**2. Let l = -16 + 15. Let k be s(l). Is 5 at least as big as k?
True
Let l(m) = m**2 - 13*m - 31. Let q be l(15). Is q not equal to -2?
True
Let r = -1 + 1. Let q be r/(0 - 6/3). Suppose 0*n + 3*t - 15 = -4*n, -t + 5 = q. Which is bigger: -1 or n?
n
Let c(x) = x - 2. Let s be c(0). Let z be 1*2/(-2 + s). Let o be (-1)/(1 - (1 + -1)). Do o and z have different values?
True
Let b = 23 + -53. Let q be -2 + b/(-14) + 0. Which is smaller: -1 or q?
-1
Suppose -4*z - 5*x = -7, 25 = 5*z - 2*x + 8. Let o be 0 + z/(-9)*-1. Is 1 > o?
True
Let k(p) = -p**3 - 4*p**2 + 3. Let v be k(-3). Let m be -3 - v/27 - -3. Which is bigger: 0 or m?
m
Let t be (-2)/(-3) - (-372)/(-531). Is t <= -1?
False
Let w(n) = -2*n**2 + 2*n + 1. Let j = 3 + -4. Let s be w(j). Let x = 3 + s. Are 2/19 and x equal?
False
Let k = -1451/406 + 51/14. Suppose 0 = 4*i + 40 + 12. Let y = i + 13. Which is smaller: k or y?
y
Suppose -3*a + n - 3 = -2*n, 4*a + n + 4 = 0. Is a smaller than 1?
True
Let h(o) = -o**3 - 11*o**2 + 25*o - 14. Let j be h(-13). Which is smaller: j or -2?
-2
Let v = 8.05 + -8. Let j = 0.05 - v. Which is greater: -3 or j?
j
Let p = 523/3 - 185. Let b be (-1)/2 - (-274)/24. Let o = b + p. Which is smaller: o or -1/2?
-1/2
Let b = 9 - 7. Suppose 0 = b*p - 7*p. Is 1/3 less than or equal to p?
False
Let d = 1.004 - 0.004. Is -4/5 less than d?
True
Let p(f) = -f**3 + 9*f**2 + f - 4. Let c be p(9). Suppose 2*s - 3 + c = 0. Let r be (-8)/6*(-2)/16. Do r and s have different values?
True
Suppose 0 = -5*h + a - 26, -h - 2*a - 26 = 3*a. Which is smaller: h or -7?
-7
Let d = 2 + -5. Let f = 3 + d. Let b = -0.2 + f. Is b not equal to -1?
True
Let a = -0.043 + 0.143. Is 3 greater than or equal to a?
True
Let n be (2/7)/(2/14). Let j be (-18)/(-4) - (0 + 2). Is n < j?
True
Let n be 10/(-4)*(-114)/1050. Let r = n + -1/14. Suppose c - 4*c - 3 = 0. Which is bigger: c or r?
r
Let z = -2243/9 + 249. Which is greater: -0.1 or z?
-0.1
Suppose 2*i - 23 + 6 = -3*f, -f + 49 = 5*i. Let p be (5 - 7)/(-1 - i). Is -2 >= p?
False
Let d be (1/(-3) - 0)*-21. Let t = d - 6. Are t and 2/3 equal?
False
Let z = 4.189 + 0.011. Let q = 4 - z. Is 1/4 at most q?
False
Let w = -30 + 30. Let n = -6 - -6.4. Which is bigger: w or n?
n
Let q = -0.24 + 0.24. Is -0.9 > q?
False
Suppose -2*m = 5*r + 58, -51 = 4*r + 2*m - 5. Is r equal to -12?
True
Let t = -9 + 13. Let w = 1 - t. Which is bigger: w or 0.2?
0.2
Let w be ((-4)/(-44))/(2/4). Suppose 0 = 2*j - 0*j - 2. Let c = j + -1. Do c and w have the same value?
False
Let y = 0 + 1. Let h(x) = x**3 + 7*x**2 + 5*x - 4. Let t be h(-6). Suppose t*d + 22 = 26. Which is smaller: d or y?
y
Let q be -8 - 3/(-6)*6. Let r = q - -13. Is r smaller than 7?
False
Suppose 23 = 5*s + 3. Let a be 1/(-4 - 0)*s. Which is bigger: a or -3?
a
Let i be (-4)/6*(-6)/8. Suppose 4*b + 3 = -5*y - 9, 4*y - 4*b - 12 = 0. Which is smaller: y or i?
y
Suppose 0 = -2*f + f + 10. Let h = f + -10. Let t be h - (2 + (2 - 1)). Do t and -3 have the same value?
True
Suppose 8 - 20 = -3*i. Let w be (-2)/(-5) - 16/(-10). Let m = i - w. Which is greater: m or 1?
m
Suppose 0 = -w + 4*m + 16, -5*w + 43 + 20 = -3*m. Let a be 27406/(-34232) + 3/w. Let c = a + 2/389. Is -1 at least c?
False
Let g(l) = l**2 - l - 56. Let f be g(8). Let m be (-2)/9 + 58/18. Let q be m/1*4/(-6). Is f smaller than q?
False
Let o(v) = -8*v**2 - 3*v + 1. Let z be o(-3). Are -62 and z equal?
True
Let c = 3 - 2. Suppose -u - c = -0. Is -5/4 less than or equal to u?
True
Suppose 2*p - 3*p + 5 = -z, 4 = -z + 2*p. Which is smaller: -5 or z?
z
Suppose 2*u = 3*z - 25, 1 = 3*z + 4. Let b be (u/(-28))/(1/(-2)). Let t be (-1)/(-3) - (-16)/(-39). Is b < t?
True
Let l be (4/19)/4*4. Let y(o) = o - 3. Let w be y(4). Which is bigger: w or l?
w
Let n be (6/(-8))/(6/(-1128)). Let f = n + -707/5. Let k(u) = -u**2 - 5*u + 7. Let t be k(-6). Is f greater than t?
False
Let v be (17 - -1) + (-3)/(-3). Let w = v + -18. Do w and 2 have the same value?
False
Let i = -33 + -10. Are -44 and i unequal?
True
Let l = 8 + -7. Let q = l - -2. Is q > 0.1?
True
Suppose 5*o = -5*c + 40, -3*o + 0*c = -5*c - 56. Is 12 at least as big as o?
True
Let i = -60.1 + 60. Which is bigger: i or 0.9?
0.9
Let o(q) = -2*q - 49. Let f be o(-24). Is 4/9 != f?
True
Suppose 5*p - 5*b = 40, 16 = 5*p - 2*b - 12. Let r be (-2)/((-16)/6)*p. Is -3/5 greater than or equal to r?
False
Let t be ((-5)/(-3))/((-15)/135). Is t bigger than -16?
True
Let q = -706855/88 - -8032. Let f = q + 5/8. Is f greater than or equal to 1?
False
Suppose 2 = -5*m + 17. Suppose 11 = -0*a + a + 4*p, -m*p + 8 = a. Which is greater: a or 2/37?
2/37
Let f = -32 - -29. Let d(p) = p**2 + 8*p - 13. Let a be d(-9). Which is smaller: a or f?
a
Suppose 8*w = 7*w + 2. Which is smaller: -3 or w?
-3
Let m(j) = -3*j. Let s be m(1). Let l be s - -1 - (-34)/14. Let k(t) = t**3 + 4*t**2 - 1. Let g be k(-4). Which is smaller: g or l?
g
Let l = 477 - 1418/3. Which is smaller: l or 5?
l
Let p = 3 - 6. Let y be 2/(4/p + 2). Let t = 2 - y. Are -1 and t nonequal?
False
Let d(w) = -w**3 - 2*w**2 - 2. Let o be d(-2). Let v be 2/(-3) + (-446)/6. Let m be o/(-6) + (-5)/v. Is m at least as big as -0.1?
True
Let v(z) = -z**2 + 19*z + 21. Let b be v(19). Is 21 < b?
False
Let g(s) = s**2 - 3*s - 5. Let b be g(4). Is b at most -3/16?
True
Let g = -0.38 - -3.38. Let k = -927/7 + 132. Is g at least as big as k?
True
Let p = 122.9 + -123. Is p smaller than -3/13?
False
Let d be (-3)/(2*3/(-642)). Let n = d - 2243/7. Which is smaller: n or 2?
n
Let f = 1.6 - 1.6. Let y = 0.2 - 0. Let m = y + -0.3. Which is bigger: m or f?
f
Let l(h) = h**2 + 8*h - 1. Let k be l(-8). Let t = 9 - 8. Is t greater than or equal to k?
True
Let j = -14 - -15. Which is bigger: -4 or j?
j
Suppose 3*j = -2*v, -2*v - 3*j = 2*v. Which is greater: v or -1?
v
Let n(k) = -k**2 + k + 1. Let v be n(0). Which is smaller: 1/18 or v?
1/18
Let t = -1 - -1. Let d be 2 + 4/8*-6. Which is greater: t or d?
t
Let f be -3 - (8 + -3 + -3). Let a = 6 + f. Which is greater: a or 9/4?
9/4
Let g be (-6)/10*3/(-9). Is 0.2 > g?
False
Suppose 5*u - 85 = -2*h, -2*u + 6*u - 40 = 4*h. Let g be 2 - (u/6)/1. Is g equal to 0?
False
Let p = -1/24 - -41/408. Is 0 greater than p?
False
Let b(p) = p**2 + 22*p + 71. Let v be b(-18). Is v bigger than -0.9?
False
Let k(z) = z + 24. Let q be ((-7)/2)/(3/6). Let h be k(q). Are h and 17 nonequal?
False
Let a be (12/10)/(8/20). Which is smaller: a or -2?
-2
Let d = 14 + -9. Suppose 0 = -b - 0*b + d. Suppose t + b*f = -25, 4 = -f - 1. Is 0 < t?
False
Let v = -5470/11 + 498. Are 1 and v non-equal?
True
Suppose 2*r + 7 = 2*b + b, b - 3*r = 7. Do 2/191 and b have the same value?
False
Let z = 0.1 - 0.21. Which is smaller: z or 1?
z
Suppose 0*q = 3*q. Let t = 0 - q. Which is greater: -1/2 or t?
t
Let w be (8/(-10))/((-39)/15). Let t(g) = -g**3 + 2*g**2 - 3*g + 5. Let o be t(2). Which is bigger: o or w?
w
Suppose 0 = -2*q - 0*h + 5*h - 19, -q + 4*h - 11 = 0. Which is smaller: -5 or q?
q
Let o be (-2)/7 + (-148)/(-28). Is 3 > o?
False
Let k be -57*(-2 + (4 - 1)). Is k < -58?
False
Let r be 5/(-6) - 4/(-8). Let o(d) = -d - 1. Let l be o(-6). Suppose -2*j + 3*g = 9, -g + 6 = -l*j + g. Which is bigger: r or j?
j
Let a be (-1 - -3)/(4/16). Let n(g) = g**3 - 9*g**2 + 8*g. Let t be n(a). Do -2/31 and t have the same value?
False
Let u(h) = -h**3 + 7*h**2 + 8*h. Let p(i) = i**2 - i + 8. Let n be p(0). Let z be u(n). Which is greater: z or -2?
z
Let i = -145 - -131. Is -0.1 less than i?
False
Let q = -339/1211 - 1/173. Let s be 4/(-10) + (-