 4*v = -2 - 10. Let t = 15.0504 - 0.0504. Which is smaller: w or t?
w
Let v = -22 + 27. Let h(t) = 4*t - 2. Let o(d) = d. Let l(p) = -h(p) + 3*o(p). Let a be l(v). Which is greater: -5 or a?
a
Suppose 70 = -395*y + 409*y. Is 51 bigger than y?
True
Suppose 4*j - 1 = 3*j. Let m = 78 - 623/8. Is j equal to m?
False
Suppose 4 + 1 = 5*d. Let p be 123/(-423) + (-8)/(-24). Is d at most as big as p?
False
Let j be (-56)/98 - 282/(-518). Which is greater: 0 or j?
0
Let f = -2 + 1. Let t = -3448 + 3447.87. Is t greater than f?
True
Suppose -5*w + 4*b = 25, 0 = 3*w + 6*b - 11*b + 28. Let t be ((-2)/(-4))/(55/(-4)). Which is bigger: w or t?
t
Let a(l) = l**2 - 11*l + 12. Let s(q) = q - 1. Let o(r) = -a(r) - 6*s(r). Let j be o(3). Is j less than or equal to 0?
True
Suppose 0 = 557*z - 554*z - 1122. Which is smaller: 376 or z?
z
Suppose -80 = -2*z + 22*a - 21*a, 5*z - 186 = -a. Which is smaller: z or 1/5?
1/5
Let c be ((8 + -62)*28/6)/11. Which is smaller: -24 or c?
-24
Let z be ((-390)/65)/(1/8). Which is bigger: -22 or z?
-22
Let t = -23.4 + 23.3. Which is smaller: 133 or t?
t
Let a be (-4)/(-10) - (-10)/(-50)*-23. Suppose 2*t + 7 = q, -3*q + 0*t - 19 = 4*t. Which is greater: q or a?
a
Suppose 0 = -2*k - 7 + 25. Let l be (2/6)/(3/k). Which is greater: l or 3?
3
Let a(v) = -v + 6. Let z(g) = 4*g + 23. Let n be z(-3). Let b be a(n). Is b > -13/3?
False
Suppose -8*p - 92 = 100. Is -22 less than or equal to p?
False
Let x be (-8)/((-2)/(-1)) + 21. Suppose -2*p + 7 = 4*y + x, 5*p + 25 = -4*y. Which is smaller: y or -6/5?
-6/5
Let v = 0.05 + -7.05. Let n = -6 - v. Let z = 4268/7 - 611. Is z > n?
False
Let o be (102 + -99)/((-15)/(-93)). Suppose -3*v = 2*v - 100. Are o and v non-equal?
True
Let w = 4 - 12. Is w bigger than -8?
False
Let m = -1509 - -1504. Is m greater than or equal to 65/3?
False
Let d = -0.26 - -14.26. Let f = -15.38 + 0.38. Let b = f + d. Is 5 not equal to b?
True
Let m = 34 - 26. Let g(o) = o**2 - 16*o + 31. Let w be g(m). Is -34 less than w?
True
Let l = -15 - -19. Suppose 0 = 4*h + 4*x + 68, -5 = h + x + l*x. Let c be ((-10)/h)/((-5)/(-36)). Which is smaller: 4 or c?
c
Let o = 0 + 0. Suppose -20*n - 3 = -17*n. Let x be 20/5*n/(-7). Which is smaller: x or o?
o
Suppose -53*c = -55*c - 5*r + 10, 2 = r. Is -2/609 greater than or equal to c?
False
Let h = 154 + -146. Let x = -6972/5 - -1403. Is x smaller than h?
False
Let m = 267 - 127. Let x = -116 + m. Is x bigger than 26?
False
Let r be (-1)/(-3)*(-18)/(-14). Let s be 2/2*(-15 + 26). Let u = s - 11. Which is bigger: u or r?
r
Let s = 9.5 - 9.9. Which is bigger: s or 1?
1
Suppose -526 - 130 = 4*x. Let d = x - -164. Which is smaller: d or -54?
-54
Let o be (-12)/(-3) + (13 - 16). Which is bigger: -27/5 or o?
o
Let c(l) = 6*l. Let f(x) = 2*x. Let w(j) = -3*c(j) + 8*f(j). Let v be w(-6). Suppose g = 4*b - b, -g - 3*b = -v. Is g at most as big as 6?
True
Let g be (((-972)/(-40))/(-9))/((-24)/20). Suppose -5*r + 1 = -4. Does g = r?
False
Let t = 815 - 816. Which is bigger: 14 or t?
14
Let q(b) = -b**2 + 2*b + 64. Let u be q(10). Which is smaller: u or -59?
-59
Suppose -38 = 6*z - 4*z. Let c be (14/21)/(1/(-18)). Let d be (-18)/((c/(-4))/3). Is d smaller than z?
False
Let c = -69 - -112. Let a = 49 - c. Let d be (-3)/6 + (-5)/(-6). Is a > d?
True
Let w be ((-4)/(-35))/(268/(-670)). Is w > -2/1363?
False
Let c = -724 + 592. Which is greater: -131 or c?
-131
Let b = -612907516/285 + 2150548. Let r = b + 2/95. Let f be 4/(-10) - (1 + 13/5). Is f greater than r?
True
Let h(q) = -3*q - 9. Let f be h(-4). Let c(n) = n - 4*n + 4*n + f*n - 5. Let y be c(3). Is 8 at least as big as y?
True
Let g = -69 + 69.086. Let l = g + -0.386. Which is bigger: 0.09 or l?
0.09
Let c = -162/7 + 2643/77. Is 11 greater than c?
False
Let z be (38 - 28)/(5/2). Let b = -7 - -3. Let v be (-10)/b + 4/8. Is v at least z?
False
Suppose -11*y + 81 - 290 = 0. Which is greater: -20 or y?
y
Suppose -25 = -5*g, 49 = 3*a + g + 4*g. Suppose -a - 8 = z. Which is greater: z or -14?
-14
Suppose -4*m + 20 = -5*c, 49*c - 45*c + 5 = m. Let i be 2/7 + (-470)/28. Which is greater: c or i?
c
Suppose 0 = -4*a - 12, u + 48 = -u - 2*a. Let q be (-48)/28 + 6/u. Let h(v) = v**2 - v - 2. Let r be h(q). Does -1 = r?
False
Let r = 867 - 1189. Is r < 0.2?
True
Let y = -15 - -17. Let u(c) = -5*c + 10. Let n be u(y). Let m be (-8)/(-28) + (-74)/210. Is n < m?
False
Let w(d) = 3*d**2 - 32*d - 20. Let l be w(14). Is 122 less than l?
False
Let w(o) = -o**3 - 8*o**2 - 4*o - 27. Let b be w(-8). Suppose -d - 16 = b*a, -a = 6 - 2. Are 1/2 and d equal?
False
Let o be 2*((-267)/2 + -2) + 2. Let h = -2149/8 - o. Which is smaller: h or 0?
0
Let k be 50/(-575) + 25/23. Is 1.17 greater than k?
True
Let m = -76 + 182. Which is smaller: m or 1?
1
Let k(l) = -l**3 - 27*l**2 - 42*l - 132. Let f be k(-25). Do -332 and f have the same value?
True
Let c(i) = i - 6. Let m be c(6). Which is smaller: 1/439 or m?
m
Let a be ((-52)/1482)/((-2)/18). Which is smaller: 1 or a?
a
Let m = 66/1525 - 1/305. Which is greater: 0 or m?
m
Suppose 0 = 146*o - 148*o - 2814. Are o and -1407 equal?
True
Let t = 15605/1518 + -113/11. Which is greater: 0 or t?
t
Let q = 26057/45 + -579. Let l be (-3)/(-9)*-1*0. Are l and q non-equal?
True
Let u be 117*(98/21 - 4). Is 153/2 less than u?
True
Suppose 0 = -4*z - 12, 3*q - 23*z + 12 = -28*z. Let m be (-5)/(10/4) - -12. Suppose 5*y - 3 = 2*g + m, -y = -3*g. Are y and q nonequal?
True
Let v be (-2)/5 - (-116)/340. Let s(q) = q**3 - 2*q - 1. Let p be s(-1). Let b be (0/3)/(p - 2). Is b at least v?
True
Let o = 53 + -32. Let i = o - 20. Let w be 4/2 - 148/76. Is w less than or equal to i?
True
Let h = 1871 - 1869. Is h bigger than 427?
False
Let t = -2013144/533 + 3777. Is 0 greater than t?
True
Suppose 0 = -p - 4, 2*p = 2*k + 3*k - 1483. Is k <= 295?
True
Let f = -163/3 - -55. Suppose 2*t + 32 = 7*t + 4*s, -s = -4*t + 13. Suppose 0 = 23*r - 21*r - t. Which is greater: f or r?
r
Let b be 0 - ((-5997)/(-2970) - 2). Let a = -2/55 + b. Suppose 27*i = 24*i + 3. Which is greater: i or a?
i
Let r = -0.3 + 0.4. Let o(l) = 2*l**2 - 2*l. Let p be o(2). Suppose -n = -0*n - p*j - 13, -2*n = -2*j - 8. Which is smaller: n or r?
r
Suppose -3*k - 4*u + 11 = 0, 3*u = 2*k - 3 + 7. Is -6/385 < k?
True
Let s be ((-130)/14)/(68/119). Let a = s - -33/2. Let f(k) = 2*k + 2. Let g be f(-4). Which is greater: a or g?
a
Let i = -115 + 357. Which is smaller: i or 243?
i
Suppose -7*a = -6 + 27. Let l(u) = -11*u**2 + 9*u + 10. Let h(v) = -4*v**2 + 3*v + 3. Let y(s) = -8*h(s) + 3*l(s). Let q be y(5). Are q and a nonequal?
True
Let x(a) = -2*a**2 + 33*a - 8. Let j be x(16). Is 6 <= j?
True
Let r(y) = -2*y**3 + 4*y**2 - 6*y + 4. Let b be r(1). Is b at most 21/23?
True
Let g = 8 + -11. Let k be 0/(-4) + 2*5. Suppose k = -10*v - 10. Which is bigger: v or g?
v
Suppose 2*y = 4*y - 2*w - 6, 4*y = -5*w + 48. Suppose -4*q - c = 2*c + y, -q - 4*c - 5 = 0. Let h be (-180)/(-85) + (q - 1). Is -0.1 >= h?
False
Let i(v) = -9*v**2 - 4*v + 10. Let s(j) = 3*j**2 + j - 3. Let q(r) = 2*i(r) + 7*s(r). Let w be q(-1). Is w bigger than 20/11?
True
Let v(d) = d**2 - 13*d + 1. Let a be v(14). Let w = 18 - a. Which is smaller: 2 or w?
2
Let y be (-9)/((7 + -4)/6 - 2). Let a(q) = -q**2 + 41. Let v be a(y). Is v smaller than 15?
True
Let c be (3 - 78813/26538)*17890/105. Let j = -1/4423 - c. Is -4 > j?
True
Let o = 889796/41 + -21700. Which is greater: 1 or o?
o
Let n = -1030 - -1029.5. Which is bigger: 1.33 or n?
1.33
Let y(v) = -v - 8. Let h be y(4). Let n(o) = -o**3 + 6*o**2 - 2*o + 3. Let q be n(6). Is h at most as big as q?
True
Suppose -g + 3*y = -5*g + 1, 0 = -5*g + 2*y + 7. Which is greater: g or -6/13?
g
Let u = 280502/425 - 660. Let n = -864/2975 + u. Is 2/33 > n?
True
Suppose 5*t + 37 - 7 = 0. Let g be t/(-27) - 128/414. Suppose 0*f + f + 1 = 0. Is f smaller than g?
True
Let w = 244 + -215. Which is greater: w or 5?
w
Let w = -94 - -87. Let l = w - -96. Which is smaller: 88 or l?
88
Let p = 6/5 + -32/35. Is 140 smaller than p?
False
Let s be (-427)/18 + (-22)/(-99). Let z = -23 - s. Suppose 4*t - 8 = 2*q - 26, 6 = -2*q - 2*t. Which is bigger: q or z?
q
Let f be (-216)/(-1260)*15/9. Which is smaller: f or 0.025?
0.025
Let n(u) = -u**2 + 5*u + 1. Let d be n(4). Suppose k = -0*k + 16. Suppose -2*b +