True
Let n = 12.1 - 12. Let d = n - 0. Do 0.1 and d have the same value?
True
Suppose 2 = 2*x - 2. Let n be (-75)/(-126) + x/(-4). Suppose 0 = -6*r + r - 5. Which is greater: r or n?
n
Let y(h) = 4*h - 16. Let n be y(4). Let a(q) = q**2 - q + 1. Suppose -4*k + 2*w - 4 = -6*k, 0 = -k + 3*w - 2. Let c be a(k). Which is smaller: c or n?
n
Suppose 0 = -7*k + 3*k + 4. Suppose -15 = -3*g + 2*g. Let j be (-10)/g*(-6)/26. Does j = k?
False
Suppose 2*h = -n - 3*n + 8, -4*h = 4*n - 4. Suppose n*r = -5*k + 10, -5*r + 3*k = 4 + 2. Let f = -37 - -36. Is f < r?
True
Suppose 0 = 68*j - 59*j + 90. Let r(y) = -4*y - 2. Let z be r(2). Is z < j?
False
Let f(y) = -y**2 - 10*y + 2. Let r be (-9)/(6/(-4) + 0). Suppose 4 = -i - r. Let b be f(i). Which is bigger: 1/2 or b?
b
Suppose 29*f = 35*f + 6. Which is greater: f or 2/33?
2/33
Let z = -1 - -5. Let v = 0 - -2. Is v equal to z?
False
Let q = -72 + 87. Which is bigger: -3/2 or q?
q
Let a be 9/(1/(-3) + 0). Let s = a + 17. Is -8 greater than s?
True
Suppose 2*z = 2*r + 30, -z + 0*r = 2*r. Suppose -p - s - z = 0, -2*p + 4*s + 1 = -s. Which is bigger: -6 or p?
-6
Suppose -5*l = -3*l - 4. Let d be 2 + 0 - (-1)/(-1). Is d <= l?
True
Let l be 2/(-4) + (-2)/(-4). Let d be ((-32)/100)/(4/10). Is d less than l?
True
Let p = -25 - -27. Which is smaller: 1/2 or p?
1/2
Suppose -3*s + 1 = -2. Which is bigger: -6/13 or s?
s
Suppose 0 = 3*p + 3 + 6. Suppose b - 5 = 0, -5*b + 21 = -i + 2*i. Is p less than i?
False
Suppose 0 = s - 5*s + 108. Let q = 25 - s. Is -2 less than q?
False
Let n(o) = -o**3 - 13*o**2 - 4*o + 5. Let u be n(-12). Let b be (-52)/u - 2/7. Which is greater: 0 or b?
b
Let o(d) = d**2 - 7*d - 7. Let m be o(8). Let q = -3 - -3. Do q and m have the same value?
False
Let v be (198/4 + -1)*14/7. Do v and 97 have different values?
False
Let t = -108 - -435/4. Which is smaller: 0 or t?
0
Let h = 8 + -4. Is h less than 2?
False
Let h = -64/459 + -4/459. Is h != 0?
True
Let r = 1327 - 181801/137. Is 1 less than or equal to r?
False
Let l = 23.028 - 0.028. Which is smaller: -0.1 or l?
-0.1
Suppose 6*o = 3*o - 6. Let m = 8 + -16. Let p = o - m. Are 6 and p non-equal?
False
Let w be 2/(-8) - (-9)/4. Which is greater: w or 1/3?
w
Let o be (-6)/4*(-8)/12. Is o less than 4/13?
False
Let r be ((-38)/(-20))/(2/132). Let t = 44 - -81. Let y = t - r. Is 0.1 < y?
False
Let r(n) = -2*n**2 + 0*n**2 + 8 + n**2 - 3 - 5*n. Let j be r(-5). Is 5 bigger than j?
False
Suppose -3*h + 42 = -39. Suppose 43 = -3*u - 5*n, -2*u - 6*n = -3*n + h. Is -5 greater than u?
True
Suppose 4*u = -2*p - 32, -4*p - 19 = u + 2*u. Let w = -8 - u. Is w smaller than -2/17?
False
Let f = 5811/4 - 1439. Let m = 27/2 - f. Suppose r + 0 = -1. Which is greater: m or r?
m
Suppose 0 = -2*j - 0*j + 42. Suppose 0 = -0*y + 3*y + j. Which is smaller: y or -4?
y
Suppose 2*b = -5*y - 2, -b - 4*b + 3*y = 36. Let k be (8/(-30))/(b/30). Which is greater: 2 or k?
2
Let h(q) = q + 6. Let j be h(0). Let m be j/(-40) - 12/(-30). Let b = -0.05 + 2.05. Which is bigger: m or b?
b
Suppose g = -4*g - 15. Let h be ((-6)/4)/(g/6). Let x(a) = a**2 + 3*a + 2. Let b be x(-3). Which is smaller: b or h?
b
Suppose 139 = 2*r - s - 4*s, 0 = 4*r - 2*s - 270. Are r and 67 unequal?
False
Let z(a) = -3*a**2 + 20*a + 8. Let t be z(8). Which is smaller: t or -22?
t
Let a = -5.2 - -3.8. Is a != 0?
True
Let x = -1784 - -224783/126. Which is smaller: 0 or x?
x
Let z = -4765/78 + 361/6. Let k = -34/65 - z. Let n = -0.1 + 0.1. Which is smaller: n or k?
n
Suppose -2*i + z - 33 = -5*i, 4*i + 2*z = 46. Let l be (1 - 4)/((-3)/i). Is l < 11?
True
Let n(c) = -c + 7. Let t be n(7). Suppose 0 = 9*b - 4*b + 100. Let p be b/(-8)*6/(-20). Does p = t?
False
Suppose 6 = 7*v - v. Which is smaller: 5/4 or v?
v
Let k be 12/16*-2*(0 + 6). Which is smaller: k or -14?
-14
Suppose -4*w + 3*w = -5*q + 11, -3*q = 2*w - 4. Let h be 2/20*4/(-3). Which is smaller: w or h?
w
Let g = 301 - 2103/7. Which is greater: 1 or g?
1
Let i be 4/36 - 4/(-18). Let g = 0.08 - 0.18. Is i bigger than g?
True
Suppose -5*z - 5*u - 7 = 48, 3*u + 15 = -z. Which is bigger: -10 or z?
z
Let x = 0.28 - -0.12. Let g = -0.2 + x. Which is greater: 4 or g?
4
Suppose 3*n = n - 0*n. Is n at least as big as 3/47?
False
Let b be ((-3)/(-57))/(1/(-2)*-1). Is b smaller than 2/3?
True
Let z be 1*-18*8/6. Let j = 21 + z. Which is smaller: j or -2?
j
Let o be (-10)/15 - 34/(-33). Let n be (-804)/1540 - (-9)/15. Let k = o - n. Is 2/7 equal to k?
True
Let r = -556 + 17789/32. Which is bigger: 0 or r?
0
Suppose 0 = -2*j + 25 - 21. Let l = 413/5 - 82. Do l and j have the same value?
False
Let w be (-2)/4*4/12. Which is smaller: w or -2/15?
w
Let m be 3157/(-791) + (-4)/6*-6. Which is smaller: m or 0?
0
Let d = 4 - 1. Let z = 7 - 4. Are z and d equal?
True
Suppose -210 = -3*a + 5*a. Let z = -841/8 - a. Which is smaller: z or -0.2?
-0.2
Let p = -2 - -1. Let u = 1 - p. Let q be 1/(-2)*(-1 - 1). Is u bigger than q?
True
Let w(g) = g**3 - 9*g**2 + 7*g + 11. Suppose 2*u - 2*t = 20, -2*t - 3*t - 42 = -4*u. Let j be w(u). Which is smaller: j or 2?
2
Suppose 2*b - 15 = -3*b. Suppose 2*h + 2*j = -2, -2*j = -b*h - 6*j - 3. Is 2/11 greater than h?
True
Let d = 2.5 - 2.52. Which is smaller: d or -4/7?
-4/7
Let p(o) = -o**2 - 4*o + 2. Let x(v) = -4*v**3 + v**2 - v. Let b be x(1). Let d be p(b). Let l be 0 + 12/(-8) + 2. Which is bigger: l or d?
d
Let y(u) = -2*u + 4. Let o be y(4). Let c = 2 - o. Let f be 8/21 + c/(-9). Which is smaller: f or 0?
f
Let h = 0 - 0. Let n be (-10)/25 - (0 + 0). Which is smaller: n or h?
n
Let m(u) = -u**2 + 5*u + 7. Let w be m(6). Suppose 4*c + w = -15, -2*c - 17 = -3*q. Which is bigger: q or 4?
4
Let c be (-20)/(-64) - (-2)/(-8). Which is smaller: 0 or c?
0
Let q(a) = 2*a - 41. Let d be q(21). Are -2/29 and d equal?
False
Suppose 4 = -4*d + 12. Suppose 7*z - 2*z - 3*m - 13 = 0, 0 = d*z - 4*m + 6. Let k be z/3 + (-2)/3. Is k <= -1?
False
Let x = -3 - -2. Let i be (4/2 - x) + -3. Which is greater: i or 2/9?
2/9
Let w = -7 + 7. Suppose 4*z - 16 = -w*z. Is -1/4 not equal to z?
True
Let l = -12 - -3. Let i be (9/24)/(l/6). Which is smaller: -1 or i?
-1
Let o = -2 + 2. Let w = -18 + 18.5. Let v = w + 0.5. Is o not equal to v?
True
Suppose -5*g + 2*b + 39 = -b, -3*g - 2*b + 12 = 0. Does 39/8 = g?
False
Suppose 2*i - 13 = d - 2*i, 5*i = 4*d + 8. Suppose 0*m - m - 3 = 3*y, 0 = d*y + 3. Let q(l) = l**3 + l - 2. Let x be q(0). Is x greater than or equal to m?
False
Let a = -53 + 52.7. Which is greater: a or 2/13?
2/13
Let u(f) = f**2 + 2*f + 2. Let a be u(-1). Which is greater: a or -6/23?
a
Suppose 36*w = 41*w - 15. Let l be 6/(-15)*(1 - 6). Which is bigger: w or l?
w
Let m(z) = z**2 + 6*z - 1. Let h be m(-7). Let w be 16/42 - 4/h. Is w bigger than 0?
False
Let v(i) = -i**2 + 11*i + 14. Let k be v(12). Suppose k*a - a = -6. Is a equal to -5?
False
Suppose 28 = -4*n - 3*y, -5*n - 2*y - 8 = -5*y. Is n at least -2/7?
False
Let d(w) = 2*w + 2*w - 3*w. Let i be d(7). Is 8 bigger than i?
True
Let p be (-6)/12 + (-46)/(-76). Is 0 > p?
False
Let h(c) = -c**2 + c. Let u be h(0). Is u at least -1/23?
True
Suppose 14 + 10 = -8*q. Let j be (-10)/(-6)*3/(-3). Is j less than q?
False
Let f = 7 + 5. Let y be (-2)/(-8) + (-15)/f. Which is smaller: y or -5/4?
-5/4
Let f(c) be the first derivative of c**4/4 + 2*c**3 + 3*c**2 - 3*c + 2. Let x be f(-5). Let p be (-2)/x + (-2)/(-8). Which is smaller: p or 0.4?
0.4
Let k = 2 + -6. Let o = k - -5. Is 2/23 less than o?
True
Let d = 70 + -70. Which is smaller: 2/21 or d?
d
Let q = 0 + 0. Let s = -25 + 42. Let p(z) = z - 20. Let f be p(s). Which is greater: q or f?
q
Let u(f) = -f**3. Let d(q) = -3*q**3 + 8*q**2 - q + 7. Let r(o) = -d(o) + 2*u(o). Let s be r(8). Let y = 193/1243 + 3/113. Which is greater: s or y?
s
Let c = -77 + 157/2. Let b be 3 + (-1 + 13 - 3). Let z be 6/b*(-1)/(-2). Do z and c have different values?
True
Let i be ((-1)/(-2))/(-2 - -5). Let o = 0 - 1. Is o < i?
True
Let x = -7 - -6.4. Let o = 2.6 + x. Which is greater: -2/5 or o?
o
Suppose -21 - 1 = 3*c + s, 4*s + 25 = -5*c. Do c and -13 have the same value?
False
Let y = 11 + -11. Is 0 bigger than y?
False
Let p = -8 + 15. Let c = 7 - p. Which is smaller: 0.11 or c?
c
Let r(i) = -i + 6. Let k be r(11). Let y = 4 + k. Is y < -3?
False
Let m = 49 + -27. Let i be ((-4