hich is greater: 2/25 or m?
2/25
Let i(s) = 4*s - 1. Let z be i(-9). Let m = z + 13. Let o(l) = 5*l - 99. Let w be o(15). Is m equal to w?
True
Suppose 13 - 6 = 7*b. Is 2/211 equal to b?
False
Let n = -0.9 + 0.1. Let f = 1.2 - n. Let u = 3 + f. Which is smaller: u or 2/5?
2/5
Suppose -3*o = -o - 8, -23 = -s - 5*o. Suppose -2*d + s*d + 8 = 0. Are -2 and d nonequal?
True
Let v = -17.86 + 18. Let i = 9.18 - 9.28. Which is bigger: i or v?
v
Let k = -193 - -47. Let u be 3/((-132)/k) - 3. Is u <= 1?
True
Let h = 56 - 35. Let n be (-36)/(-54) - 29/h. Which is smaller: 1 or n?
n
Let j = -95780/83 - -1154. Does 1 = j?
False
Let z be ((-8)/3)/2*3/(-2). Suppose -5 + 0 = -5*i, 0 = -2*j - z*i + 4. Suppose 0 = 3*q + q - 4*c, 5*q + 5*c = 0. Is q < j?
True
Let k = -9 - -13. Suppose -i + 0 - 1 = 0, 13 = 3*c - k*i. Which is greater: c or 11/5?
c
Let a be 40/(-70) - (-26296)/56. Is 469 at least a?
True
Let r(z) = -z + 10. Let y be r(9). Let m = 27 + 6. Let b be m/140 - 8/40. Is y at most b?
False
Suppose -1 = 3*k - 16. Suppose -12 = -2*y - y - l, -5*y + 28 = -l. Is y less than or equal to k?
True
Let g = 37.8 - 30.9. Which is bigger: g or 1?
g
Let z(i) = 3*i - 2. Let o be z(3). Suppose -2*w - 3*a = -2*a + o, -w + 10 = -4*a. Let t be (-1250)/220 + w/(-11). Is t greater than or equal to -7?
True
Let k be (-6)/(8856/66)*-4. Let a = 3586/123 + k. Is a smaller than 30?
True
Suppose -7 = -2*f + 3*g - 2*g, 0 = -3*f + g + 8. Which is smaller: 5/96 or f?
5/96
Suppose 0 = 69*z - 76*z + 14. Which is greater: z or 49?
49
Let z be (0 - -1)*(-5 + 7 + -77). Which is greater: -0.1 or z?
-0.1
Let u = 8 - 9. Let k be (-22)/(-8) + 3*u. Is k greater than 6?
False
Let b be -106*((-325)/(-10))/13. Is -265 bigger than b?
False
Let k be 55/(-22)*74/(-5). Suppose -k*w = -39*w + 8. Suppose -2*o - z + 26 - 9 = 0, 2*o - 3*z + 3 = 0. Which is greater: o or w?
o
Let d = -76 - -78. Suppose d*z - 2 = -2*r, -5*z - 35 = 5*r - 10*r. Is 5 != r?
True
Let u(p) = p**2 - 33*p + 158. Let l be u(27). Which is smaller: -54 or l?
-54
Suppose 18*d + 467 = -523. Which is greater: d or -54?
-54
Let i be -7*(-7)/294*-125. Do -21 and i have the same value?
False
Suppose -5*f = -l - l - 10, 5*l - 41 = -4*f. Let z be (-7)/(-2) - 2/(-4). Is l <= z?
False
Let a = -19 - -0.37. Let h = a + -0.37. Let y = h - -18.8. Which is bigger: y or 0?
0
Suppose -5*n = -4*x + 19, -x - 3*x = 5*n + 11. Is 16 bigger than x?
True
Suppose -5*y + 220 + 15 = 0. Is 50 equal to y?
False
Let n(d) = 3*d - 51. Let k be n(13). Is k not equal to -61/5?
True
Let p(c) = 31*c**3 - 2*c**2 + 1. Let i be p(-1). Let s = i + 31. Which is bigger: 1/4 or s?
1/4
Let w be 6/(3*(-9)/81). Let b(o) = -4*o + 2. Suppose 6*n - n = 25. Let j be b(n). Are w and j non-equal?
False
Let m be (2/6)/(19/(-114)). Are m and -13/16 nonequal?
True
Let c(f) = -53*f**3 - f**2 + 12*f - 14. Let i(q) = 18*q**3 - 4*q + 5. Let x(t) = -4*c(t) - 11*i(t). Let k be x(1). Is 15 at least as big as k?
True
Let h = 4.13 + -4. Let q = -0.03 + h. Let f = -1.3 + 0.9. Which is smaller: q or f?
f
Let h be (-12)/(-142)*3/24. Let g = h + 385/17324. Which is greater: g or 0?
g
Let a = -259/15 - -17. Let p(v) = v + 1. Let z be p(-1). Which is smaller: a or z?
a
Let z(a) = a - 13. Suppose 80 = 3*s + 59. Let l be z(s). Is l less than or equal to 2?
True
Suppose -3*v + 2*c - 72 = 70, -3*v - 3*c - 117 = 0. Let r be v/(-55)*5/2. Are 0.4 and r non-equal?
True
Suppose 5*x + 47 - 17 = 0. Let t be (-28)/(-16) - x/(-8). Let c be ((-9)/4)/3*64/312. Which is smaller: c or t?
c
Let y = -20/3 + 146/21. Let t be (9/15)/((-3)/(-15)). Suppose -t*h + 7*h = 0. Is y at least h?
True
Let u = 4 + -5. Let k = 1.02 + u. Which is smaller: -2/7 or k?
-2/7
Let a = -35 - -21. Let m = a + 14. Suppose -3*h + 0*h = 3*n, 3*h - 7 = 4*n. Is m greater than or equal to h?
False
Let w be ((-10)/7 - -4)/((-6)/28). Let x(c) = -2*c**2 - c + 4. Let r be x(-3). Which is bigger: w or r?
r
Suppose 10 = -17*y + 18*y. Let g = -268 + 146. Let q be y/(-45) - g/(-18). Is q greater than -7?
False
Let z(r) = r**2 - 18*r + 164. Let i be z(17). Which is greater: i or 145?
i
Let b = -90 + 89.27. Let r = b - -0.9. Let j = 9.83 + r. Is -0.1 < j?
True
Suppose 3*a + 2*d = 47 - 369, 0 = -2*d + 8. Is -111 < a?
True
Let t be 3/(-5) + (-23076)/(-60). Which is smaller: 383 or t?
383
Let m(t) = 2*t + 83. Let c be m(-44). Is -0.015 <= c?
False
Let g(n) = -n**2 + 3*n + 3. Let x be g(-1). Let r be 6*(-3 + (-16)/(-4))/70. Do x and r have the same value?
False
Let y = -448 - -447.9. Is 6 equal to y?
False
Let p(w) = -3 - 3*w + 5*w + w + 3*w. Let d be p(1). Is 0 equal to d?
False
Let t(s) be the second derivative of s**3/6 + s**2/2 + s. Let p be t(-1). Let c = -2849/3 - -949. Which is bigger: p or c?
p
Let o(d) = 6*d + 2 + 2 + 2*d - 4*d. Let h be o(-5). Which is smaller: -17 or h?
-17
Let s be 3618/1340*(-2)/(-3). Let w be (-220)/(-18) + 2/(-9). Let z be -1 + (-3)/((-9)/w). Is z > s?
True
Let u = -75 - -80. Let q = 0.07 - 0.67. Let w = q - -0.5. Which is smaller: u or w?
w
Let y be 20*((-3)/3 + 2)*6. Is y bigger than 121?
False
Let i be 3110/(-6160) - (1 - 6/4). Is i at most as big as -1?
False
Let t = 60.2 + -60.3. Let y(i) = -3*i - 9. Let u(g) = 7*g + 17. Let k(l) = -6*u(l) - 11*y(l). Let x be k(-2). Which is smaller: x or t?
t
Let t(j) = -2*j + 19. Let v be t(11). Let q be v*-3*(-5)/45. Which is bigger: q or -2/227?
-2/227
Let n(m) = -3*m**3 - 19*m**2 - 43*m + 13. Let f be n(-7). Is f >= 412?
True
Suppose 8*h + 108 = -h. Which is bigger: h or -9?
-9
Let m(w) = w**3 - 16*w**2 + 16*w - 14. Let f be 27/2 - 15/(-10). Let q be m(f). Let r be 2/6 - (-5)/(-9). Is r at most q?
True
Suppose 3*k = 4*f + 7, 3*f + 3*k - 3 = 18. Suppose 2*d - s - 5 = 0, 2*s + 2 = -0*d + f*d. Which is smaller: 42/11 or d?
42/11
Suppose 2*f + f = d - 6, 5*d - 20 = 5*f. Suppose 0 = a + 2 - d. Let k = 43 + -42. Is a at least as big as k?
True
Let a = 1915943458/155295 - 1789187/145. Let f = a - 1/595. Which is bigger: -2 or f?
f
Suppose 13*c + 3016 = 39*c. Suppose 475 = 4*t + 3*w, 5*w - 3*w + 335 = 3*t. Is c at most as big as t?
False
Let h(p) = 4*p + 4. Let i be h(3). Suppose x + 5 = 2*q + 28, -5*q = 20. Are x and i unequal?
True
Let k(l) be the second derivative of -l**5/2 + l**4/12 - l**2/2 + l. Let z be k(1). Let a be (-8 - z)/(2/(-4)). Do a and 2 have the same value?
False
Let g = 3.7 + -1.9. Let r = -9.2 - g. Which is smaller: r or -0.1?
r
Let w = -89 - -46. Let c = -74 - w. Let y = c - -30.9. Is y at least as big as 6/5?
False
Suppose 0 = -4*z + y + 20, 5*y = -z - z + 32. Let t be (z/748)/(-8 + (-35)/(-4)). Which is greater: -1 or t?
t
Let g = -0.05 - 2.95. Let r be ((-1)/(-2))/((-4)/120). Let d = -59/4 - r. Is d >= g?
True
Suppose y + 2*n = 5, -3*y + 6*n - 5 = 2*n. Let p be (y/4)/((-2)/(-24)). Suppose q = -3*d + 9, -d - p*q = -13 + 2. Which is bigger: 6/7 or d?
d
Suppose 0 = 2*a - 7*a + 10. Suppose 10*p + 192 = -22*p. Which is smaller: a or p?
p
Let f = 9.85 + -6.88. Let u = f - 3. Let i = 158 - 160. Which is smaller: i or u?
i
Let g(v) = v**2 - 9*v + 8. Suppose 3*r + 2 = 26. Let c be g(r). Let i be (-3 - -3) + c/(-2). Which is smaller: -3 or i?
-3
Let g = -536.2733 + 0.2733. Which is greater: g or -3?
-3
Suppose -g = -162 + 54. Let s = 49 - g. Is -59 != s?
False
Suppose 36*p - 42*p = -1194. Is 197 greater than or equal to p?
False
Let p = -434802/13 + 33426. Which is greater: -19 or p?
-19
Suppose -3*m - 5*x = 2*m - 20, -3*m + 2*x + 2 = 0. Suppose 0 = -3*v + v + m, 0 = -a - 4*v + 10. Suppose 2*r + 22 = 5*g, 0 = -2*r + a*r + 5*g - 16. Does -2 = r?
False
Let j = 158 - 1108/7. Let v be 18/(-24) + (-26)/(-56). Is j greater than v?
False
Let z = 54.6 - 55.6. Let u = 236 + -2357/10. Is u greater than z?
True
Let w(t) = t + 10. Suppose 0 = 2*l + 2*h - 36, 4*l - 5*h - 19 = 89. Let s be (-30)/4 - (-11)/l. Let v be w(s). Is v at least 4?
False
Let j be (-3)/2*(-40)/(-15). Let v be 8/3*(-18)/j. Let t be ((-104)/(-12))/((-21)/9 - -3). Is t less than or equal to v?
False
Let b(o) = -o**2 + 4*o + 3. Let r be b(4). Let q(n) = -6*n - 65. Let y be q(-10). Let m be 2/3*(-4)/(y/5). Is r less than m?
False
Let f = 1/190 + -611/152190. Which is bigger: 0 or f?
f
Let v be 21/19 + (-42)/399. Which is smaller: -1/10 or v?
-1/10
Let g = -16.7 + 15.7. Is g less than or equal to 12/17?
True
Suppose 259 = 5