ue
Let c = 243 - 7291/30. Let f = -1 + 2. Which is greater: f or c?
f
Let w(n) = 37*n - 46. Let f be w(5). Let j = f - 140. Which is smaller: j or -3/61?
j
Let n(i) = 3*i**2 + 7*i + 14. Let t be n(-6). Let c = 86 - t. Which is smaller: c or 23/4?
23/4
Suppose -2*k + 4 = 0, -5*z + 7*k + 802 = 3*k. Suppose -4*f + 3*m - z = 0, -3*f = 5*m + 13 + 123. Are -42 and f unequal?
False
Let v = -293 - -292.78. Which is smaller: v or 5?
v
Suppose -m = 2*m - 15. Let v be -6*m/(-7 + 2). Suppose -v*r = -7*r. Which is smaller: 2 or r?
r
Let i be (1 - 7/2)*-2. Let r be (-10)/i - (1 - 3). Let n be r + -1 + 30/36. Is n <= -1?
False
Let m(d) = d**2 + 3*d - 2. Let b be m(-5). Let f be (14/(-7) + 3)/((-3)/18*-2). Which is smaller: f or b?
f
Let q = 1609 - 1648.81. Let z = q - -40. Which is bigger: z or 1/5?
1/5
Let t(x) = x**2 + 25*x - 12. Let n be t(0). Suppose -2*u - 2 - 2 = 0, -3*u + 56 = -2*a. Let o = a - -19. Is o != n?
False
Let y be 18/8*(-4 + 276/9). Let a be (-24)/6 - (-238)/y. Which is smaller: 1 or a?
a
Let v(m) = -13 - 2*m + 3*m + 2. Let f be (-2)/3 - (-28)/6. Let t be v(f). Which is smaller: t or -8?
-8
Suppose 5*a + 2 = 4*v - 2*v, a + 6 = -v. Let d be (-30)/9*3/a. Which is bigger: 16/3 or d?
16/3
Let y = 0 - -0.6. Let t = 241.8 + -242. Which is smaller: t or y?
t
Suppose -y - 5*k + 55 = 0, 5*y + 111 - 432 = -2*k. Which is bigger: y or 10?
y
Suppose 3*n = -n + 4. Let c be (-224)/(-1615) + 2*4/(-68). Does n = c?
False
Let t(v) = 28*v**3 + 2*v - 8. Let f be t(2). Which is smaller: 1093/5 or f?
1093/5
Let n(l) = 7*l**2 + l. Let s = -7 + 6. Let o be n(s). Suppose o*u = 2*h + 5*u + 6, u = h + 3. Which is smaller: h or -5/3?
h
Let a(t) = -t**2 + 7*t - 10. Let y be a(6). Let h(n) = n + 1. Let j be h(-5). Is j bigger than y?
False
Let h = 1097 + -2657. Let r = h - -1589.93. Let s = r + -30. Which is smaller: s or 3?
s
Let h(s) = 2*s**3 + 2*s**2 + 7*s - 9. Let u be h(4). Is 182 at least as big as u?
True
Let a = -2.7 - 3.4. Let n = 1.9 - a. Let j be (-2)/6*3*1. Is j smaller than n?
True
Let n(d) = -d**2 - 28*d + 94. Let w be n(-31). Which is greater: 38/33 or w?
38/33
Let z be 0 + 2/(-6) - 4/60. Let c = -1 + -11. Which is smaller: c or z?
c
Let s be (6/16)/(78/8). Which is smaller: s or 1?
s
Let j be ((-459)/21)/(1/9). Let i = j + 197. Which is greater: 1 or i?
1
Let z = -2 + 5. Suppose 2*d - 5*b = 10, 2*d - 8 = z*b + b. Let g = -787/7 + 112. Are g and d unequal?
True
Suppose -3*m - m = h - 19, 4*h + 4*m = 28. Is h greater than or equal to 3?
True
Let j = 14 + -9. Suppose -2*b - 21 = 3*o, 3*o + 2 - 44 = j*b. Let n = b + 9. Which is bigger: n or 8/13?
8/13
Let j be (2 + -1)*(8 + 15/(-2)). Let a be 0 + -1 + -6 + 0. Let n(f) = -f**2 - 6*f + 9. Let o be n(a). Does o = j?
False
Let t = -1.095 - -0.63. Let z = -0.135 + t. Which is greater: z or 4?
4
Let u(i) = -12*i + 4. Let x(l) = -l + 1. Let t(o) = -u(o) + 16*x(o). Let m be t(4). Let n be ((-63)/(-392))/(3/m). Is n <= 0?
True
Let n = -15 + 3. Let s = 18 + n. Let m = 0.8 - 1. Which is greater: m or s?
s
Let b be ((-9)/(-15))/(2/50). Let a = b + -14. Which is smaller: a or -1/7?
-1/7
Let m = -133/3 + 48. Let u = -12.2 - -12. Are u and m equal?
False
Let x(l) = -10*l - 35. Let h be x(-6). Suppose t = -3*j - 11 - 4, -5*j = 2*t + h. Is t greater than 3/44?
False
Let q = -22 + 33. Let m be (119/35 - -3) + (-2)/5. Let i = q - m. Which is greater: 2 or i?
i
Let i be 9/((-27)/(-115)) - (-4)/6. Suppose 3*l - 2*w - w + i = 0, -5*l - 65 = 2*w. Is l bigger than -13?
False
Let v be (-48447)/56 + 10/80. Which is smaller: -863 or v?
v
Let k be 130/104*(-3)/(-15). Does 0 = k?
False
Let i = 17 - 15. Let q = 0 - i. Let l be q/(-6) + (-65)/15. Is -5 not equal to l?
True
Let v(l) = -l. Let g be v(4). Let u be (-80)/13 - g/26. Let d be u/36*(-1 + 21). Is -4 greater than d?
False
Let t be ((-3)/8)/(9/(-6)). Suppose 2*z + 0*z - 4*f - 2 = 0, 5*f + 5 = 3*z. Suppose 0 = 3*c + 9, -2*g - z*c = g + 15. Which is greater: g or t?
t
Suppose 89*q = 94*q - 145. Is q equal to 24?
False
Let y = -26/19 - 1006/209. Is -6 <= y?
False
Let h(m) = -4*m**2 - m**2 + 12*m**2. Suppose -2*i + 8 = -2*a, i - 2*a - 3 = 4*i. Let o be h(i). Is 6 at most as big as o?
True
Let p be (-78)/27 - (-1 - 1). Let f be (0 + 0/(-8))/(-1 + -1). Suppose f = 10*s + 10. Which is greater: s or p?
p
Let r = -1214/3 + 405. Let b = 19 - 29. Is b greater than or equal to r?
False
Let o be (2211/(-5225))/(5/3). Let l = 12/125 + o. Is 1 at least as big as l?
True
Let r(i) = -2*i**3 - 47*i**2 - 106*i + 1. Let j be r(-21). Which is smaller: 21 or j?
21
Let a = 17 + -355/21. Let u(q) = q**2 + q - 4. Let n be u(-3). Suppose n*i - 6 = -4*i. Do a and i have the same value?
False
Let c be (-2 - 7 - -10)*541/(-2). Which is smaller: c or -272?
-272
Suppose -5*j - 20 = 0, -4*j = z + 24 - 8. Suppose 5*w + 15 = z, 0 = -0*x - x - 3*w - 9. Let u = 33/20 - 9/4. Which is smaller: x or u?
u
Let a be ((-32)/(-20))/(-1 + 7/5). Let p be (-7)/(-2) - 2/4. Is p at most as big as a?
True
Let h = 868 - 879. Are h and 1/6 non-equal?
True
Suppose 44 = -17*x - 279. Is -101/5 greater than or equal to x?
False
Let h = 15 + -7. Let y be 34/40 - 2/h. Let a(d) = -19*d - 17. Let x be a(-1). Which is bigger: x or y?
x
Suppose -o = -2*o - 1. Let i(w) = 15*w + 17. Let m(y) = 7*y + 9. Let t(k) = -6*i(k) + 13*m(k). Let s be t(-16). Is s bigger than o?
False
Let q(h) be the third derivative of 1/30*h**5 - 3*h**2 + 0*h + 0 - 1/12*h**4 + 1/120*h**6 - 1/3*h**3. Let t be q(-2). Which is bigger: 3/5 or t?
t
Let r be 102/17*(-1 - 4/(-3)). Suppose -4*c + r*c + 62 = 0. Which is smaller: c or 30?
30
Let l(q) = q**3 - q**2 - 3*q + 4. Let i = 15 + -15. Suppose -2*p + 4*g - 16 = i, -2*p - 26 = -5*p - 4*g. Let j be l(p). Which is smaller: j or 3/2?
3/2
Let o = 33 + -20. Let u = 23 - o. Let a = 3022/3 - 1007. Is u greater than a?
True
Let j = 24 + -17. Let c be 9 + -2 - (1 - 3). Let a = 15 - c. Which is bigger: a or j?
j
Let r be (-1)/2*-2 + 1. Suppose -i - r*i = 9. Let t be 5/(-85) + 250/(-85). Are t and i equal?
True
Let s = 553 + -822. Which is smaller: -809/3 or s?
-809/3
Suppose 0 = -10*m + 2*m - 1544. Which is bigger: -191 or m?
-191
Let h be (2/3)/(4/18*1). Suppose -3*u - 5*y = -15, -h*u + 2*u - y = -7. Is 2/5 less than u?
True
Suppose 0 = -19*k + 72 - 471. Which is greater: k or -15?
-15
Suppose v + 115 - 8 = -2*c, -3 = 3*v. Let j = c + 34. Which is smaller: j or -20?
-20
Let b(z) = -5*z - 6. Let l(v) = -5*v - 5. Let n(q) = 3*b(q) - 4*l(q). Let o be n(9). Is o greater than 45?
True
Let h(o) = o**2 + 28*o - 164. Let l be h(5). Which is smaller: l or -13/98?
-13/98
Let z = -11878336/2205 - -5387. Which is bigger: z or -1?
z
Let x = 127 + -84. Let d = 45 - x. Is 8 bigger than d?
True
Let n = 417 + -413. Which is greater: 48/11 or n?
48/11
Let h be 46224/(-180)*(-15)/(-6). Which is smaller: -641 or h?
h
Suppose -5*g + x - 4 - 5 = 0, -g - 4*x + 15 = 0. Let l be ((-1)/(3/21))/g. Suppose 0 = 8*d - l - 1. Which is greater: 5 or d?
5
Suppose 0 = 5*t + 4*x - 505, -219 = -2*t - 9*x + 4*x. Let o = 11651 - 11554. Is o <= t?
True
Suppose -4*m + 2*w - 104 = 0, 5*w = -6*m + 4*m - 52. Suppose 450 = -12*t - 6*t. Is t less than m?
False
Let j(u) = -u - 4. Let h be j(-6). Suppose 90 = -2*p + 2*v, 2*p = -v - h*v - 115. Let l be p/56 + 4/(-16). Which is smaller: l or 0?
l
Let o = -10899/9070 - -3/1814. Is o at least as big as 4.7?
False
Suppose -3*p + 54 = -4*m + 169, 116 = -4*p - 4*m. Is p at least -28?
False
Suppose -8 - 1 = -9*t. Let b be t/30*5 + (-4)/6. Is b < -14/9?
False
Suppose -1 = 3*a - 4. Let x = 29471/25 - 820129/600. Let b = x + 188. Which is smaller: b or a?
b
Suppose 3*v - 305 = 2*a, 8*v = 4*a + 10*v + 602. Is a smaller than -457/3?
False
Let m = 9 - 9. Let o be 9/15 - (-33)/(-105). Which is bigger: o or m?
o
Let a(f) = -158*f - 2. Let c be a(-1). Suppose c = 4*s + 448. Does -72 = s?
False
Suppose 82 = x + 83. Let m be x*(-16 + 0/(6 - 2)). Is 14 greater than m?
False
Let a = 125/4 + -31. Let t = -0.24 - -0.19. Which is greater: a or t?
a
Let s(c) = -c + 11. Let r be s(-6). Suppose 3*u - 6*d = -2*d - r, -3*d = -5*u - 10. Which is smaller: 2 or u?
u
Let t = -685 - -686. Is t > 1/680?
True
Let b be (-1 - 84/(-90))*30/288. Which is smaller: b or -1?
-1
Let o(l) = -3*l**2 + 21*l - 12. Suppose 27*h - 30*h = -24. Let b be o(h). Is -36 greater 