0.1. Is m greater than y?
True
Suppose q = 2*l + 9, 5*q - 4*l = l + 25. Let u(d) = -21*d + 3. Let w be u(q). Are -17 and w equal?
False
Let t = -4/2515 + -679006/27665. Which is smaller: -25 or t?
-25
Let t(s) = 113*s - 124. Let u be t(4). Is u less than or equal to 330?
True
Suppose -2*c + 2 = 4*z, 5*c - 2*z = -7 - 0. Which is smaller: c or 1/420?
c
Let v be -9 + -26 + -1 + 5. Let p = v + 38. Which is smaller: -3 or p?
-3
Let w = 0.0972 - 5.0972. Is w less than 7.8?
True
Suppose 4*t + 1 = 5*t. Let k be ((-15)/(-5) - 2) + t. Let o be k/2 - (-5 - -5). Which is smaller: o or 10/9?
o
Suppose 204*r - 201*r - 6 = 0. Let n = -5 - -7. Let w = n + -2. Which is greater: w or r?
r
Let l = 6 - 9. Let a(m) = 3*m - 1. Let z be a(2). Suppose -3*y = -z*p - 23, y = 3*p - y + 14. Which is smaller: l or p?
p
Let k = 39801/32 - 1244. Let q = 275/672 + k. Which is greater: q or -1?
q
Let p be (-26)/15 - (-14)/42. Let d = 10 + 2. Suppose -d = 4*q - 4*s, 3*s - 2 + 1 = -5*q. Which is bigger: q or p?
q
Let v(t) = -t**3 - 12*t**2 + 45*t - 16. Let f be v(7). Which is smaller: f or -1261/2?
f
Let q(o) = -5*o**2 - 68*o + 21. Let d be q(-14). Let w(t) = 5*t**2 + t**2 + 2*t**2 + t**3 + 1 + t. Let l be w(-8). Does l = d?
True
Suppose 5*d + 224 - 329 = 0. Which is smaller: d or 17?
17
Suppose -n - 2*g = g + 9, 0 = -5*g - 20. Suppose -n = -u - 0*u. Suppose -4 + 1 = -u*m. Is 9/5 < m?
False
Suppose 4*n + 4 = -4*f - 0, 0 = -2*n + f - 2. Is 13/37 greater than n?
True
Let t = 3005 - 57063/19. Let m = t - 18/19. Is 1 at most m?
False
Let n = -355 - -384. Suppose 4*w = -17 - 103. Let x = n + w. Which is greater: 2/5 or x?
2/5
Let s be (6/(-75))/(16/(-47590)). Suppose 0 = 4*m - 4, -3*j - 2*j = 2*m + 1188. Let l = s + j. Are l and -1 nonequal?
True
Suppose 0 = -6*s + 9*s - 9. Suppose s*z + 4*g + 22 + 24 = 0, 5*z - 4*g + 34 = 0. Is z smaller than 1?
True
Let z = 3/62167 - 1393721985/248668. Let t = 5480 + z. Let l = -126 - t. Is l greater than 0?
False
Let y = -0.03 - 0.01. Let z = -2.29 + 0.29. Which is smaller: y or z?
z
Let o be (-10)/55 + (-6)/(-33). Let d = -0.1 - -0.16. Let l = 0.94 + d. Is l bigger than o?
True
Let k = 17.7 + -17. Let n = 0.7 - k. Let s = 0.1 - n. Which is smaller: -22 or s?
-22
Let z = -4.3 + 4.4. Let n = -4 - -4.3. Let d = -0.7 - n. Which is smaller: z or d?
d
Let g = 0.134 - 0.234. Let a be -11*(2/14 + 0). Is a greater than g?
False
Let p = 50.7 - 53. Let g = 2.07 + p. Is -2 >= g?
False
Let y(v) = v + 8. Let p be y(-7). Let x be p/(-2) + (-44)/(-56). Which is smaller: -0.4 or x?
-0.4
Suppose -9*o - 13156 + 6316 = 0. Which is smaller: -761 or o?
-761
Let p(f) = -f. Let r be p(-17). Which is smaller: 69/4 or r?
r
Suppose 2*p + 3*a - 133 = 0, -a + 0 = 5. Let g = -82 + p. Is g at most as big as -7?
True
Let v be 11818/(-57190) - (-1)/5. Which is smaller: v or -1?
-1
Suppose 4*u + o - 7 = 0, 4*u + 3*o - 4*o = 1. Let c be ((-2)/(-20))/((-4)/10). Are u and c unequal?
True
Suppose 0 = -4*m + 3*k - 2311, -6*k - 2880 = 5*m - 8*k. Is -575 at least as big as m?
False
Let n = -9.99 - 0.01. Let f = 9 + n. Let l(g) = 2*g - 40. Let i be l(15). Do f and i have the same value?
False
Suppose -14*x - 12 - 16 = 0. Let g be 3/3 + -31 + x. Which is smaller: -33 or g?
-33
Let q = 6 - 3. Suppose -10*k + 13 = 3*k. Which is bigger: k or q?
q
Let n = -3.4 - -0.08. Let d = n + 0.32. Is 2 smaller than d?
False
Let x = 2 + 27. Do 29 and x have the same value?
True
Let h = -8.55 - -8.6. Is h less than -0.01?
False
Suppose 5*m = m - 44. Let z(u) = -u**2 - 9*u + 22. Let s be z(m). Is s less than or equal to 2/105?
True
Suppose -2*v - 5*m + 3 - 23 = 0, -5*m = -3*v + 20. Is v less than 3/151?
True
Let k be 2/(8/195) - 5. Do k and 43 have the same value?
False
Let w(v) = -9*v. Let t be w(-1). Let d(b) = -3*b**2 - 5*b**2 + 3*b + 12*b**2. Let q be d(-2). Which is bigger: t or q?
q
Let o = -0.3 - -0.1. Let l be (4/7)/(10/35). Suppose -2*k + 1 = -3, l*y + 4*k + 6 = 0. Is o <= y?
False
Suppose 0 = -13*z + 86 - 255. Which is smaller: z or 0?
z
Suppose -y - 16 = 51. Let h = y + 48. Is h at most -20?
False
Let i = 14 - 1015. Let z = -8999/9 - i. Do z and 2 have different values?
True
Let s be 0/(4 - 1) - (-6 - (-84)/14). Let w = 6 - 2. Suppose -3*r = h - 12, 3*r - w*r = 5*h - 18. Which is smaller: r or s?
s
Suppose -a + 44 + 8 = 0. Is a >= 3/7?
True
Let r(b) = b**3 - 6*b**2 + b - 5. Suppose 49 - 19 = 5*t. Let s be r(t). Let h = 9.17 + -0.17. Which is smaller: h or s?
s
Suppose 3*g = -3*j + 2*g + 8, j + 5*g = -16. Suppose -8 = -j*k + 12. Suppose k*w - 17 = 3. Do w and 19/5 have the same value?
False
Let k = 185/132 - 20/11. Let p(z) = 3*z - 37. Let b be p(13). Let q be 0 + 3 + (-1 - (b - 0)). Which is bigger: q or k?
q
Let p = 6 - 3. Suppose 3*d = -45 + p. Let h = d + 11. Is h bigger than -2?
False
Let r = 83 - 151. Let o = r + 67. Which is smaller: -6/49 or o?
o
Let m = 0.49 + -0.57. Which is smaller: m or 2.3?
m
Let r = 43 - 15. Let p = -1344 - -1345. Is p > r?
False
Let n(t) = 19*t**2 + 13*t - 14. Let a be n(6). Is 747 less than a?
True
Let a = -113.1 + 113. Which is bigger: -41 or a?
a
Let z = 91 - 158. Let r = z - -66. Let x = -3.4 + 3. Is r at most as big as x?
True
Suppose t = -1 + 2. Let o(r) = 31*r + 2. Let p be o(t). Let i = p + -47. Is -15 != i?
True
Let j = 1746 - 10211/6. Let v = 44 - j. Let c(o) = -o**3 + 5*o**2 + 7*o - 7. Let k be c(6). Is k != v?
True
Suppose -3*p - 262 = 53*a - 52*a, 2*p - 5*a = -186. Do -94 and p have the same value?
False
Let m = -8/287 - 11344/4879. Is m > -2?
False
Let s be (-3)/(-4) + (-13015)/(-76). Let b = 146 - s. Which is bigger: b or -27?
b
Let v = -125 - -132.5. Do -0.1 and v have the same value?
False
Suppose 0 = 2*a - 3*a + 4. Let q(o) = o**2 - 4*o. Let b be q(a). Let r be (-4)/2*(-4)/(-56). Which is smaller: r or b?
r
Let m = 0.81 + -0.48. Which is bigger: -0.1 or m?
m
Let x = 7159/65 - 254/13. Let n = x - 91. Let j = -106 - -105.3. Is n >= j?
True
Let q be 2/(-12)*-3*-2. Let w = 1644/5695 + -22/85. Do w and q have the same value?
False
Let d = -35 - -42. Suppose -4 = p + 3*w, d*p - 3*p + w + 27 = 0. Which is greater: p or 1?
1
Let v be (-43)/(62/(-8) - -8). Which is smaller: -173 or v?
-173
Let i be 4000/(-72) - (2/(-9) + 0). Which is bigger: i or 2/9?
2/9
Let f be (1212316/97398 - 12) + 8/(-18). Are f and 2 unequal?
True
Suppose 2*j - 6*j + 5*r + 185 = 0, 5*r - 65 = -j. Which is greater: 146/3 or j?
j
Let h(o) = -3*o**2 - 6*o - 2. Let m be h(-4). Let z(w) = -w**3 - 19*w**2 - 26. Let r be z(-19). Is m at least as big as r?
True
Let q = 0.94 - -0.06. Let h = -1.4 + 1.32. Let k = h + -0.02. Which is bigger: k or q?
q
Let z(c) = 3*c**2 - 23*c - 3. Let s be z(11). Is s less than 107?
False
Suppose b - 18 = -7. Let v(l) = -l**2 - 10*l - 12. Let m be v(-8). Let h be (-9)/(-12)*m + 8. Is h less than b?
False
Suppose 12*o + 1768 = 20*o. Is 222 < o?
False
Let a be 4/((-20)/(-15)) - 92/4. Suppose 2*p + g + 45 = 0, -3*g - g = 4*p + 100. Is a bigger than p?
False
Let c be -15 - -5*(-6 + (-259)/(-35)). Suppose 3 + 0 = -a. Let w be (a - -2)/(2/16). Is w >= c?
True
Let t = -1495 + 1495. Which is smaller: t or -5/143?
-5/143
Let y(b) = -b**2 + 3*b - 2. Let w be y(3). Let s = -1339 + 20077/15. Is s at most as big as w?
False
Let t = -3061/8 + 382. Let l(a) = -a**2 + 3*a - 3. Let o be l(2). Is o greater than t?
False
Suppose 3*j + 92 + 133 = -4*t, j + 56 = -t. Let a = t - -57. Let q(u) = -u**3 - 6*u**2 - 6*u - 4. Let p be q(-5). Is p >= a?
True
Let c be (-2)/(-12)*(-63)/28. Let b(x) = x + 5. Let h = -10 + 6. Let d be b(h). Which is smaller: d or c?
c
Let d be 9/6 - (-17)/(1428/(-115)). Which is smaller: 1 or d?
d
Let h = -38 + 74. Suppose 83 = -3*q - 64. Let g = h + q. Which is smaller: g or -12?
g
Let q(r) = 2*r - 6. Let g be q(8). Let j(c) = -c**3 + 11*c**2 - 9*c - 10. Let o be j(g). Suppose p + 4*p + 50 = o. Which is smaller: -9 or p?
p
Suppose 2*f + 5*i - 16 = 3*i, -f - 12 = -4*i. Suppose 4*h - 5*m - 20 = 3*h, 16 = h - f*m. Suppose h = -l - 5*l. Are 6/7 and l unequal?
True
Let j = -13 - -3. Let a = 6067 + -6066.99. Is a < j?
False
Let f = -35 + 55. Let l be 1 + -1 + (0 - (-8)/f). Which is greater: 4/11 or l?
l
Let c(k) = -13*k**2 - 3*k + 1. Let g be ((-3)/3 + (-3)/(-2))*2. Let d be c(g). Is -15 > d?
False
Suppose 0 = 2*g + b, 2*g = 3*b - 5*b. Let p = -703/35 + 135/