 or y?
-0.2
Suppose -m = 2*z - 4 - 1, -2*z - 25 = -5*m. Is -13/835 bigger than z?
False
Let h(t) = t + 13. Let l be h(-12). Let z be 42 + (l - 12) + 6. Which is smaller: 35 or z?
35
Let a(o) = 28*o - 35*o + 10*o + o**2. Let j be a(3). Are 12 and j equal?
False
Let b(h) = 12*h + 57. Let l be b(-5). Let k be l + (9 + -12 - (-6)/1). Is -2/13 greater than or equal to k?
False
Let t(k) = 25*k**2 - 5*k + 7. Let p be t(2). Suppose -4*d - p - 62 = 5*x, 87 = -2*d + 5*x. Is -43 equal to d?
False
Let j = -31 + 38.9. Let u = 8 - j. Do u and -4.6 have the same value?
False
Let q(d) = -3*d**2 - 3*d + 9. Let j be q(-4). Let s = -253 - -435. Suppose -3*k - 4*k - s = 0. Which is bigger: j or k?
k
Suppose 3*y = -9 + 6. Let k be 1/(1 + -2 + 2)*2. Let b be k*(-1)/(17 + -3)*2. Is b <= y?
False
Suppose -4*r - 8727 = -6*r - 2029. Is 3343 < r?
True
Let y be (1/(-1))/(35/(-1510)). Let a(k) = -k**2 - 12*k + 7. Let c be a(-6). Let p = c - y. Which is greater: p or 1?
1
Let g be (-65)/(2/(-26)*(-11 - -14 - 2)). Which is bigger: 847 or g?
847
Let f = 6049 + -30247/5. Which is greater: 750 or f?
750
Suppose -7*h = -3*j - 6*h - 99, -105 = 3*j + h. Let u = j - -34. Suppose 7*k + 14 = -u. Which is smaller: 28 or k?
k
Let b = 20 - 17. Let k be (-106)/(-3) + b/(-9). Let m be 3/(-10) + 21/k. Is m at least -1?
True
Let x = 1.5743 - 7.5128. Let s = x + -0.0615. Which is bigger: -0.061 or s?
-0.061
Let h = 9399975632/429 - 21911376. Let l = -212/39 - h. Which is smaller: l or -1/4?
-1/4
Suppose 2*z = 3*q - 85, 2*z + 2*q = -48 - 42. Let y be -5 + (-11)/(z/40) - -6. Does y = 20?
False
Let y be (276163/(-5277))/(((-1)/12)/((-6)/(-4))). Which is bigger: 955 or y?
955
Let i(j) = 2*j - 1. Let f(w) = -17*w - 40. Let g(l) = f(l) + 6*i(l). Let b be g(-9). Is b < 4/21?
True
Let l(n) = n**3 + 2*n**2 - n. Let y be l(1). Suppose -5*p + 83 + y = 0. Let q = -12 + 28. Which is smaller: q or p?
q
Let s(i) = 2*i**2 - 145*i - 376. Let n be s(75). Is n > 7/717?
False
Let i(w) = -w**3 - 11*w**2 + 93*w + 739. Let x be i(-7). Are x and -1 nonequal?
True
Suppose r + 2*a = 3*a - 3, 0*a = -4*a + 8. Let s = 1 + 15. Is r smaller than s?
True
Let f = -396 - -378. Let v(a) = -a**2 - 1 + 9 + 1 + 6*a. Let z be v(9). Is z less than f?
False
Let h = -14795.4 + 14781. Which is bigger: h or -104?
h
Let v = 32953/12 - 2736. Is 9 less than v?
True
Suppose 2*o + 111 = 123. Let n be (-32)/(-78)*15 - o. Which is greater: -1 or n?
n
Let g = -24.0711 + -7.9279. Let q = 0.001 - g. Let j = q - 26. Is j equal to -1/10?
False
Let c(b) = -6*b + 64. Let d be c(17). Let z be 1*(-3)/12*d. Which is smaller: z or 1?
1
Let x = -27859/12 - -2322. Let b be 1/(-28) - (-1)/(-4). Is b smaller than x?
True
Let l(y) = -4*y + 30. Let r be (2/4)/(-3*(-2)/108). Let k be l(r). Let q(f) = -f**2 - 8*f + 2. Let m be q(-8). Is m not equal to k?
True
Let c = 2425 + -2417. Which is smaller: -540 or c?
-540
Let v(f) = f**3 - 20*f**2 + 3*f + 28. Let u be v(20). Let g = u - 96. Which is smaller: -47/7 or g?
g
Let h be (-176)/(-396) - (645/594)/5. Is h less than -1/13?
False
Suppose 29 = -5*v + o, -3*v - 4*o - 28 = v. Suppose 165*k + 610 = 43*k. Which is smaller: v or k?
v
Let m = 148765/40054 - -1/5722. Let s = -1 - 0.2. Let v = s + 1.2. Which is greater: v or m?
m
Let d be 3/(2 - (-9)/(-5)). Let f(i) = 9*i + 15. Let g be f(d). Let t be (-4)/(-12) - 95/g. Are 1 and t equal?
False
Let u = 216 + -981. Let r = u + 738. Which is smaller: r or -29?
-29
Let g = -135.06 - -126.36. Which is greater: 80 or g?
80
Let n(q) = 2*q - 8. Let h be n(4). Suppose -4*r + 3*r + 17 = h. Suppose -j = r - 12. Is j <= -5?
True
Let r be 6/(-27) + 1*(-47)/(-9). Suppose -4*x + 139 = 4*f - 3*x, 3*f = r*x + 133. Is f equal to 71/2?
False
Let p(c) = c + 9. Let j be p(8). Let t = -474 + 474. Which is smaller: j or t?
t
Suppose 61*w - 65*w + 4*s = -8, -6 = -5*w + 3*s. Is -8/93 bigger than w?
False
Suppose -18*a + 23*a = -255. Let d be (-13)/26 + 101/(-2). Is a at most d?
True
Let g be (987/(-105))/((-1)/5). Let i = g + -53. Let z(q) = -q**2 - 3*q + 11. Let b be z(i). Is -31/4 < b?
True
Let n = 724 - 722. Suppose v - 7*x + 11*x = 19, 4*v + 14 = n*x. Which is smaller: v or 2.19?
v
Suppose 21 - 127 = 16*z + 54. Which is bigger: -20 or z?
z
Let f be -42 + (-2 - -2 - 0). Let g = -813 - -771. Let x be (14/f - 2/g)/(-1). Which is smaller: x or 26?
x
Let n = -44544.98 + 44545. Let d = 0.14 + -0.2. Let u = -4.94 + d. Which is bigger: u or n?
n
Let w(r) be the third derivative of -r**5/30 - r**4/3 + 16*r**2. Let d be w(-6). Let o = -26 - d. Which is smaller: 0 or o?
o
Let i = 265 - 261. Suppose 0*h + 5*h = -i*s - 571, 424 = -4*h + 5*s. Which is smaller: h or -110?
h
Suppose 2*q = -8, -2*q = -3*l - 6 + 20. Let g = -195640 + 195638. Is g > l?
False
Let l be -2*4/56*(-24 - 1). Let a = -1761 - -1760.7. Is a at most l?
True
Let o be (-49 - -1) + 14 + -13 - 4. Let t = o + 72. Suppose p + 10 = 2*c, 2*p + p = -2*c + 10. Is t bigger than p?
True
Let k = 31 + -27. Suppose 30 = -5*t - 5*z, k*t + 14*z = 15*z + 1. Which is smaller: t or 2/721?
t
Let m be -38 - 617975/(-16125) - 1/3. Which is bigger: -0.016 or m?
m
Suppose 15*s + 5699 = 56*s. Let a be s/(-2) + (-27)/18. Let n(r) = -r**3 - 5*r**2 - r - 4. Let q be n(-5). Is a less than q?
True
Let t(h) = -3*h + 60. Let u be t(19). Suppose -2*b + 165 = -q, -b - 26 = -u*q - 116. Let x = b - 78. Which is bigger: 2 or x?
x
Let a = -415 - -3730/9. Let y(h) = 10*h**2 + h + h**3 - h - 21 - 2*h. Let l be y(-10). Does l = a?
False
Let f be 118/(-6) - (-6)/9. Let r = -2.3074 + 1.3074. Do r and f have different values?
True
Let z = 1 - 155. Let l = -153.98 - z. Is 2 bigger than l?
True
Let r(k) = -k**2 - 10*k - 17. Let j be r(-6). Suppose -5*z + 57 = -43. Suppose -4 = -4*v + z. Is v smaller than j?
True
Let l = -8 + 10. Suppose 61 = -l*f + 9. Is -26 less than f?
False
Let n(j) = 1307*j + 1235. Let c be n(0). Are c and 1239 equal?
False
Let f(t) = -t - 11. Let v be f(-8). Suppose 12*p = 27 + 9. Suppose -p*k + 4*l - 8 = 0, -5*l + 8 + 3 = -4*k. Is k <= v?
True
Let u(f) = -f**2 - 66*f - 679. Let z be u(-13). Is 225/22 at most as big as z?
False
Suppose 0 = 3*r + 2*o - 16, -2*o = 3*r - 5*o - 21. Let x(s) = 3*s - 2. Let k be x(r). Suppose -5*u = -k + 21. Which is smaller: -3 or u?
-3
Let t be (-18)/(-7) + (2 - 44/28). Suppose -3*s + 3 = f, 2 = 2*s + t*f + f. Is -6/67 >= s?
False
Let l = -658 + 924. Let z = 262.6 - l. Which is smaller: 0.2 or z?
z
Let l = -1992 + 2140. Which is bigger: 134 or l?
l
Let w be 655259/(-58773) - -11 - (-4)/26. Which is greater: -1 or w?
w
Let q be 5/15 + 13/(-21). Let k be 6 + (-4 - (-2 - -2)) + 4. Let b be (-6)/1 + 2 + k + -2. Is b equal to q?
False
Suppose -14 = -3*k - 230. Let c(v) = v**3 + 10*v**2 + 33*v + 12. Let o = -545 - -538. Let u be c(o). Is u at least k?
True
Suppose 30*i = 3*i - 51*i - 8814. Does i = 51?
False
Let f be -7 + 6 - (39 - 34)*2/(-5). Which is bigger: f or -1/5939?
f
Let d = -77.47 - -2.47. Let m = -74.9 - d. Which is greater: 45 or m?
45
Suppose -13*f + 11*f = -2. Suppose 2*x - 3 - f = 0. Let b(a) = -a**3 - 7*a**2 - 3*a - 13. Let c be b(-7). Which is greater: x or c?
c
Suppose 0 = 5*k + 2*l - 85, 7*k - 2*k = 3*l + 60. Suppose 42 = -k*m + m. Let b be -3 + (4 - (m - -3)). Is b greater than -46?
True
Suppose -4120 = -4605*b + 4603*b. Is 2060 greater than or equal to b?
True
Let o = 0.03857 - 1186.03857. Is -0.1 greater than or equal to o?
True
Let s(b) = -7*b**2 - 4*b + 3. Let w be s(1). Let h be (20 + -22)/((w/(-154))/2). Are h and -77 nonequal?
False
Let p = 3731.5 - 3731.4. Let h(z) = -3*z - 4. Let d be h(-5). Let i = d + -4. Which is smaller: p or i?
p
Let v = 10 - 71/7. Let c = -62/13 + 483/104. Which is bigger: c or v?
c
Let p = -7/94 + -1051/1034. Is p smaller than -31?
False
Suppose 3978 = -1617*w + 1734*w. Which is greater: w or 2?
w
Let f be (81/756)/(2 - 24/14). Which is smaller: f or 0.063?
0.063
Suppose 8*g - 784 = 16*g. Let p = g + 18521/189. Is p at least as big as 0?
False
Let c = -29450 + 26135. Which is smaller: -1 or c?
c
Let q be 27612/(-351)*(-69)/14. Which is smaller: q or 388?
q
Let o = -0.0004 - 211.9996. Let h = 209 + o. Which is greater: h or -6?
h
Let o(i) = i - 33*i**2 - 3*i - i**3 + 23*i**2 - 22. Let l be o(-10). Let n(k) = 3*k + 6. Let r be n(l). Is 1/64 less than r?
False
Let g = -232 + 477. 