e r(-5). Let t be (1/2)/(q/6). Is t at most as big as -3?
True
Let y be 1*(-2)/262*1. Does y = 0?
False
Let y = 38.9 + -37. Let q = 2 - y. Is 1 not equal to q?
True
Suppose 5*c - 10 = l, 0 + 4 = 2*c - 3*l. Suppose 0 = -n - 0*n + 5. Suppose -c*s = -2*i - 2, -n*i - 3 - 9 = 2*s. Which is smaller: s or -1/6?
s
Let y(g) = 2*g**2 + g - 1. Let r be 12/(-8)*(-4)/6. Let k be y(r). Suppose 0 = 4*o + k*s, -5*s = 2*o - 0*s - 16. Is -1 greater than or equal to o?
True
Let z = 35 + -38. Let b = 2 - 6. Let u = 3 + b. Which is smaller: u or z?
z
Suppose -9*w + 83 - 92 = 0. Let l = 5158/13 + -397. Is l not equal to w?
True
Suppose -2*y + 1 + 3 = 0. Let j be (-12)/45 - y/5. Is j smaller than 0?
True
Let z = -11.8 + 11. Let y = z - -1. Let b = -0.6 + 0.3. Which is smaller: y or b?
b
Suppose 4*x - 1 + 9 = 0. Which is smaller: 4 or x?
x
Suppose -3*w - 3 = -0. Let q = 3299/14 + -235. Let k = -39/28 + q. Is w less than or equal to k?
True
Let z(k) = -k**2 + 2*k + 1. Let m be z(-2). Let v = 3 + m. Which is bigger: -5 or v?
v
Suppose 3*x = -25 - 23. Let d be (-964)/x + (-2)/8. Let b = 241/4 - d. Is 1 greater than b?
True
Let p = -15 - -16. Which is greater: 2/29 or p?
p
Let a be (-1)/((16/(-4))/(-12)). Let r = a + 2. Do 1 and r have the same value?
False
Let q = -7195/16 - -450. Is q at most -1?
False
Let d(v) = -v**2 - 10*v - 6. Let h be d(-10). Is -0.2 at least as big as h?
True
Let f be (-34)/(-4) + 4/8. Let r(h) = -2*h + 3. Let c be r(-3). Is c > f?
False
Let b be ((-2)/12)/(10/140). Is -1 <= b?
False
Let i = -19/10 - -12/5. Suppose -5*b + 12 - 2 = 0. Which is smaller: i or b?
i
Let u be 0 + 0 - 6/(-3). Suppose 3 = -4*z + u*x + 17, -5*x = -5. Suppose -z*l + 5 = -3*l. Is l <= 5?
True
Let b(j) = -j**3 + 2*j**2 - 2. Let l be b(2). Let s be (-1 - l) + (0 - 4). Let z be (s/(-4))/(81/24). Is z bigger than 2?
False
Let a(j) be the first derivative of -j**2/2 - 6*j - 1. Let n be a(-8). Suppose 2*v - 25 = -0*v - 3*p, -n*v = -2*p. Which is smaller: v or 6?
v
Let u = -1145/13 - -88. Suppose 5*z = 4*z + 1. Which is smaller: z or u?
u
Let w(s) = s**2 + 6*s - 31. Let p be w(-9). Let z = -2 + -1. Which is smaller: p or z?
p
Let y = 7.6 + -17.6. Which is smaller: -1/2 or y?
y
Let q(s) = -s**3 - 7*s**2 - 6*s. Let d be q(-6). Is 4/5 less than or equal to d?
False
Suppose 3*v + 2*v - 104 = 3*k, -3*k - 96 = -3*v. Let n be (-12)/(-18) - k/(-6). Let x be 1/(1 + 8/(-6)). Which is bigger: n or x?
x
Let b be 10/(-35) - 4/(-14). Let m be (-1 + 686/8)/3. Let h = m - 28. Is h < b?
False
Suppose -4*c - r = -0*r + 322, -2*r = 4. Let u be 32/c - 0/1. Let h = -0.7 - -4.7. Which is smaller: u or h?
u
Let c(b) = -1 + 2*b**2 - 2*b**2 - b**2. Let a be c(1). Let n = 88 - 794/9. Is a smaller than n?
True
Let o = -3 - -2. Let q be (o/3)/(33/540). Let v = 344/55 + q. Is 2 smaller than v?
False
Let y = -1884 - -152602/81. Which is greater: -1/2 or y?
y
Suppose -5*u = -2*y - 0*u + 47, -58 = -3*y + 5*u. Is y at most as big as 11?
True
Let w(t) = 2*t - 2. Let b be w(2). Suppose b*j = 4*x - 10, 0 = j + j - 3*x + 7. Let c = 263/56 + -33/8. Is j at least as big as c?
True
Suppose -h = -5*p + 6, -2*p = 3*h - 0*h - 16. Suppose -w = -4*z + 10, 2*z - w + p = 8. Suppose -13 = 5*a - 2*b + 3, -2*b = 4*a + z. Which is smaller: a or -3?
-3
Let s(q) = 12*q + 12. Let u be s(-2). Is -12 at least as big as u?
True
Let k = 2 + -1.9. Let b = 2 - 2.1. Let o = b - -1.1. Which is greater: k or o?
o
Let p(t) = -t**2 + 10*t - 9. Let h be p(9). Let i(d) = d - 3. Let w be i(6). Suppose w*l = -2*l + 5. Is h at most as big as l?
True
Let c = -135/7 + 19. Which is bigger: -0.11 or c?
-0.11
Let y be (14/(-119))/(1/2). Is 0 smaller than y?
False
Suppose 10*m - 9*m + 3 = 0. Let k(s) = s**2. Let h be k(-1). Let y = h + -1. Is m >= y?
False
Suppose 0 = -5*z + 19 + 1. Which is greater: 13/3 or z?
13/3
Suppose -4*u - 2*c = -0*u + 10, 1 = 2*u + 3*c. Let f be (u/16)/((-18)/(-16)). Suppose 0*j + 2*j - 6 = -2*o, 5*o + 2*j - 9 = 0. Which is smaller: o or f?
f
Suppose 0 = 3*d + 2*d - 5. Which is smaller: d or 8/27?
8/27
Suppose -3*w + 17 = -h - 0*h, -5*w = 4*h + 17. Let q(o) = 2*o**2 - 11*o - 4. Let x be q(5). Is x at most h?
True
Let h = 9 - 8. Let c be (-1)/22*h*-4. Is 0.1 at least as big as c?
False
Let n = 1727/19 + -91. Is -0.1 at least as big as n?
True
Suppose -3 + 0 = 3*x. Suppose 3*q + 9 = -3*i, -4*i + 11 = -9*i - 4*q. Let v be (i/8)/((-1)/2). Which is greater: v or x?
v
Suppose 3*n - 7 - 8 = 0. Suppose y = 5*j - 24, -4*y - 16 = -3*j - n. Let u be -2 + y + 15/9. Which is smaller: 2 or u?
u
Suppose -z - 6 = -3*z. Suppose -2*x + z*x = 6. Suppose 0 = 3*s - 0*s + x. Is -3 smaller than s?
True
Let w be (-10)/(-20) + (-1)/4. Which is smaller: w or 0.2?
0.2
Let u(z) = 4*z - 8. Let a be u(-6). Let v be 3/2*a/(-12). Let q = v + -4. Is q != 1?
True
Let c(w) = -w**3 + 4*w**2 + 3*w + 4. Let m be c(4). Suppose q - 5*g + m = 0, 2*q - g + 8 = -3*q. Which is greater: q or 2/45?
2/45
Let r(p) = -p + 3. Let y be (8/20)/((-3)/(-30)). Let z be r(y). Do 0 and z have different values?
True
Let s = -16 - -193/12. Which is smaller: -1 or s?
-1
Let b = 0.047 - -0.093. Which is smaller: b or -2/3?
-2/3
Let n be ((-4)/2)/2 - 2. Let u = -5 - n. Which is smaller: -3 or u?
-3
Let u be 4/6*(-9)/2. Let i be (u + 0)/(-63)*9. Let x = 1 - 2. Which is bigger: x or i?
i
Let r = -34 + 14. Let l be 2/(-11) + r/(-110). Is l at most as big as 0.04?
True
Let o = -0.28 - 0.02. Let t = o + 0.5. Let f = 0.1 - t. Are -3/2 and f non-equal?
True
Let t = -31.1 + 33. Let j = t - 0.9. Let r = 5 + -7. Which is smaller: r or j?
r
Suppose p + 0 = -u + 1, -5*p = -4*u + 4. Which is bigger: 1/2 or p?
1/2
Let a = -0.99 - -1.05. Is a < 0.4?
True
Let s = 58 + -38. Is 21 < s?
False
Let m = -66 - -65.9. Let r = 13 + -18. Which is greater: m or r?
m
Suppose l + h = 5, -5*l + 19 + 1 = 4*h. Is l > -1/3?
True
Let h be (4 - 5)*1/(-2)*2. Is -13 at least as big as h?
False
Let h(q) = q**3 - q**2 + q - 7. Let x be h(0). Which is smaller: x or 0?
x
Suppose 9*c - 20 = 14*c. Is c <= 1?
True
Let w(h) = -h**3 + 4*h**2 + 5*h - 1. Let u be w(5). Let f be 76/68 - 10/10. Is f less than or equal to u?
False
Suppose 3*z + 7 = 2*k, 4*z = 4*k + k. Do -5 and z have the same value?
True
Let n be (2/(-52))/(2/(-8)). Let b = -4 + 4. Is n less than or equal to b?
False
Suppose -2*p + 10 = 2. Let z be (7/(-14))/(2/p). Let m be 2/(-56) - 2/8. Is z at least m?
False
Let v be ((-10)/(-4) + -1)/(-3). Suppose -2*o = 3*o. Is v at most o?
True
Let f = 5 - 4. Suppose 65 + 111 = -4*g. Let l be 24/18*(-6)/g. Is f < l?
False
Let x(l) = l - 8. Let d be x(10). Let q be (16/10)/(12/30). Let a = q - 3. Do a and d have different values?
True
Let a = -1/9374 + -356197/140610. Let s = a - -26/15. Let t = -12 + 10. Which is smaller: t or s?
t
Suppose -2*p + 2*n + 1 = 3*n, 0 = -3*n + 9. Which is smaller: 1/11 or p?
p
Let t be 8/12 - 26/3. Let k be t/5 + (-6)/(-10). Do k and -2/3 have different values?
True
Let p be 0/1 + -1 + 1. Let y = -71/536 + 1/134. Which is smaller: p or y?
y
Let p = -14 - -14. Which is smaller: p or 1/3?
p
Let p = 0.26 - 0.22. Let d = -3.96 - p. Which is smaller: d or 1/5?
d
Let t = 4 + -3.9. Let r = -2.1 + t. Is r > -1?
False
Let c be (-1)/3 + 279/15. Let y = c + -53/3. Is y at most as big as 0?
False
Let u be (-24)/2*(-1)/3. Let w = -2 + u. Let g be (w - 1)*(1 - 0). Is 0 less than g?
True
Let j = 23/2 - 67/6. Which is greater: j or -1?
j
Suppose q = -3*p - 6, -3*p = -q - 5*p - 4. Let t = 1 - q. Suppose 0 = -0*i - i + 2. Which is smaller: t or i?
t
Let p = 9/28 + 3/28. Which is smaller: p or 0?
0
Suppose w + 3*w - 7152 = 0. Suppose 2*l + w = -2*l. Let d = l - -13855/31. Which is bigger: 0 or d?
0
Let d = 283/65 - 21/5. Let h = 14 - 7. Let g = h - 6. Which is smaller: d or g?
d
Let k be 1/(-46)*68/(-6). Let s = -296/299 - -14/13. Let r = k + s. Which is smaller: -4 or r?
-4
Suppose -3 = -5*n + 2*a, 0 = -5*n - 2*a + 1 + 6. Let t(q) = q**3 + 2*q**2 - 6*q - 2. Let w be t(-4). Let b be (-2)/3 + w/(-42). Is b >= n?
False
Suppose 11*j + 1 = 12. Are 2/31 and j nonequal?
True
Let h be (0/(-3) - -538) + 0. Suppose 5*k - 6*m = -2*m + h, 2*k - 214 = m. Let j = 528/5 - k. Is j > 2?
False
Suppose 0*u - q = -5*u - 5, u - q + 5 = 0. Suppose -5 = -5*i - u. Let h be 2/4*(-1 + i). Which is smaller: 1/2 or h?
h
Let u be 18/15 + (-5)/25.