same value?
True
Let m = -0.9 - -0.3. Let w = -1 - -0.6. Let d = m + w. Which is smaller: d or -0.1?
d
Let h = 3 + -3. Suppose -y + 2*y + 4 = h. Let m be 25/y - (-3)/12. Does m = -6?
True
Let j be 4/(-8) + 3511/(-22). Let a = j + 160. Which is smaller: a or 1/3?
a
Let n = -4.1 - -4. Let p be ((-1)/7)/((-11)/(-22)). Are p and n unequal?
True
Let b = 1.4 + -0.7. Let x = -0.7 + b. Which is smaller: 0.3 or x?
x
Suppose -84 - 24 = 4*x. Let a = x - -49. Suppose 2*o = -3*z - z - 4, -a = -2*z + 5*o. Which is bigger: 2 or z?
2
Let p be (-88)/(-24) - (-4)/(-6). Suppose -6*j + p*j + 30 = 0. Do j and 11 have different values?
True
Let g be 11/(-4) + (-1)/4. Let b be (-10)/(-12)*g/(-10). Let t(m) = -m**3 - 5*m**2 - 2*m - 9. Let p be t(-5). Which is greater: p or b?
p
Suppose 4*p = -0*p. Let v be 24*(2 + -3) - p. Let i be v/(-105)*10/4. Which is greater: i or 0?
i
Suppose 3*p + 7 = 1. Suppose 0*m + m + 1 = 0. Is p greater than m?
False
Let i = -210 + 161. Are i and -49 equal?
True
Let t be 134/(-518) + (-2)/(-7). Let o = 11/400 - 35249/103600. Let f = t + o. Which is bigger: 1 or f?
1
Let g be 4/((-34)/12*-3). Let b = g + -15/68. Which is smaller: -1 or b?
-1
Suppose -9*x = -38*x - 1218. Which is smaller: -3 or x?
x
Let p be 6/30 - (-144)/5. Which is smaller: 30 or p?
p
Let a(k) = -4*k**3 + k**2 - k - 1. Let j be a(-1). Let m(y) = y - 1. Let q be m(j). Which is smaller: 1 or q?
1
Let s be 4/2 - 27/12. Let x(u) = -u**2 - 7*u + 6. Let g be x(-8). Let y be 1/(g*3/6). Which is smaller: y or s?
y
Suppose -3*x - 12 + 3 = 0. Is x at least -1?
False
Let n be 72/(-126) - (-2)/28. Let t = -1 - -0.8. Is n bigger than t?
False
Suppose c + 10 = -4*c. Let q be -1*(-2)/c - -1. Which is greater: q or 3?
3
Suppose 0 = 3*w + 62 + 43. Is w greater than -36?
True
Let u(w) = -w**3 - 7*w**2 + 7*w + 1. Let k be u(-8). Let d(f) = f**2 - 9*f + 6. Let y be d(k). Which is bigger: y or 4?
y
Let l be ((-1)/5)/(5/(-50)*2). Is l at most 1/14?
False
Suppose 9*c + 2 + 25 = 0. Do c and -21 have the same value?
False
Let m = -5 - -3. Let b be 0/((-3)/((-3)/m)). Suppose 5*j + n - 8 = b, -7 = 5*j + 4*n - 24. Do j and 3/10 have the same value?
False
Let d = -66 + 66. Which is greater: d or 6/29?
6/29
Let v = 43 - 31. Let h be (v/(-40))/(3/(-4)). Let b(n) = n**3 - n**2 - n + 1. Let x be b(0). Which is smaller: x or h?
h
Let h be (3 + -12)*3/(-3). Let u = h - 6. Is u less than 3?
False
Let i = -6.3 + 6. Let y = 1.7 - i. Is y at least as big as 1/4?
True
Suppose 3*c = -1 - 14. Let k = 2 + c. Let x(v) = v**3 - 3*v**2 - 2*v + 4. Let l be x(3). Which is smaller: k or l?
k
Let m = -0.4 - -0.36. Let n = -2.04 - m. Let p = n + 1. Is -1 < p?
False
Let z be -5 - -2 - -1*21. Suppose -4*r + z = -6*r. Which is greater: -8 or r?
-8
Let p = -0.004 - 0.006. Which is bigger: p or 1?
1
Suppose 23 - 3 = -5*p. Is -28/9 != p?
True
Let f(b) = -b + 5 + 5*b - b**2 + 0. Let u be f(5). Suppose -5*d = -5*x - 7 - 8, 15 = x + 5*d. Are x and u non-equal?
False
Let f = 68 + -153. Let g = f + 55. Let c be -47*(-2)/g + 3. Is c less than or equal to -1?
False
Let t = 32 + -31.8. Which is bigger: t or 39?
39
Let v(n) = n**3 + 8*n**2 - 8*n + 10. Let g be v(-9). Let b be 1*(-1 - -6) + 0. Is g < b?
True
Let i be 0 - (-3)/9 - (-310)/15. Is i smaller than 22?
True
Let f be (-8)/30*4/(-8). Suppose -2*q = -5*l - 20, -4*q - 4*l - 20 = l. Which is smaller: q or f?
q
Let m = 18 + -13. Let j = m + -4. Let y = -104/147 + 2/49. Which is greater: y or j?
j
Let j = 1 + 0. Let g be -2 - 1/(j/(-2)). Let n be 2/4*8/18. Which is greater: n or g?
n
Suppose 5*u - 4*k - 15 = 0, -2*u + 2*k + 3 = k. Suppose 4*m - 2*l = 0, l + 3 = 3*m + 4. Are m and u non-equal?
False
Suppose 3*g = 18 - 3. Let x = g - 3. Is x at least as big as 2?
True
Let q be (2 - 1)/(15/(-6)). Let d = -3.11 - -3. Let w = 0.01 + d. Are w and q non-equal?
True
Let d be (24/(3*-1))/1. Let h = d + 3. Is -6 smaller than h?
True
Let j(i) = -2*i + 8. Let m be j(6). Let d = m - -4. Which is smaller: 1 or d?
d
Let o = -35 + 51. Let t be o/(-4) - (-28)/6. Which is smaller: 5 or t?
t
Let z = 1/6018088873 - 94646483725705/120566392481682. Let l = -1/1431 + z. Let u = l - -1/2. Is u bigger than -2?
True
Let w be ((-18)/15)/(9/(-30)). Suppose w*s = -0 + 24. Which is smaller: 7 or s?
s
Let f be ((-95)/(-50))/((-3)/6). Which is smaller: -5 or f?
-5
Let c(a) = -a**3 + 2*a**2 + a - 1. Let u be c(3). Let p = -70 - -68. Which is greater: p or u?
p
Let h be ((-3)/6)/(1/(-84)). Let b be (4/7)/(60/h). Is 1 at least b?
True
Suppose 0 = 3*s - 16 + 7. Is 2 smaller than s?
True
Let w = -93/14 + 20/3. Are w and -1 equal?
False
Suppose -3*l = -h - 0*h + 18, 18 = -3*l + 3*h. Let o = l - -29/5. Which is smaller: -1 or o?
-1
Let z = 9 + -5. Suppose 3*p + 0*l + 6 = 2*l, 0 = -3*p - z*l + 12. Is p < 1/2?
True
Let o be (-1 - -2) + (0 - -18). Suppose -q - 4*q - 4*x = -o, -2*q = -x - 5. Suppose -p = -4*p - q. Which is smaller: -1/3 or p?
p
Let v(z) = z**3 + 14*z**2 + 12*z - 16. Let k be v(-13). Let d be (-2)/20*-8*-2. Is k equal to d?
False
Let s(f) = -f. Let o be s(2). Is o greater than -3?
True
Let u = -32 + 18. Let z = u - -8. Let n = z + 3. Are -1/2 and n nonequal?
True
Suppose g + 6 + 0 = 0. Which is greater: g or -7?
g
Let m = 34/7 + -40/7. Is 1/7 > m?
True
Suppose 0 = 2*p + 8, 4*i - 5*p - 16 - 4 = 0. Suppose i = y + 2*y. Is 1 greater than or equal to y?
True
Let a = 46.3 - 46. Which is smaller: a or -6?
-6
Suppose 0 = 2*z - 0 + 2. Which is bigger: z or -20/13?
z
Let x(g) = 2*g - 4. Let z be x(4). Is z > -2?
True
Let v(n) = 3 + 3*n**2 - 2 + 2 + 5*n - 7*n - n**3. Let d be v(3). Which is bigger: d or -7/4?
-7/4
Let j = -35.03 - -24.96. Let m = j - -10. Let q = -1.07 - m. Are q and 3 unequal?
True
Let k = -6 - -11. Suppose 13 - 58 = -4*z + k*b, 0 = -4*z - 5*b - 5. Suppose 8*g - 3*g - 15 = z*a, 0 = g + 2*a + 3. Does g = 0?
False
Suppose -3*l - 16 = -7*l. Suppose -4*i = -2*y + 9 - 1, -4*i = l. Is 9/7 bigger than y?
False
Let c(b) = b + 3. Let f be c(-5). Let p(t) = -4*t + 1. Let v be p(-1). Let k be f - (v/3)/(-1). Which is smaller: k or 0.2?
k
Let g = -50 - -73. Is 1 equal to g?
False
Let c = 4 - 5. Let o be c/(-5)*25/(-20). Which is smaller: o or -1?
-1
Let n(l) = -l - 4. Suppose 9*i + 12 = 6*i. Let p be n(i). Is p less than -1/2?
False
Let o = 1 + -3. Let b = o + -3. Is b > -5?
False
Let l = -53 + 87. Is l < 31?
False
Let m(v) = 3*v**2 - 8*v + 6. Let w be m(4). Which is bigger: 24 or w?
24
Let j(p) = p**3 + 6*p**2 - 7*p - 1. Let n be j(-7). Let o = 429/40 - 85/8. Are o and n non-equal?
True
Let s be (-86)/80 + (38/(-10) - -4). Which is smaller: 0 or s?
s
Let u(p) = p - 7. Let s be u(6). Let l be -3 + (4 - (-1 - -5)) + 2. Is s at most as big as l?
True
Let b = 0.1 - -9.9. Let p = b + -9. Which is smaller: p or 2?
p
Let k = 674/5 + -688/5. Is k bigger than -2?
False
Let t = 3 - 7.2. Let x = 0.4 - -3.6. Let s = t + x. Is s less than or equal to 1?
True
Suppose -5*o + 8 = -27. Is o < 5?
False
Suppose 4*m + 32 = 4*k, 4*k - m = 2*k + 12. Suppose 3*s = 0, 100 = 4*p + 2*s + 3*s. Suppose 2*i + 2*g = 8, -8*g + k*g = -5*i - p. Is i >= -2?
True
Suppose 3*l + 1 = 4*l. Let c = 0.2 - 0. Let v = -0.8 - c. Which is greater: l or v?
l
Let c(m) = -2 - 2*m**2 + 2 - 4*m + 1 + 0. Let y be c(-3). Which is greater: y or -7?
y
Let m(w) = w**2 - 7*w - 6. Let a be m(8). Let d = -2 + a. Is 1/2 at most as big as d?
False
Let s = -23 + 7. Which is smaller: s or -14?
s
Let u = 3 - 5. Suppose 0 = 2*w + 5*s + 10, -3*w + 6 = -3*s - 0*s. Which is greater: u or w?
w
Suppose 2*o + 3*z - 10 = 0, 3*z + z = -4*o + 16. Let q(v) = v**3 - 5*v**2 + v - 4. Let x be q(5). Let u be (4 + (-16)/4)/x. Is o greater than or equal to u?
True
Suppose -5*i = 4*g + 31, 3*g - g = -3*i - 17. Let m = i + 4. Is 2 equal to m?
False
Suppose 5*k = a - 2*a + 61, 0 = -k - 3*a + 1. Suppose -3*g + 6 = 0, 1 + k = -3*y + 4*g. Which is smaller: -3 or y?
-3
Suppose 0 = -0*x - x - 2. Let z(a) = -a**2 - 6*a + 9. Let n be z(-7). Which is smaller: n or x?
x
Let n = 0.2 - 0.2. Let r = -0.03 + -1.97. Let k = r + 3. Which is greater: n or k?
k
Let c = 0 - 4. Let h(z) = -z - 5. Let v be h(c). Let t = 4 - 29/7. Is v less than t?
True
Let u be ((-1)/(-2))/(2/(-4)). Let w(g) = -g**2 + 6*g - 5. Let p be w(5). Let y = p + u. Which is smaller: 0 or y?
y
Let y = 0.7 + -0.5. Are 9 and y equal?
Fals