
a
Let a(x) = -30*x - 1949. Let m be a(-65). Is 6.206 != m?
True
Let s(z) = -25*z + 1019. Let k be s(69). Which is bigger: 10 or k?
10
Let t = -9218 - -9219. Is 106 at most as big as t?
False
Let b = 5992/13 + -456. Let n(c) = -17*c + 6. Let a be n(0). Which is bigger: b or a?
a
Suppose 79 = 8*z + 15. Let l(h) = 14*h - 328. Let u be l(24). Is z less than or equal to u?
True
Let s(z) = z**3 - 2*z**2 - 3*z + 5. Let n be 0/((4/(-6))/((-2)/(-6))). Let u be s(n). Is u > 21?
False
Let k = -182 - -176. Let b be (-2 + -4)*4/k. Do 35 and b have the same value?
False
Suppose -5*f = -5*o + 80, 0*f - 10 = 5*f. Suppose t + o = 8*t. Suppose 10*c - 84 = -t*c. Which is smaller: c or 29/5?
29/5
Let h(f) = -6*f**3 + 4*f**2 - 2*f - 3. Let w be h(-2). Let p be ((-128)/(-48))/((-2)/(-48)). Is p > w?
False
Let h = 689 + -483. Let d = 207 - h. Which is bigger: d or -3/125?
d
Let m = -30 + -313. Let a = m - -342. Let c be 2/20*(-4)/(-2). Which is smaller: c or a?
a
Let j(w) be the third derivative of 7*w**4/8 - 31*w**3/6 - 2*w**2 + 251. Let b be j(23). Is b bigger than 452?
False
Let t be 18 + -19 - 64/(-63). Which is greater: t or 0?
t
Suppose 0 = o + 5*o - 234. Suppose y + o = -3*j, -6*j - 33 = -3*j - y. Is j greater than -1?
False
Suppose 0 = -7*x + 4*x - 3. Let v = -104218/25 + 4168. Which is smaller: x or v?
x
Let s = 0.01649 + 177.98351. Are s and -3 nonequal?
True
Suppose -c = -4, -r - 3*r = -c - 16. Let x be (-2738)/6*-3 + r. Let h = -81069/59 + x. Which is smaller: h or 0?
h
Suppose 15*i - 9*i - 174 = 0. Suppose 7 = -i*m + 30*m. Suppose -s + 1 = 3*d, m = d - 0*d - 3*s. Is d smaller than 9/10?
False
Let m = 73/111 - 12/37. Which is greater: m or -1242?
m
Suppose -298 - 186 = 5*t - n, -24 = 4*n. Which is bigger: t or -113?
t
Let c = -0.123 + 3.123. Let v = -0.53 - 8.47. Which is smaller: c or v?
v
Let g be 485/21165 + 124/1054. Which is greater: 0 or g?
g
Suppose b + 3*b = -4*p + 20, 4*p + b - 11 = 0. Let d(y) = -2*y + 3. Let k be d(p). Let o be (-5)/(-12)*2*(-377048)/(-673300). Is k at most as big as o?
True
Let h = -3442 - -3014. Which is greater: h or -427?
-427
Let o = -64 + 63. Let a be (-3)/(o - 26/(-20)). Let b be (-288)/a - (-1 - -4)/(-15). Which is smaller: 28 or b?
28
Let q(c) be the first derivative of -2*c**3/3 + 7*c**2/2 - 6*c + 1. Let b be q(4). Let r = 786 - 3179/4. Is r greater than or equal to b?
True
Let v = -665 - -16559/25. Let w = -14372/5425 - v. Is w greater than -1?
True
Let o = 0.92 - 1.04. Let s = -304/611 + 27/47. Which is greater: s or o?
s
Let a be 7777/756 + 0 + -10. Are a and -1 equal?
False
Let h = 0.015 + -0.115. Let s = -6.7 - -10.2. Let g = s - 3.32. Is h at most as big as g?
True
Suppose 11*r - 15*r = -144. Let c = r - 29. Let y = -0.092 - -0.092. Is c < y?
False
Suppose 0 = -y - 4*f + 169, 6*y - y = -2*f + 935. Let w = -174 + y. Are 14 and w nonequal?
True
Let s = 6/11 + -52/55. Suppose -j = 4*d + 164, -d - 176*j = -181*j + 125. Is s >= d?
True
Suppose 2*l - 90 = -h + l, 3*h + 2*l - 275 = 0. Suppose -4*a = -97 - h. Which is bigger: 47 or a?
a
Let s be (9/3)/(-3)*-2*1. Let o be (s + 48/(-15))*7/(-21). Which is bigger: -32 or o?
o
Let q(h) = h**3 - 8*h**2 + 12*h - 23. Let g be q(7). Suppose -2*r = -5*f - g, 2*r - 2 - 8 = 4*f. Let b = -18 - -17.05. Which is greater: r or b?
r
Suppose 192 = 2*n - 3*j, 2*n - 5*n + 282 = -3*j. Let f(k) = 2*k**2 + 4*k + 20. Let q be f(-7). Is q at least n?
True
Let a be (-1020)/165*(44/(-8) - 0). Is 247 greater than a?
True
Suppose 0 = -11*z + 14*z - 3. Let u be (-4 - -1) + (-190)/(-63). Which is smaller: z or u?
u
Let x = -28089 - -28088.9441. Which is bigger: x or -0.04?
-0.04
Let m be (-124)/40*(-10)/12. Let x = 7/15 + -13/10. Let y = m + x. Is y greater than 2?
False
Let d = 23 + -36. Let c = -36 - -42. Suppose 5*h = -3*j - 79, -3*j - 61 = 5*h - c*j. Are d and h non-equal?
True
Suppose -3*j = -42 + 15. Let p be (-4)/(-24)*454 - (-3)/j. Which is greater: 77 or p?
77
Let v(o) = 27*o - 393. Let t be v(17). Suppose -t*p + 14*p = 0. Let a = 1876 + -302038/161. Which is greater: p or a?
p
Let q be 1/(1/2) - 4. Let w be (q/6)/((-12)/(-18)). Let p = -8.0638 - -0.0638. Is p less than or equal to w?
True
Let f be (22/(-4) + -2)/((-6)/(-276)). Let b = 3798/11 + f. Let n(z) = z + 4. Let g be n(-3). Which is bigger: g or b?
g
Let j = -74 + 77. Suppose 85 = 5*y + 5*x + 5, -5*y = -j*x - 72. Which is smaller: 11 or y?
11
Let j be ((-20)/(-10830))/(-4 + (14 + 1)/3). Suppose -g = 2*g. Does j = g?
False
Suppose 5*p + 3*w - 25 = -w, 15 = 3*p - 2*w. Let k(a) = -8*a - 1. Let s be k(p). Let i = 136263 - 136303. Is i equal to s?
False
Let w = -67 + 69. Suppose -p = -3*j + w, -2 = 3*j + 9*p - 14*p. Let i be 16/(-6)*(-3)/108. Is j less than or equal to i?
False
Let c = 617 - 235. Let f = c - 305. Which is smaller: f or 2?
2
Let b = 1.74 + 75.96. Let l = -80.81 + b. Is l greater than -1?
False
Suppose -34 - 1 = 7*p. Let r be p + 35/7 - 6/(-333). Is r less than or equal to 1?
True
Let c = -12349/154 - -677/11. Are c and -19 equal?
False
Let d = 511.8 - 468.8. Is d greater than 0.4?
True
Let t = 23 - 22. Suppose -3*s + 2 + t = 0. Let q be s/2*-6*1. Which is smaller: -5 or q?
-5
Let s = 5074 + -15233/3. Is -5 less than or equal to s?
True
Let h(g) = g**3 - 11*g**2 - 28*g + 26. Let y be h(13). Let d = -10 + y. Is -1/3 at least as big as d?
True
Let r be (1 - -7) + (3 - (-8595)/(-150)). Which is smaller: -45 or r?
r
Let f = 6366 - 7694. Are -1328 and f nonequal?
False
Let v(a) = a**2 - 14*a + 648. Let t be v(54). Does t = 11231/4?
False
Let l(n) = -6*n - 31. Let b be l(-4). Let t = -992 - -3945/4. Which is bigger: t or b?
t
Suppose -28 = -2*n - 2*x + 6, -4*n + 2*x = -44. Suppose 0 = 2*m + 6, -s = 4*s - m - n. Which is smaller: s or 28/41?
28/41
Suppose 19*c - 229 = 569. Suppose -3*g = l - 13 - 60, 2*g = -4*l + c. Which is greater: 23 or g?
g
Let g = 0.1657 - -1.8343. Which is bigger: -0.1227 or g?
g
Suppose -315*i = -304*i - 11550. Which is smaller: -1/2 or i?
-1/2
Suppose 6 - 10 = -4*t, 0 = -2*j + 4*t - 110. Which is bigger: -568/11 or j?
-568/11
Let x = -6309 - -6585. Which is bigger: 1926/7 or x?
x
Let s be (-122066)/(-28) - (1 + -21). Which is greater: s or 4381?
4381
Suppose 6*j - 3*j = 2*z + 6116, -5*z - 15307 = j. Is z greater than or equal to -3061?
True
Let c = -6947/65 + 514/5. Let v = c - -131/182. Is v > -3?
False
Suppose -2*i + 182 = -4*z, 3*z = -5*i + 9*i - 344. Let b = -83 + i. Let q be 2/(-3) - (-8)/156. Is q != b?
True
Let h = -0.094 + -0.208. Let m = -23.898 + h. Let i = m + 24. Is i greater than 3?
False
Let v be 12/(-30) - 209838/(-534520). Let n = 13793/124915 - 23/215. Let k = n - v. Is k != 1?
True
Let q = 590 - 6484/11. Let u = -13 - -5. Let k = 8 + u. Which is smaller: q or k?
k
Suppose -83*z - 84*z = -155*z. Let t(u) = -u + 3. Let o be t(-6). Let h be 6/o - (-64)/(-78). Do z and h have different values?
True
Let r = 17 + -10. Let c(v) = -2*v**2 - 5*v + 38. Let x be c(r). Which is greater: x or -94?
-94
Let x = -8103/2885399 - -1/461. Is 1 at most x?
False
Let i(z) be the second derivative of -z**3/2 + 39*z**2 - 67*z. Let n be i(-18). Which is greater: -2/5 or n?
n
Let b(g) = -2*g**3 + 13*g**2 + 12*g - 31. Let p be b(7). Suppose 0 = -2*q + p*i + 25 - 5, 5*q = -3*i - 15. Which is greater: -14/23 or q?
q
Let n be (-2 + 2)*(1 + 8)/27*-3. Which is smaller: n or 15.4?
n
Suppose 0 = -27*x - 21*x + 16105 + 254951. Does 5647 = x?
True
Let g = -31440 - -31439. Which is smaller: g or 1/3197?
g
Let p = -0.71 + -1.08. Let d = p + 0.2. Let s = 0.21 - d. Which is smaller: s or -0.2?
-0.2
Let j(r) = r**3 - 6*r**2 - 7*r + 7. Let p be j(7). Let v be (9/(-3))/(1/p). Suppose -173*y - 35*y = 23*y + 4620. Which is greater: v or y?
y
Let u = 47/302 - 246313/1574930. Is u smaller than 0?
True
Let c = 665 - 17. Let x = c - 647. Which is smaller: x or -3/46?
-3/46
Let g = -223.2 + 223.2. Let w = -2/3833 + 134173/34497. Is w > g?
True
Suppose 60*n + 65*n + 63*n = -1272008. Is n greater than or equal to -6765?
False
Let j = 2.6 + -8.6. Let q = j - -21. Let g = q + -12. Is g <= -6?
False
Let k = -481 + 471. Let r(a) = a. Let x be r(3). Suppose 5*n + x = 4*n. Which is bigger: n or k?
n
Let l be (-1)/6 - ((-138)/(-1332) - 0). Let b = l - -2767/10101. Which is smaller: b or 1?
b
Let z be (-2)/(-2) + 58/(-57). Let h(u) = -26 +