4/25. Let t = a - -1096/2975. Let r(k) = -2*k**2 - 13*k + 7. Let w be r(-7). Is w bigger than t?
False
Let t = 231/37 - 8980/259. Let r = -82569/7 - -11762. Let s = r - t. Which is smaller: s or -5?
s
Let p(q) = 78*q + 1. Let z be p(13). Let f = -103531/102 + z. Is 0 greater than or equal to f?
True
Let c(b) = 85*b - 2210. Let p be c(26). Let j(i) = i**3 - i**2 - 2*i + 1. Let u be j(-4). Let o be -1 - (u - (0 + -3)). Is o greater than or equal to p?
True
Let n = -399 - -238. Let w be (-2)/(-6) + n/(-345). Is w at most as big as -12?
False
Let k be 1/(-4) - 34/(-8). Suppose 4*f = -2*s - 20, -4*s - 3*f + 5 = -k*f. Suppose 4*z = -5*o + 1 + 10, 4*z - 2*o = 18. Is s greater than or equal to z?
False
Suppose -168 = -14*i - 0*i. Suppose -y - i + 12 = 0. Which is smaller: y or -3/91?
-3/91
Suppose 0 = -9*k + 870 - 330. Suppose k = 54*t - 55*t. Which is smaller: t or -61?
-61
Let j be 252/(-72)*(-61536)/(-28). Is j < -7689?
True
Suppose -6*t + 4*t = -6. Let p(f) = -f + 14. Let v be p(11). Suppose 4*j + 53 = -3*x, 39 = -t*j - v*x + x. Is j > -11?
False
Let r = -21446/33 + 650. Let s = 343/165 + r. Suppose -1253*t + 2959 = 453. Are s and t equal?
False
Let p be (35/10)/(-7) - (-12165)/6. Let t = -12121/6 + p. Let f be 11 + -4 + -1 + 1. Which is smaller: f or t?
t
Let d = -23.08268 + 0.08268. Which is smaller: 7/2 or d?
d
Let n = 549 - 489. Let c be ((-9)/n)/(189/168). Is c > -2/67?
False
Let s be ((-18)/(-24))/(2/16). Suppose 4 = -f + s, -4*z = 2*f. Which is greater: -3/125 or z?
-3/125
Let x be 18/12*(-296)/(-12). Let w = 39 - x. Let n be 9/(-8)*w - -2. Is 0 not equal to n?
True
Let x = 0.4913 + 39.5087. Is 3.3 greater than x?
False
Suppose -2*y = -7*y - 65. Let c be (-1)/(-6)*3*-10. Let j be 3*25/c - (2 + -4). Does y = j?
True
Let p = 3010 + -3009.92. Is 0.03 at least as big as p?
False
Let l(p) = -p**2 - p - 3. Let g be l(0). Let m be 57/(-12) - g/(-12). Let f be m/2 + (-3)/6. Which is greater: f or -2?
-2
Let g be (3*6/(-27) + (-29250)/108)*-2. Which is greater: 551 or g?
551
Let h = 18 + -368. Let f = h - -229. Which is greater: f or 2/3?
2/3
Suppose 5*t = -3*w + 26, 5 - 3 = -t. Suppose 5*y - 24 = 9*s + 68, -3*s = -2*y + 35. Which is bigger: y or w?
y
Let j = -0.03536 + -25.96464. Is j > -0.17?
False
Let h(j) = j**3 - 16*j**2 + 66*j - 120. Let f be h(11). Which is bigger: 240/127 or f?
240/127
Suppose -4*p - 33*z + 27*z + 4736 = 0, -5*p - 5*z + 5910 = 0. Is p greater than 5892/5?
False
Let b be -4 - -5 - -3 - -80. Suppose -4*y - n - 62 = 0, -5*y - b = -n - n. Let l(s) = -s - 16. Let g be l(y). Is g greater than 11?
False
Let d = 57622751/1419 - 40608. Is d bigger than -0.1?
True
Suppose 5 = t + 7. Let b be 43/(-2)*(48/18 + t). Which is smaller: -13 or b?
b
Let n = 0.1874 + -0.6528. Which is smaller: 0 or n?
n
Suppose -14*a + 6 = -12*a. Suppose 3*t + a = 5*n - 3*n, 5 = -5*t - 2*n. Let l = 5273/25 - 211. Is l < t?
False
Suppose 451 - 73 = -6*p. Let d be ((-3)/p*-1)/((-1)/(-3)). Let z = -26 - -14. Which is bigger: d or z?
d
Let l(g) = -2*g + 48. Let y be l(22). Suppose 5*p + y*w - 36 = 0, -2*p = w - 8 - 4. Let a be p/(-10) + 0 + 0. Which is smaller: a or -10?
-10
Let y = -22 - -68/3. Let b = -35.68 + -0.32. Let o = b + 33. Which is greater: o or y?
y
Suppose -11*u + 67 = 23. Suppose u*g - 30*g = 1274. Suppose 4*x = -171 - 29. Which is greater: g or x?
g
Let k = 0.8 - 0.6. Let x(f) = f**3 + 12*f**2 + 177*f + 1927. Let n be x(-11). Do n and k have the same value?
False
Let t = 22181 + -9160762/413. Which is smaller: t or -1?
-1
Suppose 426 = -3*a - 25*a - 162. Is a at most as big as -2?
True
Let m = 5911 - 5909.9. Is m at least -0.3?
True
Let k be (-13 + 7)/54 - 646/18. Let t be 0*(k/(-8))/9. Suppose -5*c + 31 = f, -212 = -t*f - 4*f + 2*c. Which is bigger: f or 52?
52
Let w be (27/15)/(5 + 985/(-200)). Suppose -1197 = -w*c + 5*c. Is 0.04 not equal to c?
True
Let t be ((-5)/5 - -2)/313. Let q be (-12)/(-42)*14*(-17)/(-68). Which is bigger: q or t?
q
Let u be 10/110 - ((-133456)/(-44) + 0). Which is greater: -3031 or u?
-3031
Let x(f) = f**3 - 2*f**2 - 34*f - 33. Let l be x(-4). Suppose u - 13 = -2. Which is greater: l or u?
u
Let b = 5 + -4.944. Let a = 24 + -23.844. Let d = b - a. Which is greater: d or 51?
51
Let t = -3741 - -3740. Let w be 9/12 - (-2)/8. Are t and w nonequal?
True
Let z(h) = -5*h**3 + 3*h**2 - 9*h**2 + 25 + 6*h**3 - 22*h - 8*h**2. Let w be z(15). Let v be (-1)/(4*(-4)/w). Which is greater: v or 0?
0
Let l(i) = -i**2. Let u be l(0). Suppose u*a = -5*x + 2*a + 144, 0 = 3*x - 2*a - 88. Suppose 0 = 2*k - 2*z + 4, -4*z = 2*k - 0*k + x. Is k at most as big as -6?
True
Let b = -399/7232 + 8/113. Suppose 144*r = 151*r - 21. Suppose 2*w - 13 = -7*z + 12*z, 3*w = r*z + 6. Which is smaller: b or w?
w
Let u be (-45)/18*(-8)/5. Suppose -3*n = 3*y - 15, -u*y + 0 = -4. Let p be 11/((-8)/n + 0). Does -2/13 = p?
False
Let y = 2.6 + -3.8. Let w = 1 + y. Let j be (2/(-14)*1)/(314/(-41762)). Which is smaller: w or j?
w
Let n = -5029/11 + 195389/462. Let s = n - -167/6. Suppose 0 = -4*c - 0*c - 28. Which is smaller: c or s?
c
Let j = 66 - 62. Suppose 0 = -4*z + 8, u - j*z + 7 = 11. Suppose -18*c = -u*c - 12. Which is bigger: c or 1?
c
Let c(b) = b**3 - 14*b**2 + 2*b - 25. Suppose -s + 11 = f, s - 2*s = 2*f - 25. Let p be c(f). Is 7 less than p?
False
Let g(x) = -4*x - 41. Let q be g(-8). Let f be (q + -23)*-1 + 0 + 1. Which is greater: f or 32?
f
Let j = 18/2419 - -2552/307213. Let t = 13 - 14. Is t smaller than j?
True
Let g(k) = -k**3 + 2*k**2 + 4*k - 4. Let t be g(3). Let x(o) be the first derivative of 22*o**2 + 130*o - 115. Let q be x(-4). Which is smaller: q or t?
q
Let x be (6/(-8))/(2/(-72)). Suppose -q + 11 = -4*w + x, 5*w = 3*q + 13. Suppose -w*i = 5, -2*i - 1 + 4 = 5*o. Is -1/34 smaller than o?
True
Suppose 24 = -u + 28. Suppose 106 = u*s - 18. Let o = s + -40. Which is smaller: o or -8?
o
Let x = -9198 - -7818. Which is bigger: x or 0.1?
0.1
Suppose -167*l = -54*l - 57*l - 53*l. Is -3/1355 equal to l?
False
Suppose 0 = -16*g - 4*g + g - 1501. Is -85 at most g?
True
Suppose 11*o = 7*o + 16. Suppose 4*n - 15 = -s, n - 30 = -o*n + s. Suppose n*r = -0*r + 15, -m - 4*r - 31 = 0. Is m at least -43?
True
Suppose 0 = 2*v + 99 - 83. Let m(y) = -y**3 - 8*y**2 - 2*y - 6. Let d be m(v). Let n be (-24)/d*(-210)/(-63). Is n at most -8?
True
Let k = 194 + -207. Suppose 8 = -a - s, -a - 3*s - 16 = -0*a. Which is smaller: k or a?
k
Let k be 95/(-30) + 3 - 129/(-18). Let q be (((-252)/(-464))/k)/(2/(-16)). Which is bigger: q or -2?
q
Let b = 9364 + -9337.5. Which is bigger: -3 or b?
b
Let h(a) = -9*a - 36. Let u be h(-4). Let w = u + 4. Suppose -w*d - 2 - 3 = -s, -5*s + 1 = 4*d. Which is bigger: -2/193 or s?
s
Let h = 2 - 7. Let s(g) = 7*g + 8. Let i be s(-23). Let o = i + 148. Is o less than h?
False
Let v = 245016/11 + -1755834/77. Is v at most -529?
False
Let v = 594 + -591.49. Let a = -2.61 + v. Which is greater: a or 138?
138
Suppose -a - 1289 = o - 4*o, -o - 3*a = -413. Let b = -855/2 + o. Is b != -169?
True
Suppose 170*s - 636192 = 242*s. Is s bigger than -0.1?
False
Suppose 24*q - 441 = -57. Let w be (-10)/(-8)*(52/q + -3). Which is greater: w or -1?
w
Suppose 2*y - 23 = v - y, -2*y + 19 = 3*v. Which is bigger: -1/3089 or v?
v
Let f = 87 - 75. Suppose -12*u + f = -8*u. Suppose -5*p - u*p = 240. Which is greater: p or -32?
p
Let h be ((-42)/147)/(-1 - 564/42). Which is smaller: -83 or h?
-83
Let i = -194 - -236.4. Let s = i - 52.4. Is s greater than 4?
False
Let v = 50340944/911 + -55259. Which is smaller: v or 0?
v
Suppose 3*r = -4*u + 790 + 164, -3*u - 5*r = -710. Suppose 2*w = 3*w + u. Let s be (6/w)/((-1)/(-2)). Do 1/2 and s have the same value?
False
Let t = 1.8 + -2.8. Let v = 1289 - 1344. Is v at most as big as t?
True
Let f be (-12)/(-28) - (-376)/(-28). Let v = 15 + f. Let r be v*(-4)/(-8)*-1. Which is smaller: -23 or r?
-23
Let i be 333/63 - (12/14)/3. Suppose -i*y = 2*n - 0*n - 591, 3*n - 9 = 0. Let l be (-1*(3 + -4))/(3/y). Is 39 at most as big as l?
True
Suppose 26*l + 2945 = 2477. Are 17 and l equal?
False
Let i = -0.1017 + -0.5983. Is -84 < i?
True
Let l = -339751514/22447863 + 2/606699. Is l >= -16?
True
Let o(v) = 5*v - 5*v + v + 2 + v. Let p be o(-17). Let b = p + 36. Is b less than or equal to -2?
False
Suppose o + 1 = -r + 103, 3*