 - -3)/(-7 + 9). Is m less than or equal to 3/46?
True
Let y = -1259 - -1264. Is -154 bigger than y?
False
Let j be 18/(-24) - (-38)/8. Suppose -2*q = -3*q - 5. Let h = q + j. Which is greater: h or -4/3?
h
Suppose 13*x - 51*x - 20*x - 58 = 0. Suppose -4 + 40 = -2*h. Let m be -2 + 1/(h/(-32)). Is m less than x?
False
Let q = -13 + 16. Let i be 1/(8/66*3). Is i greater than q?
False
Let y = -827/3 + 275. Which is greater: -327 or y?
y
Suppose -144 = 6*x - 2*x. Let u be (1 + -2 + 21)*x/(-10). Which is bigger: u or 71?
u
Let y(a) = 2*a**2 + 12*a + 2. Let i be y(-6). Suppose -i*l + 24 = 16. Which is smaller: 19/6 or l?
19/6
Suppose -5*z - c = -24, 2*c = -3*z + 3*c + 8. Let v be z/120*(14/10 - 2). Is v > 0?
False
Let f be 0/32*2/4*-1. Which is smaller: f or 13?
f
Let h = 847 + -847.2. Does h = -40?
False
Let h = -232 - -233. Which is greater: 26/21 or h?
26/21
Let d = -27 - -27. Let j(n) = n - 3. Let f be j(d). Let a be (-14)/f*24/(-8). Which is smaller: -15 or a?
-15
Suppose 6*h - 18 + 162 = 0. Is -174/7 bigger than h?
False
Suppose 0 = 6*l + 384 + 4638. Which is greater: -838 or l?
l
Let i be (5/(-1))/((-37)/36 - -1). Let a be (i/(-175) + 1)*3. Which is greater: 1 or a?
1
Let c = 3.289 - 0.289. Which is greater: c or 10/29?
c
Let j = -9 + -78. Let x be (j/(-12))/((-4)/16). Let c = 32 + x. Is c less than 3?
False
Let i = -15873/14260 + 154/155. Which is bigger: i or -1?
i
Let p be (1 + 2 + -2)*2. Let a be (0 + (1 - 1))/p. Let g be ((-3 - -3) + a)*-1. Is g not equal to -1/4?
True
Suppose -14*t = -437 - 977. Which is smaller: t or 99?
99
Suppose -5*q = 55 - 130. Which is smaller: q or 46/3?
q
Suppose 3*k = -1 + 4. Suppose -2*d = -i - 3, -5*d + 4*i - k = -16. Let r be 4*d + 8 + -6. Is -2 bigger than r?
False
Let t be (-16)/40 - (2014/5740 - 1). Let s be (-4)/10 + 537/1230. Let k = t + s. Is k > -3?
True
Let t = -2 + 3. Let d(x) = -x**2 - 6*x. Let l be d(-6). Suppose -w = -l*w. Are w and t nonequal?
True
Let i be (2/(-142))/(2/(-4)). Let k = -392 + 393. Is i less than k?
True
Suppose -k + 16 = -3*k - 4*z, 0 = -5*k - z - 13. Let n(y) be the third derivative of y**4/6 - y**3/6 + 3*y**2. Let r be n(k). Do r and -9 have different values?
False
Let d(a) = -a**3 + 6*a**2 + 4*a - 20. Let z be d(6). Suppose z*s = 4 - 56. Is -12 at least s?
True
Suppose -5*l + 4 = -4*f + 2, 5*l - 3*f + 1 = 0. Let r be l/(-8)*(-195)/13. Which is greater: r or -3?
-3
Let c(h) = -26*h + 5. Let k be c(-4). Suppose 6*r + 85 = r + 5*g, 5*r = -g - k. Let x be 3 - (-36)/r - 3. Which is greater: -3 or x?
x
Suppose -893*a + 881*a = -7224. Which is bigger: 604 or a?
604
Suppose 5*s = 1 + 9. Suppose 3*x - 2 = 2*r - 6*r, 14 = 3*x + r. Suppose x*k - 20 = k. Are k and s unequal?
True
Let d(u) = -8*u + 53. Let n be d(8). Which is smaller: -0.3 or n?
n
Suppose -m = -4*m - 30. Let c = m + 15. Suppose -c*o - 5*k - 1 = -4*k, -3*o = 5*k - 17. Is -0.1 at least as big as o?
True
Let u = 332 - 338. Which is smaller: u or 0.29?
u
Let i(s) = 3*s + 42. Let d be i(-14). Let u be (-2)/(-53)*9/12. Let a = -147/424 - u. Do d and a have different values?
True
Let q = 23.35 - 23. Let x = q - 0.15. Which is greater: x or 1?
1
Let n = -0.07 - -2.07. Let h = 1.4 - n. Let t = h + 0.1. Is 0.2 greater than t?
True
Let p be (10/6)/((-4)/60). Let y = p + 18. Is -5 smaller than y?
False
Let r = 25 - 76/3. Suppose 3*l + 11 = 2*a + 2, l - a + 4 = 0. Which is bigger: r or l?
r
Suppose -9*t - 504 = -4*g - 4*t, 630 = 5*g + t. Is g less than or equal to 124?
False
Let g(x) = -2*x + 43. Suppose -2*t + 3*l - 1 = -16, 4*t - 41 = -5*l. Let p be g(t). Do 1/4 and p have the same value?
False
Let h = 375 - 373. Which is smaller: h or -4.7?
-4.7
Let g = 10 + -3. Suppose 0 = -5*p + g*p. Let i = -2/61 - 57/122. Which is greater: p or i?
p
Let c = 555 + -355. Is 199 bigger than c?
False
Let c be (99/(-22))/(3/(-16)). Let g = c - 38. Which is greater: -13 or g?
-13
Let r be (-3)/9 - 8/(-33). Suppose -20 + 41 = -p. Let j = 21 + p. Which is smaller: j or r?
r
Let k = -3 + 4. Let p be -1 + -1 + 14 + -26. Let a be p/119 - (-54)/170. Which is bigger: a or k?
k
Suppose 0*f - 12*f = 60. Let g be f/(-3) - 1 - 116/(-18). Is g bigger than 6?
True
Suppose 4*h - 24 = 4*t, 6*t - 3*t + 9 = 0. Are 57 and h nonequal?
True
Let j(g) = g + 13. Let p be j(-13). Suppose -k - k - 7 = t, p = -3*k - t - 9. Let m(w) = w**3 + w**2 - 3*w - 1. Let i be m(k). Are 3/8 and i non-equal?
True
Suppose 0 = 87*w - 80*w + 2688. Is -384 less than w?
False
Suppose -4*g - 2*x = -6, 4*g + 5*x - 23 = 2*g. Let u be (g - (-14)/10)/((-54)/90). Let p(w) = w**2 - 3. Let b be p(-3). Do b and u have the same value?
False
Let w(c) = -2*c**3 - 4*c**2 + 5*c - 8. Let h be w(-5). Which is greater: 114 or h?
h
Let l = -68 - -33. Let n = l - -106/3. Is n >= 2/79?
True
Let n be ((-1)/1)/(2/(-4)). Let r be (0 - 0/1)/n. Let l = 821/2418 - 5/806. Is r bigger than l?
False
Let h = 2407/41674 + -11/311. Which is greater: 1 or h?
1
Let m = -160 + 94. Let z = m - -66.33. Let u = z - -0.17. Which is smaller: u or 0?
0
Suppose 3*x - 7*x = -8. Let k(p) = -1 + 0*p - 10*p**2 - p + 11*p**2. Let n be k(x). Is -5 less than n?
True
Let i = 10 + 8. Let d = 30 - i. Suppose -d = -2*u - 0. Which is smaller: u or 7?
u
Let j = -2322 - -317. Is -2006 greater than or equal to j?
False
Let d = 54 + -44. Suppose 4*y - 5*s + 3*s = -d, 4*s = 2*y - 10. Which is greater: 2 or y?
2
Let h = 443/40 - 16803/1640. Is h equal to 2?
False
Let t = -0.277 + 0.277. Which is bigger: t or 15?
15
Let o = 2602 + -23450/9. Which is greater: -2/11 or o?
-2/11
Let b be (-8)/6 - (-10)/3. Suppose 19 = b*n + 1. Let t be ((-6)/105)/((-1)/(-5)). Is t less than or equal to n?
True
Suppose -14*a + 16*a = 4. Suppose -4*s - 3 = -4*l - 19, 4*s - a*l - 6 = 0. Is s greater than or equal to 2/95?
False
Let d(y) = y**3 - 36*y**2 + 115. Let j be d(36). Is j less than 115?
False
Let m be (1*(-3)/(-9))/(-1). Let h be (-70)/400 + (-3)/15. Which is greater: h or m?
m
Suppose -h - 82 = h - 5*c, c + 205 = -5*h. Let u = -48 - h. Let d(x) = -6*x**2 + x. Let n be d(-1). Are u and n unequal?
False
Let l(g) = -g**3 + 18*g**2 - 21*g + 60. Let b be l(17). Suppose -4*t + 9 = -7. Suppose 47 = -5*n + 2*o, -t*o + 14 = 3*n + 37. Which is smaller: n or b?
n
Let o = 122.3 + -118.3. Do o and 73 have the same value?
False
Let l(a) = 2*a**2 + 60*a + 58. Let d be l(-29). Which is bigger: -39 or d?
d
Let j = -127447/97727 + -1/4249. Which is smaller: j or -1?
j
Let w = -3 - 9. Let l = w + 11.95. Is l <= 2/5?
True
Let g be 6/(-10) - 52/130. Which is greater: g or 0?
0
Let x = 3 + -1. Suppose 47 = -4*t - s - 3, x*s - 44 = 4*t. Let i be (12/16)/((-3)/t). Which is bigger: i or 1?
i
Let p = -14.25 - -14. Let n = p + 0.05. Let j = n + -0.8. Which is bigger: j or 0.03?
0.03
Let u = 20 - 32. Let a = -12 - u. Do a and -1/25 have different values?
True
Suppose -5*r = -5, -3*o + 0*o - 2*r + 2 = 0. Let a be (-11)/((-77)/273)*(2 - 0). Let v be 7/((-189)/6) - a/378. Which is smaller: o or v?
v
Suppose -7*i = -3 - 25. Suppose i*v + 3 = v. Let f = 763/12 - 127/2. Which is smaller: f or v?
v
Let u = 0.3 - 0.2. Let h = 2093 + -41859/20. Which is smaller: u or h?
h
Let a = -2.4 + -10.6. Do 2 and a have different values?
True
Suppose f = u - 2, -u = 5*f - 11 - 3. Suppose -2*n = 3*n, 5*k + 3*n - 40 = 0. Suppose k*l = u*l. Which is greater: l or -3?
l
Let r(v) = v**3 - 6*v**2 + 7*v - 6. Let z be r(5). Suppose -z = -3*s - 7. Let y be (1 + s)/(-2 - -1). Which is bigger: y or 2/25?
2/25
Suppose 6*l - 11 = 19. Suppose 5*v + 2*z - 3*z = 217, -4*z + 232 = l*v. Is v greater than 44?
False
Let t be (6 + (-30)/5)*2/4. Is t less than -1/30?
False
Let g = -1.1 + 1. Let i = 0.1 - g. Let d = 46 + -48. Do d and i have different values?
True
Let w = -2409 + 1311. Are w and -1098 unequal?
False
Suppose -22 = -5*w + 3*u, 0*u - 27 = -5*w - 2*u. Let t = w - 16. Let v be (-10)/55 + (-2)/t. Which is smaller: v or 4/7?
v
Let f be -249*(539/273 - 2). Is 5 at most as big as f?
True
Let b = 65 + -64.51. Let i = b - -21.51. Which is greater: 0 or i?
i
Let v be (2 - 1)/(10/40). Suppose -v*y + 2 = 2*k, -2*k + 5 + 5 = -4*y. Let c be (2/(-10))/((-2)/(-5)). Which is greater: c or y?
c
Let n = -215 - -215.02. Is n less than or equal to -1/9?
False
Let o = 4288179 - 1710984304/399. Let n = -4/57 - o. Is n greater than 1?
True