ual to v?
True
Let s = -32 + 94. Let a = s - 63. Which is smaller: -23 or a?
-23
Let p = -0.05 - 0.25. Let s = 8.4 - -1.6. Let z = s + -11. Which is greater: p or z?
p
Let i = -0.42601 - -0.71601. Let r(g) = -g**3 - 6*g**2 - 6*g - 6. Let v be r(-5). Let x be 18/14 + 1/v. Which is bigger: i or x?
i
Let c = 1342 + -1147.8. Let b = c + -193. Let y be (-4)/(-2)*2/(-6). Which is greater: b or y?
b
Suppose -42 = -12*j + 15*j. Let x be j + 10 - 4/(-1). Which is greater: x or -53?
x
Let f be (-8)/(-20) - 34/16. Let c = f + 8/5. Let b(q) = q**2 + 4*q + 3. Let i be b(-2). Is c less than or equal to i?
False
Let p = -89 + 114. Suppose -4*x - 2*m + 12 = 2*m, -2*x + 6 = -m. Let u be p/70 - x/(-21). Which is bigger: u or -9?
u
Let j = 14 + -14. Suppose -i - 3*d = -3*i + 26, -86 = -5*i - 3*d. Suppose a + 3*y + 18 = j, 4*a = 3*y - y - i. Are a and -7 unequal?
True
Let d(m) = -m**3 + 12*m**2 + 15*m - 29. Let j be d(13). Let i = 3 - j. Is i > 4?
True
Let y = -24 - 11. Let t = 1.16 - 1.06. Which is smaller: y or t?
y
Let i = -606/869 + 12/79. Let x = 127/132 + i. Which is smaller: 0 or x?
0
Let x be (52/10)/(3 - (-42)/(-15)). Is x less than or equal to 2?
False
Suppose -i = -4*q - 1, 3*q - 7*q - 2*i + 14 = 0. Let a(k) = -10*k - 2. Let c be a(q). Let j = -4 - c. Is 9 at least j?
True
Let z = 0.17 + -0.07. Is z at most 16?
True
Let j(k) = k + 17. Let c be j(-15). Suppose -b - 47 = 3*s, 3*b - c*s = -71 - 48. Is b at least as big as -41?
True
Let t = 1414.627 - 1415. Which is bigger: t or 0.1?
0.1
Let o = -33 + 17. Let b = o - -18.2. Let x = 1.2 - b. Are 1.3 and x nonequal?
True
Suppose 3*s + 0*s - 2*m = 16, -5*s + 26 = -4*m. Let a be (24/392)/((-9)/s). Which is smaller: a or 1?
a
Let p(l) = -2*l**3 - 33*l**2 - 20*l - 64. Let v be p(-16). Which is smaller: 5/238 or v?
v
Let c = -77154325357/239 - -322818695. Let f = c - -2750. Is -1 at least f?
False
Let u = 869 - 798. Are 67 and u non-equal?
True
Let q = 7 + -13. Let y be q/3*81/78. Let z = -137/91 - y. Which is bigger: z or 2?
2
Let t be 2/2 - 2/26*10. Let p = -123/26 + t. Is -5 smaller than p?
True
Suppose 2*q - 3*o - 183 = 6*q, 5*o = 2*q + 85. Is -44 not equal to q?
True
Suppose 5*r = 23 - 13. Suppose r*n - 3*n - 1 = 0. Is n at most as big as -4?
False
Let l be (-1)/(12/21)*-4. Let w be (l + -9)/(-1 - 1). Is w less than 7/3?
True
Let c be -6 + -1 - (-1 - -27). Is c < -26?
True
Suppose 0 = 7*g - 2*g + 5*q - 110, 0 = -2*g + 3*q + 59. Let c = g + -24. Which is smaller: 3/13 or c?
3/13
Suppose -5*a + t - 41 = 0, -3 = -4*a + 2*t - 31. Let h be (-1)/(3*3/63) + -4. Which is greater: h or a?
a
Let n be (-24)/4770*(4 - 78/12). Is n equal to 1?
False
Suppose 5*d - 8 = 17. Let o be (d/(20/(-4)))/(12/10). Which is greater: 3/7 or o?
3/7
Suppose -d + 5*x = 0, 2*x - x = 0. Are d and 14/39 equal?
False
Let u(k) = -5*k**2 + 2*k + 1. Let v be u(-1). Let a = -3 - v. Suppose -3 = -22*q - 3. Is a < q?
False
Let v = 8 + -1. Let d = -15 + v. Which is smaller: -2 or d?
d
Suppose -76 = m - 5*m - 5*g, -4*m + 4*g + 112 = 0. Let o = 27 - m. Which is greater: -2 or o?
o
Let m be 2/(-14) + 1840/(-644). Which is bigger: 0.5 or m?
0.5
Let y(l) = 0*l + 36 + 0*l + 3*l - l. Let q be y(0). Let a be q/(-45) + (-3)/(-4). Does a = 0?
False
Suppose -5*o = -39 - 21. Suppose -5*a + 39 = -2*a. Does a = o?
False
Let s = 3 - 3. Suppose 4*t - 12 = s, 2*d - 3*t - 3 + 32 = 0. Let n = 109 + -119. Is n != d?
False
Let m = 4183/13932 - 75/172. Do m and 1 have the same value?
False
Let d = 14 + -8. Suppose 3*r = 3*y - 0*r + d, -r = -5*y + 6. Suppose -y*v = -v. Which is bigger: -6/17 or v?
v
Let h = 4.04 - 3.94. Which is greater: h or -0.037?
h
Suppose 3 = f + 2*f. Let z be 24/18066*(-2)/(-4). Let n = z + 5960/93341. Is n at least f?
False
Let z = -249596996258/445 + 560892488. Let b = z + -1808/5. Which is greater: b or 1?
1
Suppose -4*h + 0*h - 61 = -3*p, 2*h + 4*p = -36. Which is greater: h or -15?
-15
Let j = -31 + 22. Let z be -2 - (2 + j/3). Which is greater: 5/23 or z?
5/23
Let k(h) = -h**3 + 10*h**2 + 10. Let j be k(10). Let v be 44/j - 14/35. Suppose 0*t + 2 = t. Is v >= t?
True
Let m be ((-570)/25)/(22/385). Is -400 < m?
True
Let l = -0.22 + -0.18. Let g = -21345425/228 + 93620. Let j = -2/57 - g. Which is bigger: j or l?
j
Suppose 0 = 13*r - 8*r - 5*b, -5*r + 9 = 4*b. Suppose -2*l + 3*l = -3*a + 10, 2*a = 2*l - 52. Let q be (-4)/l - 0/1. Which is smaller: r or q?
q
Let f be (-2)/(-7) - (-552)/(-168) - -86. Which is smaller: 82 or f?
82
Let j(c) = 12 + 3*c - 12. Let s be j(5). Let h be 2/(3 - 43/s). Which is bigger: h or 16?
16
Suppose 7*a = 4*a + 42. Suppose 2*y + 62 = 4*i, -2*y - 2 = -i - 6*y. Is i equal to a?
True
Let j = 1368 + -2819/2. Let s = j - -421/10. Is s < 1?
True
Let g = -0.07 + -8.93. Let c = g - 8. Let k = 18 + c. Is 5 <= k?
False
Let i = -13.72 + 14. Let f = i + -0.3. Which is greater: -0.3 or f?
f
Let q = -24.08 - -24. Let z = 0.08 - 1.08. Is z greater than q?
False
Let m(y) = -12*y - 3. Let l be m(-4). Suppose 0 = -28*g + 37*g - 54. Let w be l/16 - 18/g. Is 1 bigger than w?
True
Let x = -58 + 58. Suppose -2*d + x*d - 4 = 0. Which is bigger: d or -9?
d
Let u be (-798)/(-3857)*(0 + 4/(-6)). Suppose h = 10*h + 9. Is h <= u?
True
Let t be (-133)/(-15) - (6/9 + -1). Let a = 222/25 - t. Is 1 equal to a?
False
Let q(z) = 7*z - 1. Let j be q(7). Let s be (-4)/14 - j/(-21). Suppose -m + s = m. Which is bigger: m or 4/3?
4/3
Let p = -0.03 - -0.43. Let x = 18.6 + p. Let f = x - 18.92. Which is smaller: 1/3 or f?
f
Let p be (44/(-7920))/(0 + 4/6). Suppose 0 = j - 5*j - 4. Which is smaller: p or j?
j
Let a = -63 + -21. Let t be a/72 + 2/12. Is t greater than or equal to -13/7?
True
Let s be (-14 - 2)/(3/(-3)). Let b = 14 - s. Let a be (-8)/(-22)*9/(-6). Which is bigger: b or a?
a
Let x(v) = v**3 - v + 15. Suppose 0 = -m + 4*m. Let d be x(m). Suppose 5*p = 5*u - 25, 5*u - d = -2*p + 5*p. Does u = -1?
False
Let c = 208.38 + -463.39. Let u = -254 - c. Let z = 0.01 - u. Is -0.1 at least as big as z?
True
Let h be (-194376)/(-936) - (2/(-6) + 1). Is 1/3 not equal to h?
True
Let o be 70/145*(-22 + 21). Is -1 != o?
True
Let c = 12 - 27. Let f be 1/5 + (-297)/c. Let m be -1 + (44/f - 1). Is 0.2 at least m?
True
Let f be 4 + (-210)/20*(-4)/(-6). Is -9 at least as big as f?
False
Let l = 707/24 - 249/8. Let m = -6 - -7. Which is greater: m or l?
m
Suppose -5*n + f + 16 = 0, 3*f - 3 = 2*n - 4*n. Suppose -45 = -n*r + 144. Let s be 2/(-2)*(-81)/r. Is s > 1?
True
Let j = 0 + -1. Let t = 10249 + -10210. Is t > j?
True
Suppose 4*p - 4 = 4. Let x(g) be the second derivative of -g**5/20 + g**4/12 + 5*g**3/6 - 5*g**2/2 - g. Let v be x(p). Is 3 at least v?
True
Let d be 12/22 - (-443936)/2464. Does d = 181?
False
Let j(h) = -h**2 - h + 421. Let p be j(-17). Is 150 > p?
True
Let b(v) = -9*v**2 + 26*v - 1. Let t be b(5). Is t greater than or equal to -96?
True
Suppose -u - 5*t = -13, -5*u + 2*t - 4*t = 50. Let g be u/6*2/4. Let i be 2 + g + (-7)/2. Is i at least as big as 0.1?
False
Let j = 245 + -244.8. Let v = 274/35 + -32/5. Which is smaller: v or j?
j
Let s = -268 - -267. Let t = 42526/5 - 8552. Let b = t + 47. Do s and b have different values?
True
Let o = 0.221 + -27.421. Let f = 10.51 - 37.51. Let q = o - f. Are 2/11 and q unequal?
True
Let d(p) = -p**3 - 5*p**2 - 3*p + 2. Let g be d(-3). Let a = 17 - 30. Let r be (-2)/(-14) + a/g. Are r and 2 nonequal?
False
Let d = -1001 - -1000. Which is greater: d or 54?
54
Let j(f) = 36*f - 50. Let c be j(4). Which is smaller: c or 95?
c
Let k = 139 - 143. Which is smaller: -17/5 or k?
k
Let b = 2 + -1.8. Let p = b + -0.3. Let l = 17 - 16.95. Which is smaller: l or p?
p
Let z = -1115 - -1112. Is z smaller than -3/85?
True
Let q be (1 - (-11)/(-5))*4060/(-60). Which is smaller: 82 or q?
q
Let z = -814 - -815. Which is smaller: z or 7/134?
7/134
Let w be (0 + 1)/(-9*5/(-165)). Is 3 > w?
False
Let p be (-12)/(-9420)*5499 + -7. Is p not equal to 1?
True
Let s(u) = -3*u - 5. Let x be s(-3). Let y be (-11 + 9)*x/(-1). Which is greater: y or -2/5?
y
Suppose 0 = -106*z + 111*z, -3*k + 3 = 3*z. Is -17/54 less than or equal to k?
True
Let n be 4/64*4 - 1/4. Which is smaller: -2/107 or n?
-2/107
Suppose 3 + 7 = 5*u. Suppose m + 3*v + v = -13, 3*m - u*v = 3. Suppose r - 4 = -3*r. Which is smaller: m or r?
m
Let w(l) = -2*l - 3*l + 