
n
Let c = -48.991 + 49. Do 0 and c have different values?
True
Let d be (64/(-6))/(3/(-9)). Let q be d/20*(-5)/(-2). Is q at most as big as 5?
True
Let r = 10055/7909 + 1/719. Let n = r - 64/33. Let s = 23/60 - 1/20. Which is smaller: n or s?
n
Let d = -1 - -14. Does 14 = d?
False
Suppose -3*x = -8*x + 5. Is x greater than or equal to -2/111?
True
Suppose 0*r + 1004 = 4*r. Let f = r - 2261/9. Is -1 not equal to f?
True
Let p = -9 - -10. Let k(g) = g**2 + 8*g - 7. Let d be k(-9). Is p < d?
True
Suppose 3*u - u = -24. Let l = u - -17. Are l and 6 equal?
False
Let l = -0.32 - -0.02. Let s = 43.2 + -43. Let i = l + s. Which is smaller: 3 or i?
i
Suppose 5*c + 5*q - 7 - 3 = 0, 0 = 5*q - 15. Does 2/5 = c?
False
Let r(t) = 6*t - 5 - t**2 - 1 + 0*t**2 + 2*t**2. Let h be r(-6). Is h greater than -5?
False
Let p = 24 + -25. Is p equal to -1/6?
False
Let n = -808/13 - -62. Let l = -185/6 - -33. Let w = l - 3/2. Which is bigger: n or w?
w
Let i be (1 + 1)*(-3)/(-16). Which is bigger: 0 or i?
i
Let x = 127/24 - 661/136. Let o = x - -4/17. Which is bigger: -8 or o?
o
Suppose 4*d = 0, 5 = -a - d - 1. Let f be (-10)/a + 18/(-27). Is f smaller than 2?
True
Let a = -0.4 + 0.2. Let k = a + 7.2. Let u = 4 - k. Which is smaller: u or -0.1?
u
Let a(s) = -s**3 - 2*s**2 - 2*s + 1. Let j be a(-2). Is 5 > j?
False
Let p = -62.14 + 75.2. Let z = p - 0.06. Which is bigger: 1 or z?
z
Let p(o) = 2*o**3 + 3*o**2 + 2*o + 2. Let b be p(-2). Let l be b/(-15)*(1 + 14). Let y be (2/(-9))/(2/l). Which is bigger: y or -1?
y
Let h be 1 - (10/6)/5. Is 0.3 at most h?
True
Let g(f) = f - 5. Let d be g(4). Let v = -2/35 - 13/385. Which is smaller: d or v?
d
Let y = 16 - 13. Which is greater: 1 or y?
y
Let u(z) = z**3 + 5*z**2 - z - 3. Let v be u(-5). Suppose d + 2*d + b + 19 = 0, -4*b - 41 = 5*d. Is d smaller than v?
True
Let p be (5/4)/((-6)/(-48)). Let b = 5 - p. Is b at least -3?
False
Let h = -6 + 8. Suppose 0 = -3*r - 3*x + 33, 3*r + x = 3*x + 8. Suppose h*c = r*c - 8. Does c = 2?
True
Let c = 31 + -32. Are 40 and c unequal?
True
Let o be -3 + 3 - 2/2. Let m = 1 - 2. Let d be 1*4/(m - 1). Is d bigger than o?
False
Let v be 31/6 + 1/(-6). Suppose -5 = -3*r - 2*r - 5*f, -v = -5*r - f. Which is greater: r or -1?
r
Let d = -879/7 + 126. Which is greater: -1 or d?
d
Let s be (7 - 4)/(-3)*1. Which is greater: s or -1/19?
-1/19
Suppose 2*p = 3*u + 5, 0 = -u + p - 6*p + 21. Suppose 4*o - i = 9, -5*o + 4*i + 7 = -7. Which is bigger: o or u?
o
Let q be (4/(-6))/((-1)/(-144)). Let w = 670/7 + q. Let d be (-7)/(-10)*(-10)/4. Which is greater: w or d?
w
Let d = -8/11 - -2/33. Which is bigger: -2 or d?
d
Suppose -l + 4*r = 5*r, -r = -l - 2. Let j = -38 + 115/3. Is l bigger than j?
False
Let s = -28 + 57. Let u = s + -29.1. Let x = 4 + -3.7. Which is smaller: u or x?
u
Let o be 0*(-1)/4*2. Let j(g) = -g + 2. Let s be j(5). Is o greater than s?
True
Let u be (3 - 1)/(0 - 2). Which is smaller: -12 or u?
-12
Let i(f) = -f**3 - 8*f**2 + 9*f - 10. Let s be i(-9). Suppose 8*m - 4*m = -4. Which is greater: m or s?
m
Let r = 2 + -5. Let a(d) = d**2 + 8*d + 5. Let p be a(-7). Let n = -3 - p. Is r > n?
False
Let g = 13.5 + -13.6. Which is bigger: 0.18 or g?
0.18
Suppose 2*y = k + 2*k + 36, -3*k = 4*y + 18. Which is bigger: -9 or k?
-9
Let o = 9 - 9. Suppose o*t = 4*t. Let j = 2 - 3. Which is greater: t or j?
t
Let k = -4 - 0. Let u = k - -4. Let h = 0.1 - u. Is h less than or equal to 1/2?
True
Suppose -x + 6*q - 2*q = -9, 0 = -4*x + 3*q - 16. Let f = x - -5. Does f = 0?
False
Suppose 4*i - 11 = -5*h, 5*i = -6*h + 2*h + 7. Is -4 > i?
False
Let l be 2/(-11) - (-24)/(-594). Which is smaller: l or 4/7?
l
Let g be -1 + 12/6 + -2. Which is greater: -2/229 or g?
-2/229
Let t(m) = -m**2 - 5*m + 5. Let y be t(-6). Suppose x + 4*x = -2*a + 33, 0 = a - 5*x + 21. Suppose a*d - 5 + 1 = 0. Is d > y?
True
Let u = 22/3 + -7. Let c be (-4)/2*-2 - (-1 - -5). Which is smaller: u or c?
c
Let i be 0/(1 + -2 + 3). Let n be (-1*2)/(2/10). Let c be n/(-18) + (-6)/27. Which is greater: i or c?
c
Let y(j) = -j**3 + 12*j**2 + 12*j + 12. Let z be y(13). Is 3/8 > z?
True
Suppose -4*y - 8 = -4*b, -9*b + 4*b = 4*y - 10. Let h(m) = m**2 + 5*m - 3. Let i be h(-6). Let k = i + y. Is k < 3?
False
Let b = -34 + 35. Is -2 at least as big as b?
False
Let j = -9 + 9. Which is smaller: -0.3 or j?
-0.3
Let l be 4/((-12)/14 + 1). Let q = -14 + 8. Let y be q/l + 2/(-7). Is -4 smaller than y?
True
Let a be (-6)/2 - (-59)/19. Does -1 = a?
False
Suppose -30 = -2*l - 4*p, -3*l + p - 2*p = -20. Suppose 5*v - 1 - 19 = 0. Is l less than v?
False
Let p be 46/3 + (-2)/(-3). Let r be (-8)/p - 2/4. Let z(f) = 3*f**2 - 1. Let b be z(r). Does b = 5/2?
False
Let s be 16/88 - 12/(-55). Let j(r) = 4*r**2 - 21*r - 25. Let a(x) = -x**2 + 5*x + 6. Let h(n) = 9*a(n) + 2*j(n). Let k be h(4). Which is bigger: s or k?
s
Let v(q) be the second derivative of q**3/6 + 2*q. Let o be v(-1). Let h = 0 - o. Are h and 1 equal?
True
Let q(k) = -k**3 + 8*k**2 - k + 7. Let m be q(8). Which is smaller: -14 or m?
-14
Suppose 0*m = 2*m + 2. Let v be 2 - (-8)/(m - 1). Let j be v/(-1)*1/7. Is j smaller than -1?
False
Let c = 2 - 1. Suppose g + 3 = c. Let u be 0/(-3) - (-1)/g. Are u and 1 unequal?
True
Let i = -7.91 - -1.01. Let j = 0.9 + i. Let b = j - -7. Which is greater: 0.3 or b?
b
Suppose -1245 = -16*l + 21*l. Let i be 6/21 - l/(-63). Which is greater: i or 0.1?
0.1
Let j = -3 - -5. Suppose j*z = -z + 9. Let u be ((-4)/(-6))/((-4)/z). Is u smaller than 0?
True
Suppose 4*t + 6 = 3*t. Let w(m) = m**3 + 5*m**2 - 4*m - 4. Let b be w(t). Let u be b/18*(-9)/(-12). Is u at least as big as -1?
True
Let k = -6.16 + 0.16. Let p = -6 - k. Let t = 0.1 + p. Which is smaller: 0.2 or t?
t
Let n = 0.3467 + -0.0467. Let h = -0.5 + 1. Which is bigger: h or n?
h
Let m = 42 + -33. Are m and 11 nonequal?
True
Suppose 0*d = -2*d - 8. Let r = 26 + -14. Let b = -15 + r. Which is smaller: b or d?
d
Let w be ((-4)/(-10))/((-3)/(-105)). Let z = 40/3 - w. Is 0 at least z?
True
Suppose -27 - 129 = 4*j. Let v be (-6)/j + 8/(-52). Let y = -125/532 + -2/133. Which is bigger: y or v?
v
Let d = -1.1 - -1. Let k = -2.8 + 3. Which is smaller: d or k?
d
Let a = -5.04 + 0.04. Let w = a + 11. Which is smaller: w or 0.1?
0.1
Let j(q) = q**2 - 5*q - 1. Let y be j(5). Do 3 and y have different values?
True
Let w(p) = 5*p**3 - 3*p**2 + p - 3. Let c(y) = 4*y**3 - 3*y**2 + y - 2. Let d(t) = 6*c(t) - 5*w(t). Let k be d(-3). Is k greater than or equal to -0.4?
True
Let k be (-27801)/(-14763) - (3 - 1). Let t = 3/259 + k. Which is greater: t or 1?
1
Let j = 4.29 + -0.09. Let m = -0.4 + j. Let w = m - 0.8. Which is smaller: w or 0?
0
Suppose 2*s + 5*g - 11 - 4 = 0, 0 = -2*s + 4*g - 30. Which is greater: -4 or s?
-4
Let u be -2 + -1 + 31/11. Let m(j) = j + 14. Let y be m(-14). Which is smaller: y or u?
u
Let h be -1 - -2 - 40/4. Let o = 7 - 5. Let m be o/9 - (-2)/h. Which is greater: -2/5 or m?
m
Suppose 0 = -3*z - 3*g - 27, z - g = -0*z - 1. Is -4 equal to z?
False
Let k = -12 + 14. Suppose 0 = 2*m + k*n + 4 - 2, 4*m - 3*n - 3 = 0. Is 0 smaller than m?
False
Let z = 0.001 + -2.701. Let c = -3.7 + 3. Let v = c - z. Are -2/3 and v nonequal?
True
Let q(x) be the first derivative of x**4/4 - 2*x**3 - x**2/2 + 3*x + 3. Let r be q(6). Let t(u) = -5*u**3 + 1. Let z be t(1). Are z and r equal?
False
Let k(v) = 3*v**2 + 53*v + 22. Let n be k(-18). Which is greater: n or 118/3?
n
Let w be (-5)/15 + (-11)/(-15). Let j = 0.3 - 3.3. Is j equal to w?
False
Let s = 43 + -217/5. Let f be (2/(-6))/1*3. Which is smaller: s or f?
f
Let z be 4/8 - 170134/340292. Let j = 83456646/935803 - z. Let d = 89 - j. Which is smaller: d or 2?
d
Suppose -3*a = -127 + 13. Let g be (2/5)/(a/10). Is 0 < g?
True
Suppose -7*o + 2*o + 20 = 0. Suppose -6*f + o*f = 40. Let x be (-5)/f + 10/(-24). Which is smaller: x or -0.1?
x
Suppose 0 = -3*v + 12. Which is smaller: v or 17/5?
17/5
Let j be 4/(-30)*(-100)/(-15). Which is bigger: 0 or j?
0
Let k = -44.82 - -45. Which is bigger: k or 1?
1
Suppose -6*h = -71 + 209. Do -25 and h have different values?
True
Suppose -2*w - 8 = -4*w. Let z = w + 1. Let s be z/(-2)*(-4)/5. Is 1 != s?
True
Let u(d) = -d + 12. Let o be u(7). Suppose -8 + 3 = o*t. Which is greater: -2 or t?
t
Let d be 12/6*1/(-3). Is d < -1?
False
Let v(