
Let t = -203 - -1027/5. Let r = 0 - 0.1. Is r at most t?
True
Let y = 11 + -9. Let s = 241943/30 - 8064. Let t = -1/6 + s. Which is bigger: y or t?
y
Let m = 3 + -1. Let j be (-72)/(-15) - (-12)/(-15). Suppose -f + 2*y + 10 = j*f, -f - 10 = 2*y. Are m and f nonequal?
True
Suppose -5*s - 27 = 13. Let t = s + -18. Are t and -26 non-equal?
False
Suppose 4*q = -r + 266, -5*q + 1375 = 2*r + 3*r. Let d = 5288/19 - r. Suppose 34*j = -j - 35. Which is greater: d or j?
d
Let f be (-3)/2*(-10 + 10/(-5)). Let c be 392/(-570) - (-5 - (-78)/f). Are 0 and c nonequal?
True
Let z be (-6)/(-4)*8/12. Let f be -1*1/4 - 9/(-52). Which is smaller: z or f?
f
Let o = 30 + -27. Let y(i) = -i**2. Let q be y(1). Let c(k) = -3*k**2 - 2*k - 1. Let j be c(q). Is j bigger than o?
False
Let p(x) = -x + 4. Let z be p(-5). Which is smaller: -10 or z?
-10
Let h = 13/3 + -11/2. Suppose 3*i + 2*i = -5*i. Is h equal to i?
False
Let y(n) = -n + 3*n**3 - 11*n**3 + 6*n**3. Let d be y(1). Let k be (-1 - -1)*(-1)/2. Is k less than or equal to d?
False
Let j = 993/9646 + -5/182. Which is smaller: j or -1/4?
-1/4
Let m(r) = -r + 1. Let x be m(3). Let b be x + 0 - -2*4. Let a(o) = 2*o - 5. Let l be a(b). Is 2 at most l?
True
Let x = -110.0335 - -110. Let l = x - 3.6765. Let a = -0.29 + l. Is a less than or equal to 0.1?
True
Suppose 6*g - 9 - 21 = 0. Suppose h - g = -2*c, 2*h - 5*h = -3. Let s be 1*4 - (2 + -1). Which is smaller: s or c?
c
Let j = -610.1 - -585. Let y = j - -25. Let z = 0.79 - -0.01. Is y > z?
False
Let n be (8/16)/(-3 - (-594)/196). Let v = -119/6 + n. Suppose b + 4*d + 5 = -20, -3*b + 5*d = -10. Which is bigger: v or b?
v
Let r be ((-245)/2)/(-7)*8/680. Which is bigger: -1 or r?
r
Suppose 4*c - c - 12 = -2*u, 0 = -c. Which is smaller: 8 or u?
u
Let b(g) = -2*g**2 - 117*g - 168. Let i be b(-57). Which is smaller: 28/9 or i?
i
Let v be 2/(-17) - (2 + (-6254)/(-17)). Which is smaller: v or -369?
v
Let r(k) = 9*k - 58. Let a be r(6). Are -24/7 and a equal?
False
Let j = -2.0183 - -0.2183. Which is smaller: j or -6?
-6
Suppose -3*s = 5*v + 742, v = -0*s - 5*s - 1200. Which is smaller: -237 or s?
s
Let d be ((-17)/3 + -5)/(2/(-3)). Suppose d - 6 = -5*l. Is l != -4?
True
Suppose f = -k - 203, -3*f - 2*k - 1015 = 2*f. Let d be f/(-315) + 2/(-3). Let r = 2/9 + d. Which is bigger: 2 or r?
2
Let x = -281 - -288. Which is bigger: 33/5 or x?
x
Let h = -25 - -73. Suppose 252 = 4*s + h. Suppose r + 5 = 0, -4*t = 3*r - 0*r + s. Which is smaller: t or -8?
t
Let q be 1 - (-34)/(-30) - 54606/(-193995). Let a = 1 + -1. Which is smaller: a or q?
a
Let m = 37 + -29. Suppose -54 = -m*s - 22. Let n be (-2 - 0)*5/(-2). Are n and s equal?
False
Let c(x) = 3*x + 32. Let g(j) = -5*j - 63. Let m(h) = 11*c(h) + 6*g(h). Let t(b) = b. Let p(l) = m(l) - 2*t(l). Let d be p(12). Is d at least -14?
True
Let q be (-4)/(-36) + 410/(-45). Let c = q - -12. Is 3 at least c?
True
Let j be ((-6)/(-28))/((-33)/1496). Let k = j - -1979/203. Let m = 69/319 - k. Are m and -1 nonequal?
True
Let g = 717840202217122979/13653648 + -2786473669974/53. Let p = g - -1/28624. Let v = p - 5794/63. Is v not equal to -1?
True
Let q = -7.94 + -0.06. Let p = -89.6 + 86.6. Which is smaller: q or p?
q
Let a(b) = -2*b + 28. Let d be a(11). Let k be (d/25)/((-14)/(-10)). Do -1 and k have the same value?
False
Suppose -5*o = -2*j + 23, -3*j + o = -8*j + 17. Suppose 2*w + 5*g = 8*g - 9, -g = -j*w - 23. Which is smaller: w or -5?
w
Suppose 2*b + b - p - 264 = 0, b = -4*p + 75. Let s be b/232*8/(-6). Let h = -2 + 2.2. Is s != h?
True
Let n = 563 - 311. Let f = n + -479/2. Which is smaller: f or 12?
12
Suppose 2*g - 11 - 5 = -5*f, 9 = -3*f + 5*g. Suppose -2 = -2*r + f. Suppose -2*y = r - 4. Which is smaller: y or 1/4?
1/4
Let o = -53 + 55. Suppose 5*h - 3 = -3*l + 10, o*h - 8 = -4*l. Which is greater: -1/111 or l?
l
Let w = 73 - 65. Let f(n) = 11*n - 61. Let o be f(w). Is -1 >= o?
False
Let o be (300/36 - 8) + 1/(-3). Which is smaller: -4/161 or o?
-4/161
Let l = 0.72 + 1.28. Let i = -17 - l. Is i greater than 0.1?
False
Suppose -49 - 95 = -4*g. Let z = -36 + g. Which is greater: -1/2 or z?
z
Suppose -2*i = 4, -5*z - 2*i = -z - 88. Suppose z = 5*a - 2. Suppose h = 5*o + 38 + 2, a*h = 0. Is -8 bigger than o?
False
Let z = 13 - 13.6. Let h = -6.6 - -7. Let q = z - h. Which is smaller: -10 or q?
-10
Let v be (-3 + (-102)/(-33))/(22/(-4)). Is v smaller than -1?
False
Let j = 41.8 + -41.9. Do 2/139 and j have the same value?
False
Suppose 2*q = 1 + 7. Suppose -3 = 3*r - x - 15, x - 23 = -q*r. Suppose h + 3*h - 41 = -3*w, h - r = w. Which is bigger: h or 2/5?
h
Let i(a) = a**3 + 7*a**2 + 7*a + 6. Let x be -3 - (-4 - -1) - -68. Let g be x/(-11) + (-2)/(-11). Let v be i(g). Is v not equal to -2?
True
Suppose -3 = -4*p - 15, -30 = -3*q - 4*p. Suppose 104 = o - 5*o. Let g be (-14)/7 - o/q. Which is greater: g or -1?
g
Let p = 25 - 22.4. Let b = p + 6.4. Is 0 less than b?
True
Let z = 44 + 26. Which is smaller: z or 343/5?
343/5
Suppose -l - 2*f = -196, -331 + 941 = 3*l - 5*f. Suppose -l = -13*w - 746. Is w equal to -40?
False
Let a = -24 - -50. Let p = a + -25. Is 7 less than p?
False
Let q = 0.0007 + 63.9993. Is q not equal to 1.5?
True
Let i(a) = -a**2 - 11*a + 25. Let m be i(-13). Which is smaller: m or -2/461?
m
Suppose -5*r = 15, 4*r = -l + 3*r - 43. Let p be (-1)/4 - l/288. Let u = 2 - 3. Is u less than or equal to p?
True
Let v be ((-38)/(-8))/((-4)/(-32)). Let h be -1 + ((-34)/v - -2). Let r = -1/17 - -39/85. Is h less than or equal to r?
True
Suppose 5*s = -3*q - 0*q + 91, -5*q - 3*s + 173 = 0. Let b = -14 - q. Is b greater than -50?
False
Suppose -28*n - 15461 = 25615. Is -1466 not equal to n?
True
Let p be (218/(-62) + 3)/(2 + -4). Is p smaller than -1?
False
Let l be 179*(-8)/(-724) + -2. Let n = -849/2534 + l. Is -1 at most as big as n?
True
Let p be 2/4*(-56)/12*-282. Is p at least 658?
True
Let b = -583 - -4091/7. Let k = 10 - 3.3. Let h = k - 6.8. Is b greater than h?
True
Let u = -3.62 + 1.62. Which is smaller: u or 0.22?
u
Suppose 0 = -2*l - 0*l + 32. Suppose 4*j = -5*r + l, 0 = 3*r + 9 - 21. Is j less than -3/16?
True
Let y be 3/2 + 39/(-42). Let u = 17 + -19. Do u and y have different values?
True
Let k(i) = 2*i - 1. Let f be k(-7). Let o(z) = 2*z**3 - 17*z**2 - 6*z - 12. Let n be o(9). Let v be (10/n)/(2/f). Which is bigger: v or 2?
2
Let p = -33.03 - -0.03. Let x = 29 + p. Which is smaller: x or -9?
-9
Let p = 331 - 328.97. Let j = p - 0.03. Let b = -8 + j. Which is bigger: b or 3?
3
Suppose 0 = -21*f - 1863 + 498. Is -2/7 < f?
False
Let x be ((-64)/(-10))/(6/(-60)*1). Which is smaller: -65 or x?
-65
Suppose -4*a + 104 = -3*p, 2*a - 3*a + 145 = -5*p. Which is bigger: 0 or p?
0
Let o be ((-2)/(-4))/(7/(-6)). Suppose 36 = -0*w + 4*w. Let b be w/(-15) + 6/(-15). Which is smaller: o or b?
b
Suppose -11*v - 444 = 62. Let j be ((0 - 0) + 11/22)*v. Is j less than or equal to -24?
False
Let q(z) = z**2 + 6*z + 10. Let h be q(-2). Which is smaller: 36/19 or h?
36/19
Suppose 6*g - 8*g = 6. Let l = -5 - -3.7. Let w = -1.2 - l. Which is bigger: g or w?
w
Let r = -6/937 - 6319/37480. Is 1 at most r?
False
Suppose 4*d - 3*d = -1. Let w = -52/3 + 17. Which is smaller: d or w?
d
Let l be 16/70 + (-21)/49. Let a(v) = v**2 - 6*v - 6. Suppose 3*m + 2 = -3*r + 35, -m + 25 = 3*r. Let p be a(r). Is p greater than or equal to l?
True
Let j be (-66)/88 + 1 + (-3)/12. Does j = 1/406?
False
Let i = 155899/57 - 2735. Which is greater: i or -1?
i
Suppose 0 = 3*u + 3*r - 18, 10 = 3*r + 4. Let b be (4 - (-14)/(-4))*u. Which is greater: b or 9?
9
Suppose 0 = -5*v - 0*v - 50. Which is bigger: v or -12?
v
Let r = -250 - -449. Which is greater: -2 or r?
r
Let m = 2935/22149 + -2/963. Let v = m - -48/161. Which is smaller: v or -1?
-1
Let q(h) = -h**3 - 2*h**2 + h. Let g be q(-3). Let a(r) = -2*r + 11. Let s be a(g). Let j be (-4)/3*1/22. Which is smaller: s or j?
s
Let i be (-3)/(-32)*11 - 1. Suppose -2*f - 4 = -2*z + 4, -f - 13 = -4*z. Which is smaller: f or i?
f
Let d be 40/10 - (0 - -1). Suppose 0 = -d*g + 6*g - 18. Let u = 363/82 + 3/41. Which is smaller: g or u?
u
Let q(v) = -v**2 + 18*v - 14. Let c be q(17). Which is smaller: c or 2?
2
Let c(m) = m**2 + 6*m + 7. Let z be c(-5). Let u = 4 - z. Suppose -s + u = s. Do s and -2 have different values?
