
-4/429
Let x = -1858 + 1965. Which is smaller: x or -10?
-10
Let n(x) = 45*x - 166. Let a be n(10). Does a = 285?
False
Let x = 3 - -42. Let q = x - 45. Which is smaller: q or -4/11?
-4/11
Let z be ((-21)/63)/(1/18). Which is bigger: z or 0.19?
0.19
Let h(m) = -2*m + 14. Let w be h(12). Let a be 2/w + 4/10. Are -0.2 and a equal?
False
Let s(r) = 32*r**3 + r**2 + 4*r - 5. Let d be s(1). Suppose 33 = 2*v - 5*v. Let z be d/(-2)*v/154. Are -0.2 and z non-equal?
True
Let c = -6 - -3. Suppose -3*d + 12 = 3*a - 6*d, 5*a + 3*d = -20. Let g be (3 + a)*1/(-2). Which is smaller: g or c?
c
Let g be (-780)/2115*(-2 + 39/24). Are g and 0 equal?
False
Suppose 0 = 3*j + 13 - 22. Suppose 3*k + 9 = 4*s, 2*k + 10 - j = 3*s. Which is greater: k or 2/5?
k
Let r = -25.2 - -24. Let c = 0.2 + r. Which is bigger: c or -2/13?
-2/13
Suppose 395*h - 386*h = 144. Are h and 214/13 nonequal?
True
Let g = -81 + 60. Let l(b) = b**3 - 11*b**2 - b - 11. Let n be l(11). Which is smaller: g or n?
n
Let h = 13.07 + -13. Let m = h + 0. Let t = m + -0.07. Is 1 < t?
False
Let r(u) = 3*u - 8*u + 4*u. Let z = -4 - -3. Let f be r(z). Are 1 and f non-equal?
False
Let a(i) = 3*i**2 + 23*i - 19. Let t be a(-10). Suppose -11*p + t = 337. Is p bigger than -25?
False
Let f(j) = -1 - 3 + 3*j + 0. Let q be f(0). Suppose -11 = 2*c - 1, -c - 5 = -4*a. Which is greater: a or q?
a
Let p be (2 + -3)/(3/(-15)). Let s(o) = -o**2 + 6*o + 1. Let r be s(p). Suppose 0 = -3*j + 5*w - r, -4*j - 28 + 9 = -3*w. Which is smaller: -6 or j?
j
Let x(l) = -2*l - 38. Let k be x(-20). Suppose -k*u - 3*a - 3 = -9, -u + 4*a - 8 = 0. Which is smaller: u or 1/35?
u
Let k = -294394872424/545137595 - 2/10285615. Let j(o) = o + 540. Let p be j(0). Let m = k + p. Which is bigger: 1 or m?
1
Let i(q) = 5*q**2 + q. Let u be i(-1). Suppose -18 - 2 = -u*y, -4*y + 22 = -2*r. Let p be 17 + -16 + r + 0. Which is greater: p or 2?
2
Suppose 704*x = 706*x - 734. Is x bigger than 367?
False
Let m = -37.06 - -37. Let f = -118.06 + 114. Let r = f - m. Which is bigger: 1/4 or r?
1/4
Let s be (-124642)/13846 - (-9)/1. Which is greater: 1 or s?
1
Let s = -37/2030 - -11/58. Let a = s + -88/105. Let h = -2.98 + -0.02. Is a less than h?
False
Let b = 1335 - 65417/49. Let d(r) = -8*r - 32. Suppose -4*k + 7 = 23. Let c be d(k). Which is smaller: b or c?
b
Let t = -2164 + 1778. Which is smaller: t or -3?
t
Suppose 62 = -4*g - 106. Let t = -41 - g. Let d = -1/29 - -265/116. Which is bigger: t or d?
d
Let o = 9089237/2394 + -72222/19. Let p = o + -1/63. Is -6 less than or equal to p?
True
Let c = -90 - -154. Let x = 99 - c. Which is smaller: x or -1?
-1
Let j(z) = z**2 + 27*z + 33. Let i be j(-24). Let r = i + 194/5. Is -1 less than or equal to r?
True
Let l = 0.0574 + 0.0456. Which is smaller: l or -2?
-2
Let f be (-68)/51*(-4)/(-16). Is -21/5 less than or equal to f?
True
Suppose 11 + 5 = -4*i. Let l = 1 + i. Let w be ((-3)/(-9))/(32/(-48)). Is l less than w?
True
Let w = -268 - -11525/43. Let s = w + -45/86. Which is smaller: 1 or s?
s
Let h = 86.954 - -0.146. Let k = h + -87. Is -0.37 > k?
False
Let g be ((-69)/(-161))/(6/(-4)). Let x(n) = 4*n**2 - n + 1. Let y be x(1). Let k be 4/18 + y/(-18). Which is greater: g or k?
k
Let c(o) = o**3 + 24*o**2 - 2*o + 22. Let s be c(-24). Let g = s - 66. Let h = 309/2065 - 2/295. Is h < g?
True
Let l = -186/67 + 5151/335. Is l at most as big as 13?
True
Let p = 245 - 131. Is p not equal to 114?
False
Suppose -3*n + 17 = 4*d, 4*n - 4 - 2 = -2*d. Suppose 8 = 2*f + 2*a, -a - 1 = 2*f - 7. Suppose -1 + 15 = -c + 5*x, -2*x + f = -c. Which is smaller: d or c?
d
Let f be ((-32)/20 - -2) + (-2656)/40. Is f >= 2/7?
False
Let w(g) = 0 - 2*g + 3 + g**2 - 4 + 0*g**2. Let k be w(6). Let y = k - 27. Which is greater: y or 1?
1
Let j be -1 - (0 - 1)*4. Suppose -j = -h - 5. Let x be h/(-3) - (-1 + 2). Are x and -1 equal?
False
Let r = -17 + 16.58. Are r and 1/12 unequal?
True
Let u = 938 - 1333. Which is greater: u or -1979/5?
u
Let c = -9112712/827 - -11019. Which is smaller: c or 0?
0
Suppose 4*t + 0 - 8 = 0. Let o(u) = u**2 - 2*u - 1. Let x be o(t). Let a be -1 - (-1 + x) - 1. Is 0 at most a?
True
Let f = 245625081/5051 + -48629. Which is greater: 1 or f?
1
Let b = -66 - -48. Let v be 74/(-4) - (-1)/(-2). Is v less than b?
True
Let u be (-1)/2*(-24 + 26). Which is greater: 2/99 or u?
2/99
Let h(b) = -236*b + 2. Let z be h(2). Let k be (-5718)/(-11) + 39/33 + -1. Let q be z/k + 3/4. Is 1 equal to q?
False
Let a = -37 - -22. Let n = a - -15.1. Is n greater than -27?
True
Let i be (-1 + -1)/(1/28). Let b be i*(5 + -3)/138. Let f = -1/46 + b. Which is greater: f or -2?
f
Suppose 2*u = -6*u + 40. Suppose 14 = 2*w - 4*w. Let y(g) = -g. Let m be y(w). Is m at most u?
False
Let z = 0.12 - 0.16. Let t = z - -0.34. Which is smaller: -7 or t?
-7
Suppose 0*k = 4*k + 3*n - 321, -k + 4*n = -104. Which is greater: 83 or k?
k
Let q be (-476)/21*15/(-10). Suppose -2*y - 8 = 0, 2*n + y - 5*y = -q. Which is greater: -0.1 or n?
-0.1
Let j = 1.46 + -74.46. Let i = j - -71. Which is greater: -0.3 or i?
-0.3
Let g = -561/64582 - 1/659. Which is smaller: g or -2/3?
-2/3
Let f = -10 - -14. Suppose 0*m + m - f = 0. Let c(b) = b**2 - 4*b + 4. Let k be c(m). Is 3 at least k?
False
Let u(m) = -10*m**2 + m + 6. Let n be u(-2). Is n smaller than -34?
True
Let r = 0.65 - -16.35. Let l = -1.5 + 0.5. Which is smaller: r or l?
l
Suppose 0 = c + 3*c + 12. Let j be (-4)/(-1*(-6)/c). Suppose 24 = -j*v - 2*v. Is v greater than -9?
True
Suppose 5*b - 71 = -w - 2*w, -3*b + 4*w + 60 = 0. Suppose 0 = -19*h + b*h - 9. Is h at most as big as -3?
True
Let l(d) = -2*d - 16. Let f be l(-13). Suppose n = 5*r + f, 0 = 2*r - 2 + 4. Let s = n + -12. Is -7 >= s?
True
Let h = -0.04097 + -4.99703. Let v = -0.038 - h. Which is smaller: -2/5 or v?
-2/5
Let u = -0.8 + 15.8. Let n = 13 - u. Let i = -1.93 - n. Is -1 less than or equal to i?
True
Let c = 5 - 4. Let a(u) = u + 13. Let p = -47 + 37. Let d be a(p). Is c != d?
True
Let a be 1/((-3)/2) - (-10)/6. Suppose 14*y + a = 1. Is y > -4/5?
True
Let f = 1.436 + -1.466. Is 10/7 greater than or equal to f?
True
Let b = -2605/3 - -882. Suppose 3*k - 3*o = 2*o + 37, -k - 2*o + 16 = 0. Which is smaller: b or k?
b
Let q be 19/((-380)/15)*16/(-582). Is 2 < q?
False
Suppose 3 = 8*k + 3. Let m be (-3351)/(-126) + 3/(-6). Let i = m + -26. Which is greater: k or i?
i
Let c = 20 - 4. Suppose -4*l + c = 5*q - l, -q + l = 0. Let a be (-1 - 4) + 4/((-60)/(-123)). Which is bigger: q or a?
a
Suppose 3*s = 1 + 14. Which is smaller: s or 9?
s
Let z be (-5)/((-10)/(-48)) - 0. Let r = z + 29. Suppose 4*i = r*i. Is -3/7 bigger than i?
False
Let b(g) = -g + 1. Let o be b(6). Let f be o/(-15)*9/(-6). Is -8 not equal to f?
True
Suppose -693 = 57*p + 1245. Let u(c) = 3*c**3 - 3*c**2 + 1. Let w be u(-2). Which is smaller: p or w?
w
Suppose 0*j = 2*j - 10. Suppose 0 = -0*a + a - 5*y + 24, 3*y = -j*a + 20. Let r = 4 - 3. Is a <= r?
True
Let o = -13 + 14. Let t = -26468/11 + 2408. Is t <= o?
False
Suppose 2*q + 73 = 3*d + 487, 0 = -q - d + 197. Is q equal to 201?
True
Let n be (-6)/18 + (-269)/(-66). Let w = -23/6 + n. Let u(a) = -a**3 - 8*a**2 + a + 7. Let g be u(-8). Is g != w?
True
Let f be 75/21 + 16/(-28). Let h(i) = i**2 - i - 2. Let l be h(f). Let u be 1/4 + (-1)/l. Is -5/4 greater than u?
False
Let o(c) = -7*c - 2. Let q be o(-1). Suppose -q*j - 26 = 4*s - 3*j, 4*s = 4*j + 4. Let p be (1/(-5))/(s/(-5)). Which is bigger: p or 1?
1
Let f(t) = -6*t + 2. Suppose -2*a = -2*d - 10, 2*d = 3*a + d - 13. Let y be f(a). Let o be (16/24)/(y/3). Which is bigger: -1 or o?
o
Suppose -2*m = 3*a - 8, -5*a - m + 10 + 1 = 0. Let t be (1 - a)*(-10 + 7). Suppose -4*h + 10 = h. Is h at most as big as t?
True
Suppose -5*f = 3*z - 34, -4*z - z + 4*f - 5 = 0. Suppose -g + 6 = -z*l, l = -5*g + 45 + 17. Suppose 2*w + 2*w = -g. Is w >= 4?
False
Suppose 25 = 4*x + x. Suppose -4 = 4*j, 2 = -r - x*j - 1. Let v be -3 - (-38)/8 - r. Do v and 0.1 have the same value?
False
Suppose -x - 75 = 5*t, x - 57 = 2*t - 4*x. Let i be (55/(-66))/(t/6). Which is smaller: 0 or i?
0
Let u = 0.05 + 0. Let n = -163 - -166.9. Let r = n + -4.1. Is r not equal to u?
True
Let z = 252 + -251. Which is smaller: z or 24/11?
z
Let u be -7*((-270)/21)/9. Is u not equal to 7?
True
Let z = -3138/7 + 448