+ -10003. Is f at most 10368?
True
Let y = 17 + -17.7. Let p = -2841 + 2732.94. Let q = p - -108. Which is smaller: q or y?
y
Let i be ((-6)/26)/((-524)/52 + 10). Is i bigger than 75?
False
Let j be (-24)/156*(-156)/(-24). Let v = -77873/244 + 1277/4. Let p = 211/1525 - v. Which is bigger: p or j?
p
Let c(w) = 3*w**2 - 28*w + 7. Let g be c(8). Suppose -23 = 4*k - 3*k. Is g greater than or equal to k?
False
Let d be 2 - 0 - 552/266. Let q = 1972/1463 + d. Let r = -21/55 - -97/110. Which is smaller: r or q?
r
Let c = 6810 + -6825. Is 0 at most as big as c?
False
Let u(a) = 5*a**2 + 137*a + 31. Let k be u(-29). Suppose 0 = 261*c - k*c + 2. Which is greater: -3/404 or c?
c
Let g = -2735054/95 - -28790. Let l be ((-15)/6 + 2)*2. Is g <= l?
False
Let d = -4275 + 1145. Is d greater than -3130?
False
Let x(v) = -v**3 - 36*v**2 - 254*v + 33. Let b be x(-27). Which is bigger: b or 324?
b
Suppose 629 = 13*b + 1349 + 619. Which is smaller: -105 or b?
-105
Let z = -12168.5 - -12168.5. Let t = -437 - -620. Which is bigger: z or t?
t
Let x = 4/4295 + 183929/811755. Which is greater: 0 or x?
x
Let t be ((-370)/333)/(8/(-6))*6/(-10840). Which is smaller: t or 1?
t
Let x = 199 + -199. Suppose b - 2*c - 7 - 6 = 0, x = 2*b + 2*c - 14. Suppose -6 = -3*r + 2*r. Are r and b equal?
False
Suppose -4*x - x = 4*x - 6*x. Which is greater: -3/1475 or x?
x
Let h(g) = 9*g - 34. Let x = -48 - -56. Let m be h(x). Suppose 7*a = 185 - m. Which is smaller: a or 20?
20
Let w = 96 - 11. Let l be (-4 + w/20)*-4. Let q be (l/(-15))/((-6)/15). Which is greater: q or -1?
q
Let t = -1273 - -1253. Is t at least -199?
True
Suppose 0 = 8*v - 15 - 25. Suppose 9*o - 13*o = v*g - 16, -g = -4*o + 16. Suppose 3*q + 6 = o*n, 5*n + 1 - 3 = q. Is 5 at most as big as n?
False
Suppose -31 + 16 = -5*z. Suppose 3*p + d = 4*d, p = z*d - 4. Suppose -4 - 1 = p*t - 3*g, -4*t - g + 11 = 0. Is t <= 6/5?
False
Let b = 1.64 + 322.36. Let l = -312 + b. Which is smaller: 0.03 or l?
0.03
Let l be (28/(-16))/7 - 521455/100. Let b = 5160 + l. Which is bigger: b or -54?
-54
Let q(n) = -12*n + 4*n + 105 + 0*n. Let s be q(14). Which is smaller: 3 or s?
s
Let b = 14346 + -114767/8. Which is bigger: b or 27/13?
27/13
Let p = 20835 + -1041873/50. Let v = p - -14683/6050. Which is greater: v or -1?
v
Let q be (287/(-147) + 2)*9 + 128/28. Is q at most -820?
False
Suppose -57 - 59 = -2*s. Let b = 51 - s. Let w be 3 - (b/(-2) - 1). Which is bigger: w or -2/5?
w
Let j = -6956 - -6953. Which is smaller: j or 505?
j
Let n = -3263 + 61979/19. Suppose 3*b + 3 = 3*f, 4*f + 4*b - 9 - 27 = 0. Let m = 3 - f. Which is bigger: n or m?
n
Let h(j) = -90*j + 25. Let x be h(1). Let v = 64 + x. Which is bigger: -8 or v?
v
Let z be -1 - -5 - 1624/319. Suppose 4*m + 23 = k, 12*m - 16 = 15*m - k. Is m less than z?
True
Let i(f) = 39*f + 920. Let n be i(-27). Let u(d) = 2*d**3 + 8*d**2 - 2*d. Let c be u(-6). Which is smaller: n or c?
n
Suppose -7*z = -8*z - 14. Are -140/11 and z unequal?
True
Suppose -2*f + 155 = 4*q + 135, 0 = -2*q - 3*f + 2. Is q less than or equal to 8?
True
Let n = -16262 + 16261. Is 1/1074 smaller than n?
False
Let v be (-104)/195 + -1 + 4 + (-70)/30. Is v at most as big as 2.58?
True
Suppose 4*v + 2*z - 28 = 6, 5*v - 3*z = 37. Suppose 3*r = 5*w - 18, w + 17 = -2*r - v. Which is bigger: r or -10?
-10
Let w(f) = -f - 8. Let v be w(-10). Suppose 3*m + 2*q = 2, m = 3*q - 8*q - 21. Suppose 6 = 5*h - v*z, -2*h - m - 2 = -5*z. Is 2 at most h?
True
Let h = 232/77 - 30/11. Suppose -3*p = -4*x + 379, 26*x - 123 = p + 28*x. Is p not equal to h?
True
Suppose 4*o - p = -820, 2*o = 42*p - 46*p - 410. Which is smaller: -2247/11 or o?
o
Let n = 2287 + -2340. Which is bigger: n or -701/13?
n
Suppose 15*s = 2474 - 644. Suppose 0 = 3*x - 0*x - 2*o - s, 5*o = 5*x - 195. Do 44 and x have the same value?
True
Let b = 13922/19475 + 4/779. Suppose 637*f = -42*f + 186*f. Which is greater: b or f?
b
Let f be (-9 + 3)*(-20)/(-3). Let r = -36 - f. Suppose 0 = -r*z - 5 - 11. Which is bigger: -1/2 or z?
-1/2
Let b(x) = x**3 - 8*x**2 - 19*x - 14. Let a be b(10). Let o be ((-3)/(-52))/(5/a). Are 0 and o equal?
False
Let c = 61 - 67. Let d be (30/(-9))/2 - 4/c. Let n be (d/6*-4)/(-24). Which is greater: 1 or n?
1
Let l be 2/7 + 5/((-105)/6). Suppose -w - 2*w = l, -45 = -3*m - 3*w. Let s = -15 + m. Is 4/5 <= s?
False
Let z = 0.068 - -0.332. Let p = 20 + -19.89. Let w = p + -4.11. Which is bigger: z or w?
z
Let a(s) = 7*s - 46. Let h be a(7). Suppose h*m = -2*f, m = -2*f + 13 - 5. Let t be (5/((-135)/(-3)))/((-5)/f). Which is smaller: -1 or t?
-1
Let a = -37165 + 186626/5. Let s = -5437/35 + a. Suppose -4 = -4*f, 5*f - 3*f = 4*m - 22. Which is smaller: m or s?
s
Let y(o) = 2*o**2 + 21*o + 21. Let f be y(-10). Suppose -14*d + f*d = -3. Is 1/153 < d?
True
Let i = -179.8743 - -0.3743. Is i > 1?
False
Let k(b) = 13*b - 224. Let g = -55 - -81. Let y be k(g). Which is smaller: y or 113?
113
Let a = -3.744 + 3.24. Let x = a + 0.414. Do 3/20 and x have different values?
True
Let x be 5/(10/(-2)*1). Which is bigger: x or -2/6293?
-2/6293
Let z = -2679 + 2680. Does z = 2/5589?
False
Let p = 687.5213329 + -1.6812329. Let r = -0.1599 - p. Is 1 greater than or equal to r?
True
Let f(r) = -r**3 + 4*r - 1. Suppose 15*n = 7 + 23. Let u be f(n). Let l = 3.2 + -113.2. Is l > u?
False
Let f = 5.467 + -5.624. Let a = -33.8 + 34. Is a >= f?
True
Let s = 847475/189 - 4484. Which is greater: 1/7 or s?
1/7
Let p(z) = 121*z + 2993. Let b be p(-27). Which is smaller: b or -277?
-277
Let a be 8040/(-2214) + 4 - (-2)/(-9). Let d(c) = c**3 + 3*c**2 - 5*c - 5. Let p be d(-4). Is p less than or equal to a?
True
Let f(i) = 3*i + 3*i**2 - 114*i**3 - 2*i - 5*i + 6*i**3 - 6. Let o be f(-1). Is -2 <= o?
True
Let w = -2189 - 8685. Which is smaller: w or 1?
w
Let b(i) = -6*i - 232 + 236 + i**3 - 5*i**2 - i. Let u be b(6). Let o be (45/10)/((-1)/u - 0). Is o at most 9?
True
Let d = -1.21 + 30.31. Let h = -40936 + 40937. Is d bigger than h?
True
Let a be 85215/(-42294) + 1/14. Is a greater than -3?
True
Let i be -1 - -257*(-3)/(10029/(-13)). Let d = i + -83559/26744. Let u = 3 + d. Is 1 > u?
True
Let p(k) = -14*k**3 - 12*k**2 + 323*k + 15. Let m be p(12). Which is smaller: m or -22030?
-22030
Let q = 18.966 - 6314.966. Which is smaller: q or 1?
q
Let q be (0/((-54)/9))/(2/2). Is q bigger than 16/13?
False
Let r = -1 - -2. Let z = 1613/4922 - 5/214. Which is greater: z or r?
r
Let l = 1 + -14. Suppose 2*t = 5*g - 1 + 27, -g + 38 = 2*t. Let d be 2*-1*8/24*t. Is l greater than d?
False
Let q be 2/(-7) - 46/(-14). Let o = -321 - -333.3. Let u = -12.28 + o. Which is smaller: u or q?
u
Let f = 4361.42 + -4443. Let x = f - -2.58. Which is greater: 1 or x?
1
Let m = -7131/4 - -1784. Suppose -u + 3*f + 6 = -1, 0 = 5*f + 25. Let x be u/(-10) - 7/15. Which is bigger: m or x?
m
Let j = 956 - 402. Which is smaller: 551 or j?
551
Suppose 37*o - 36*o + 5*g + 10 = 0, -g - 2 = -3*o. Suppose -8 = 5*m + 2. Is o < m?
False
Suppose 3*k = 2*n - 116, k = 5*k - 4*n + 156. Suppose -4*f = -4*o - 164, -4*f - f = -3*o - 197. Let q = f + k. Which is bigger: 3/44 or q?
3/44
Let q = 654 - 654.55. Suppose -2*r + 8 = 2*r. Are q and r unequal?
True
Let p be (8 - (-14)/(-4))/((-26)/224). Which is bigger: -38 or p?
-38
Suppose h - 216 = 4*h. Let m(g) = 54*g + 1436. Let i be m(0). Let b = i - 1507. Which is smaller: h or b?
h
Let o(v) = -v**2 - 20*v + 101. Let s(l) = -l**2 - 22*l + 100. Let x(f) = 4*o(f) - 3*s(f). Let z be x(8). Is z less than -1/2?
True
Let p = 1253 + -51368/41. Let n = -395477 + 81073343/205. Let v = p - n. Is v >= -3?
True
Let g(a) = 14*a + 11. Let s be g(3). Let r = 34 + -88. Let w = s + r. Which is bigger: w or -3?
w
Let w = -18261 - -18261.205. Is w > -0.08?
True
Let j = 84 + -48. Let x be ((-2)/((-8)/(-138)))/(j/96). Let z = x - -93. Which is smaller: z or 3?
z
Let s = -717 - -713. Let w be (14/s)/(45/(-180)). Which is bigger: w or 27?
27
Let p(q) = -q**2 + 569*q + 4026. Let d be p(-7). Which is greater: d or -49?
d
Let x be (-85)/(-3) - 13/((-312)/16). Suppose v = x + 17. Which is smaller: 45 or v?
45
Suppose -5*k + 3*h + 41 = 12, 0 = -3*k + 5*h + 27. Let x(d) = -d**2 + d + 15. Let b be x(k). Let s = -8 - -6. Is b bigger than s?
True
Let d = 43 - 39. Let s = 22 - d. Let c = s - 22. Is -5 > c?
False
L