alse
Let f = 7.18535 + -0.18535. Is f less than or equal to -22/123?
False
Let s = -1.9786 - 318.0214. Which is smaller: 1 or s?
s
Suppose 0 = 33*y - 1175 - 1498. Suppose -13*d - 29 = -y. Is d greater than 40?
False
Let q = 10 - 1. Suppose -q = -3*y - 12. Let j be -2 - (y - (0 - -2)). Is 1/53 at most j?
True
Let l = -8 + 11. Let t = -4 + l. Let p be (12/(-5))/3 - 26/((-650)/(-155)). Which is smaller: p or t?
p
Let x = -1407/16 + 88. Let l be 2*(4 + -6) + 5. Let b be (2 + -1 - 1)*(2 - l). Which is smaller: x or b?
b
Let b = 44039 + -44039.27. Is 8/111 at least as big as b?
True
Let t = 0.778 + 0.292. Let c = t + -0.07. Is -1/95 less than c?
True
Suppose 0 = -4*z - 3*u + 9, 15 = z - 2*u + 7*u. Let o be (-66)/(-6) - (1 - z). Let a be o/66 + 1/(-3). Which is greater: a or -3?
a
Let a be ((-2)/(-2))/(12/(-168)). Let g(k) = -3*k + 47. Suppose z - 2*l = 30, 4*z - 3*z - 25 = l. Let o be g(z). Which is bigger: o or a?
o
Let v = -21876.4 - -21876. Which is smaller: v or 3688/7?
v
Let d = -33.39 + 6.29. Let b = -27 - d. Suppose -3*c = n - 64, -3*n + 104 = 3*c - 58. Is b at least n?
False
Suppose 0 = 9*a + 11425 + 4235. Let v be a/72*((-16)/650)/2. Let j = 3/13 - v. Which is bigger: j or 0?
0
Suppose -16*r = -50*r + 102. Suppose -7*j = -3*i - r*j, 3*j = 5*i. Is 2/519 at most as big as i?
False
Let m be -50 + (39/(-37) - -10*11/2035). Let o be 1 + 0 + 2 + 1. Which is smaller: o or m?
m
Let c be 1 + -2 + 0 - -5. Let g be (-6)/(((-8)/(-5))/c). Suppose 3*z - 75 = 4*t, t + 2*z = 32 - 37. Is t >= g?
True
Let y(z) = -219*z + 1969. Let w be y(9). Let d = -10 + 17. Do d and w have the same value?
False
Let w = 30 - 25. Suppose w*d + 2*g + 7 + 33 = 0, -3*g + 24 = -3*d. Let k = -9 - d. Which is greater: 2/113 or k?
2/113
Let w = -28.14 - -27.14. Which is greater: 605 or w?
605
Let w be -446 + (112/(-40))/(-7). Is -445 at most as big as w?
False
Let o(l) = 15*l**2 + 6*l + 6. Let m be o(-5). Let u = -90742 - -90742. Which is smaller: u or m?
u
Let l(j) = -5*j**3 + 70*j**2 + j - 12. Let c be l(14). Suppose 0*k + c*k + 1 = a, 2*k + 2*a = 2. Is k >= -2/907?
True
Let n = 197 - 451. Let y = n + 254. Is 1/347 at least as big as y?
True
Let h(c) = -c**3 - 46*c**2 + 145*c - 113. Let l be h(-49). Which is smaller: 3.9 or l?
l
Let n = 21 + -16. Suppose 5*y - 118 = -4*h, 5*h = n + 5. Suppose -3*p + 7 = y. Is p > -5?
False
Let s(l) = l**2 + 2*l - 83. Let t be s(-10). Let d be (756/(-154))/(t/3). Are d and 6 nonequal?
True
Let x be 2275/(-175) + 164/(-2) + -3. Let k = -217 - -118. Which is smaller: x or k?
k
Let p = -2/409 - -469/12270. Let x be 3*8/12*4. Suppose -5*i + 4*v + 8 = 2*v, 0 = 3*i + 2*v + x. Is i greater than or equal to p?
False
Let n = 24/1997 + -39709/479280. Is n greater than or equal to 1?
False
Let a(y) = -4*y - 66. Let d be a(-24). Let i = d + -34. Is i greater than -0.6?
False
Let d = 930 - 930. Is -1313/4 less than d?
True
Let k = 34523.2 + -34523.5. Let g = 0.29 - 13.29. Let m = 7 + g. Which is smaller: m or k?
m
Let n = 992 + -681. Suppose -207 = 8*a - n. Suppose c + 3*r = -2*r + 4, 4*c = -3*r + 50. Which is greater: a or c?
c
Let w be (-31)/(-8)*562 - (-4)/16. Let t be ((-6)/(-8) + -1)*72/w. Suppose 0*j - 2 = 2*j. Which is smaller: t or j?
j
Let r(c) = -63*c - 438. Let p be r(-7). Which is smaller: -275 or p?
-275
Let g = -10 - -9.9. Let l = 7319 + -7315.039. Let m = l + 0.039. Is g at least m?
False
Let n be 1*2 + (-622)/308. Let m(f) = -2*f**2 + 296*f + 599. Let x be m(-2). Is x at least as big as n?
False
Let l be (-246)/(-21) - (-2)/7. Let x be (8/(-32) + 4)/((-34)/(-108)). Let y = x + -7/17. Which is smaller: l or y?
y
Suppose 2*m = 4*o + 11674, -4*o - 5823 = 69*m - 70*m. Is m less than or equal to 5850?
False
Let z = -49495/13 + 3810. Let g be (66/(-24))/(-11) - (-30)/8. Is z bigger than g?
False
Let p be (-142 + 123)*(-2 + 3). Which is smaller: -788/45 or p?
p
Let n = -503670 + 503748. Suppose 0 = 2*c + u - 149, -2*u + 222 = -2*c + 5*c. Which is smaller: n or c?
c
Suppose 0 = 5*l - 3*n - 25, 12*n + 27 = l + 7*n. Suppose -l*v - 67 = -3*v - 2*c, 39 = v - 5*c. Is 59 at least v?
True
Let f(s) = 17*s + 35. Let u be f(-1). Suppose 11*t + u = 2*t. Which is bigger: -13/24 or t?
-13/24
Suppose 0 = f + 2, 4*t - 12 = 3*f + 6. Suppose -t*k = -k - 7*k. Which is smaller: k or -2/23?
-2/23
Let j(d) = -2*d**3 + 20*d**2 - 20*d - 87. Let u be j(16). Is -3478 greater than or equal to u?
True
Let d = 0.6978 + -137.6978. Which is greater: 0.27 or d?
0.27
Suppose -z + 4*q - 503 = 0, 1509 = -3*z + 6*q - 7*q. Are z and -498 nonequal?
True
Suppose 0 = -2*y + 3*y - 3, z - 24 = -5*y. Let c be (6/z)/(((-920)/36)/5). Which is smaller: c or 1?
c
Let z = 0.05169 - -1718.94831. Which is smaller: z or -0.1?
-0.1
Let r be 684/10 - -3*(-4)/(-4). Let j = 71 - r. Let u = -3 - -3.17. Which is smaller: u or j?
j
Let f be (-4 - -964)/2 + -5. Let x = 476 - f. Which is smaller: -2/1005 or x?
-2/1005
Suppose -172 = -7*k + 50*k. Let s = -11 + 25. Let c be ((-9)/(63/k))/(4/s). Which is greater: c or -5?
c
Let c be 4*(5 + 17/((-2856)/828)). Are 8.93 and c equal?
False
Let q(k) = -k**2 + 31*k - 186. Let r be q(35). Let x = r - -325. Is x greater than -1/232?
False
Let u = 90 + -88. Suppose 0 = 2*j - v - 91, 4*j + u*v = -82 + 252. Which is smaller: 45 or j?
j
Let t = 8647 - 7692. Is t smaller than -2?
False
Suppose k + 6*f + 213 = 2*f, 5*f = -5*k - 1080. Let o = 5 - 221. Which is greater: k or o?
o
Let t = -77833033/1241 + 62718. Which is greater: -1 or t?
t
Let m = 118914 - 118914.1. Let z be 84/15 + -1 - 2. Let j = z - 49/15. Which is greater: j or m?
m
Let i = 101.36 + -103.01. Is i != -3/16?
True
Let p be -4 - (-1 - 1036905/(-327)). Let z = 3174 + p. Is z at least -1?
True
Let n be (0*2/(-6))/(-2). Suppose -40*u - 383 - 2297 = n. Is u at most as big as -64?
True
Suppose -42*n + 40*n = -10. Suppose 14*o - 9*o = -n. Which is greater: o or -4/25?
-4/25
Let i(b) = b**3 + 35*b**2 - b - 33. Let p be i(-35). Let m(x) = 8*x**2 + 2*x - 3. Let f be m(p). Which is greater: 39 or f?
39
Let y = -23 - -32. Let k be (0 - 228/8)*(-6)/y. Suppose 2*j - 9 = 4*h - 21, 0 = h + 5*j + k. Is -2/219 at most as big as h?
True
Let j = 13990 + -13988.863. Is 1 smaller than j?
True
Let j be ((-16)/13)/((-48)/(-24)). Suppose -7*y + 6*y - 1 = 0. Which is smaller: y or j?
y
Suppose 5*n = 10*x - 120, 5*x - 43 = 3*n + 29. Let y(m) = -62*m**2 - m. Let k be y(-1). Let s = k + 38. Do n and s have different values?
True
Let p = 680 - 716. Suppose 0 = -2*b - v - 75, -2*b + 6*v = 9*v + 81. Is p greater than or equal to b?
True
Let o = 4622759/149 + -31025. Which is greater: 0 or o?
o
Let g(r) = 4*r + 25. Let u be g(-6). Let i be 3/u*(-832)/48. Let y be i/(-6) + 2/1. Is 11 greater than or equal to y?
True
Suppose 36*d - 15254 = 65*d. Do -528 and d have the same value?
False
Let j = -8154 + 11736. Is j less than 3583?
True
Suppose 2 = -5*u - 63. Let j = u - 3. Let c be 16/5 + -3 - j/(-5). Which is smaller: -11/7 or c?
c
Suppose -52*s + 1459 - 55 = 0. Let w(n) = -n**2 - 9*n + 7. Let m be w(-7). Is m less than or equal to s?
True
Let x be 0 + 12/10 + 118286/(-90880). Let o = x + -5515/1152. Which is smaller: 0.4 or o?
o
Let i = -1 - -6. Suppose 4*v - 5 = 2*v - 3*y, 26 = i*v + 3*y. Let d be (-82)/v - 8/28. Is -12 >= d?
True
Suppose -8*o - 43 = 5*w - 7*o, 1 = w + 5*o. Let j be 0 - 6/(-36)*w. Which is greater: 3/5 or j?
3/5
Suppose 40 = 10*u - 10. Let q be (2/(-4))/(u/(-80)) + 5. Is 14 > q?
True
Let m = 81.6 + -0.6. Let w = 44.83 + 1.17. Let g = w - m. Is g <= 1?
True
Let g be (-69)/(-299) - 6354/(-13). Is g at least as big as 491?
False
Let i be ((8/3)/4)/((-26)/39). Is -7/15 not equal to i?
True
Let w be (51/34)/((-3)/2) + -22. Let t be (-13)/(-5) - (w/(-5) - 5). Which is smaller: 2 or t?
2
Let d = -58 + 71. Suppose -2*i - 5 = -3*u, -5*u + 4 + d = i. Is i at least -56?
True
Let w = -125.9 + 114. Let q = -11 - w. Let s be (3/9)/((-15)/(-9) - 0) - 0. Is q smaller than s?
False
Suppose -3*o = -2*k - 13, -1 + 18 = 4*o - 3*k. Suppose -o*g + 48 = 7*g. Suppose 4*y - 58 = -3*x, g*x - 3*x - y = 10. Which is greater: 6 or x?
x
Suppose 345 + 336 = 21*z + 30. Which is smaller: z or 334/11?
334/11
Let n = 1277672 + -11510372/9. Let j = -1252 - n. Is 6 equal to j?
False
Let n(u) = u**2 + 5*u - 1421. Let k be n(-40). Suppose w = -2*l + 5*w + 6, -5