ller: d or q?
q
Let d be (-90)/12 + (-9)/(-6) + -1. Which is greater: -29/4 or d?
d
Let l = -27 - -27. Is 1 > l?
True
Let z = -1.2 - -7.2. Which is smaller: z or -1/3?
-1/3
Let r = 6 - 4. Suppose -4*t - 2 = t - q, -3*q = -t + 8. Let y be (-12)/14*t/(-3). Which is smaller: y or r?
y
Suppose o + 3*o - 6 = -2*n, -2*o + 6 = -2*n. Let l be ((-4)/5)/((-14)/5). Is l < n?
False
Let h(l) = 5*l**2 - 4*l**2 - l - 1 - 2*l + 6*l. Let g be h(-3). Let f be (-1)/(g + 5/2). Which is bigger: -2 or f?
f
Suppose 0 = -0*g - 4*g - 52. Let w = -9 - g. Suppose -3*l = -3*a - 9, -3*l - w*a + 1 = -1. Which is smaller: l or -2/3?
-2/3
Let l = 15/28 - 169/420. Let q(p) = -p**2 - 6*p - 4. Let u be q(-5). Is l > u?
False
Let j be (36/10)/(14/(-140)). Which is smaller: 0 or j?
j
Let x(p) = -p**2 + 5*p + 6. Let z be x(6). Let k = 1 - z. Let b = 86.1 + -86. Which is bigger: k or b?
k
Let m = 70 - 77. Let v = -0.3 + -0.7. Which is smaller: m or v?
m
Let c(w) = -w**3 + 10*w**2 - w + 2. Let p be c(10). Let v be ((-2)/12)/((-6)/p). Which is smaller: -0.1 or v?
v
Let l = -4 - -3. Which is smaller: l or 0?
l
Suppose -5*z - n = -2, 4*z + 2 - 3 = -n. Let f be -1 - 5624/3927 - -2. Let v = 2/561 + f. Is v less than or equal to z?
True
Let f = 1023/5 + -203. Are 2 and f nonequal?
True
Suppose 3*k - 15 = 4*f, -5*k + 2*f = 4*f + 1. Is k != 2/65?
True
Let f(h) = h**2 - 1. Let g be f(-3). Let o = -5 + g. Suppose 5*i = 5*n, 0*n = o*n + 3. Are -1 and i nonequal?
False
Let k(t) = t**2 - 8*t - 3. Let r be k(9). Let a be 1 - 0*(-2)/r. Which is smaller: -0.5 or a?
-0.5
Suppose -14*f + 8 + 6 = 0. Which is smaller: f or 1/178?
1/178
Let o = 0.8 - 1. Let n = o - -0.1. Which is smaller: -1 or n?
-1
Let w = -13/44 - -2039/7348. Let o = 294860395/1443589416 - -3/960472. Let s = w - o. Which is smaller: s or -1?
-1
Let x be (-603)/(-45) + 4/(-10). Is 14 smaller than x?
False
Suppose -l = -6*l + 60. Let h = l + -7. Suppose o + 22 = -h*m, m = 2*o - 0*m. Which is greater: o or -1/4?
-1/4
Let g = -49/82 - -4/41. Which is bigger: g or 0.04?
0.04
Suppose 0 = q - m - 5, 6*m - m = -q - 19. Suppose c + 0 = q. Let k be c + -2 + (-28)/(-24). Which is smaller: 1 or k?
k
Let i(l) = l - 3. Let q be i(3). Let b(o) = -o**3 - 10*o**2 + 12*o + 12. Let d be b(-11). Suppose q*f = -f - d. Are f and -3 non-equal?
True
Let d(t) = t + 2. Let k be d(-5). Let q be (-5)/2 - (2 - 2). Is k greater than q?
False
Let x = 27/16 + 7/16. Which is bigger: x or 2?
x
Let k(x) = 4*x**2 - x. Suppose -5*m - 5*n = -20, 2 + 3 = 2*m + n. Let v be k(m). Let s = -4 - -6. Which is smaller: v or s?
s
Suppose 13*w = -53 - 129. Is -10 greater than w?
True
Suppose 2*x = -c + 41, 0*c + c + 91 = 4*x. Is 22 less than x?
False
Let r be (-2)/7 + (-31614)/1365. Let g = 7/130 - r. Let d = 231/10 - g. Which is greater: d or 1?
1
Let s(x) = -x. Let p(k) be the third derivative of -5*k**4/24 + 5*k**3/6 - k**2. Let u(y) = p(y) - 4*s(y). Let z be u(5). Which is smaller: -2 or z?
-2
Let h(j) = j**3 - 9*j**2 + 10*j - 11. Let l be h(8). Suppose -2*w - 5*m - 18 = 8, -l*m - 23 = w. Is -14/9 less than or equal to w?
False
Let z = 4 + -1. Let b = z - 2. Which is greater: 1/2 or b?
b
Suppose 5*x - 45 = 5*y, 5*x = -5*y - 0*x + 5. Let z be (3 - (-10)/y)*10. Suppose 5*j - 20 = -w, 2*w = -j - j + 16. Which is smaller: j or z?
j
Let s(d) = d - 3. Let j be s(7). Let l be (j/(-6))/(6/(-9)). Which is bigger: -2 or l?
l
Suppose 3*d = 2*d + 6. Let s = -10 + d. Is s less than -1?
True
Let h = -110 - -552/5. Let f = -23/3 - -49/6. Which is smaller: h or f?
h
Let o = 4.3 + -4.2. Let h(v) = -v**2 + 5*v + 6. Let i be h(6). Which is bigger: o or i?
o
Let n(m) = m**2 - 13*m - 14. Let x be n(10). Let i = -26 - x. Which is smaller: 19 or i?
i
Let i(g) = g + 4. Let b be i(6). Does b = 10?
True
Suppose l - 2*d = -15, 0 = l + 7*d - 6*d + 12. Which is smaller: -4 or l?
l
Let a = 61 - 63. Is a <= 2/33?
True
Suppose -2 = 2*v - 0. Suppose 50 + 10 = 3*u. Suppose 2*s - 5*k = -24, -2*s + 3*k = -k + u. Which is bigger: v or s?
v
Let k(r) = -3*r + 15. Let w be k(11). Let y = w - -25. Suppose 6 = 4*p - 3*p. Which is smaller: p or y?
p
Suppose -4*j + 104 = -2*i, 0*i + 20 = j + i. Suppose -u = -3*d - j, -2*u - 2*u + 5 = d. Let p be -1*1*(6 + d). Is 1/3 equal to p?
False
Let p(q) = -5*q - 26. Let y be p(-5). Is y != -2/11?
True
Let x(d) = 2*d**2 + 3*d - 4. Let m be x(-3). Let l = -46 + 50. Is l <= m?
True
Let x = 10.82 - -0.18. Let v = -10.4 + x. Which is smaller: v or -1?
-1
Let k = -42433/9 - -4702. Let l = 13 + k. Suppose 3*f - 1 + 4 = 0. Which is smaller: f or l?
f
Suppose -m + g - 2 = -3, -2 = 2*g. Suppose 0 = -3*a - m*a - 9. Is -1 < a?
False
Suppose 0 = 3*t + 50 - 2. Let c be (12/t)/(0 + -3). Let g = 1 + -1. Does g = c?
False
Let t = 1 - 0.5. Let h = t - -0.5. Let b = 1 + -1. Is b smaller than h?
True
Let w = 221/396 - 5/44. Which is smaller: 0 or w?
0
Let r(m) = -m**3 + 2*m**2 - m + 2. Let y(u) = -u - 2. Let b be y(-4). Let t be r(b). Is t greater than 1?
False
Let b = -2/37 + -31/111. Is b greater than 0.3?
False
Suppose -5*d - 5 = -0*q - 3*q, 2*q = -4*d - 4. Suppose 2*p + 0*p - 4 = q. Let z be (-2 - (-39)/12)*4. Do p and z have the same value?
False
Let m be 1 - ((-1)/(-1) + -16). Let f be 4/m + 1/(-4). Is f >= 3/11?
False
Let p = -12.153 - 0.147. Let y = p - -12. Do y and -0.2 have the same value?
False
Suppose 3 = 3*u - 12. Suppose u*j - 10 = 5*s, -s + 1 = 4. Let n be 5/4*2/10. Is j > n?
False
Let u be (2 + 19/(-6))*-4. Suppose 0 = 4*r - 8, -18*r - 30 = -5*g - 23*r. Which is greater: u or g?
u
Let m = -28 + 28. Is 1.1 at most m?
False
Let i(n) = n**3 + 4*n**2 + 4*n + 2. Let k be i(-2). Let c be k/6 - 7/12. Let f = 26 - 27. Do f and c have different values?
True
Let l be (0 - -1) + (6 - 7). Which is smaller: 1 or l?
l
Let h(b) = -b**2 - 10*b + 10. Let r be h(-8). Suppose 0 = 4*p - 5*i - 38, -r = -3*p + i + 4*i. Are p and 11 equal?
False
Let a be 59868/(-330) + 2/(-11). Let x = a + 181. Let o(k) = k**2 - 6*k - 8. Let n be o(7). Is x less than or equal to n?
False
Let b = 40 + -45. Are b and -6 nonequal?
True
Let d = -880/3 - -294. Suppose 0*v + 2*v = 2, 4*r + 3*v = 11. Which is smaller: d or r?
d
Let d = 2 + -1. Let w = d - 3. Suppose -s = p + 1, s + 4*s - 3*p + 13 = 0. Is s less than w?
False
Let b = -13696/19 + 721. Which is greater: b or -1?
b
Let b(z) = -z**3 + 14*z**2 - 27*z + 39. Let l be b(12). Which is smaller: l or 17/8?
17/8
Let x be 1*3 + -17 + 2 + -4. Which is smaller: 1 or x?
x
Let q be 135/117 + (-4)/26. Let h be (5 + -4)*(q + -2). Which is smaller: h or 2/5?
h
Let j be 2/4 - (-143)/(-110). Is 0 bigger than j?
True
Suppose -5*t + 4*t + 1 = 0. Suppose 3*r + 5*z - 1 = 0, -z + 4 = -t. Are -9 and r nonequal?
True
Let n = -747 + 11209/15. Is n greater than 1?
False
Let u = -102 - -101.9. Let m = -4.4 + 2. Let b = 0.4 + m. Is u equal to b?
False
Let a = 9 - 11. Let u be a/3*(-3)/18. Is -1 greater than or equal to u?
False
Suppose 3*x = 3 + 3. Let q be (-14)/(-3) - (-4)/(-6). Are x and q nonequal?
True
Suppose 0 = y + 2*y + 9. Suppose 8 = -k - 3*k. Which is bigger: y or k?
k
Let s = 338/7 + -48. Suppose -4*q - 6 = -y, q - 3*q = 2*y - 2. Is s >= y?
False
Let o = -4 - -14. Let p = o + -4. Let d = 70 - 63. Which is bigger: d or p?
d
Suppose -5*s + 106 = -3*f, -5*f - 125 = 2*s - 0*s. Do f and -28 have different values?
True
Let o(y) = -y**3 - 6*y**2 - 6*y - 5. Let z be o(-5). Suppose z = f - 2*f + 1. Do f and -4/11 have different values?
True
Let n = 6967/642 + -65/6. Is n smaller than 1?
True
Let m = 128 - 124. Which is smaller: 21/5 or m?
m
Let i be 2/(-4) - (-94)/(-4). Let s = -97/4 - i. Let z = -52 + 262/5. Are z and s nonequal?
True
Let d = 8/57 - -10/19. Are 1 and d equal?
False
Suppose 0 = 4*r - 2*g + 2, -2*g - 6 = 2*r - 4*g. Let m(s) = -s**3 + 2*s**2 + 2*s - 3. Let p be m(r). Is p at least as big as -3/11?
True
Suppose 0 = -0*c + 3*c - 18. Suppose 3*b + b - c = -y, 3*y - 5*b - 18 = 0. Let p = y - 4. Which is bigger: 1/2 or p?
p
Let v be (16/(-3))/((-1)/3). Suppose 2*d = d - v. Let c be (d/24)/((-4)/(-6)). Is c != -1?
False
Let c = -3/7 - -1/35. Let i(f) = f - 1. Let g be i(3). Suppose 2*s + 5*w - 26 + 4 = 0, g*s = 4*w - 14. Is s greater than or equal to c?
True
Suppose 26 = 5*k + 4*g, k + k + 4 = 2*g. Let t be k/(-3)*3/(-16). Do t and -1 have the same value?
False
Let n be 2/(-9) + 