3045.3 + 3194. Let v = u - 143. Let f = 14.7 - v. Which is smaller: -2 or f?
-2
Let f be (-1)/((-9)/(-8) + -1). Let i be (-2)/(f + -2)*7. Let y = -49.793 - -52.793. Is i bigger than y?
False
Let i = -934 - 1030. Let w = -135511/69 - i. Which is greater: w or -1?
w
Let s be (-24)/(-12) + 453/(-1). Let n = 390 + s. Is -64 at least as big as n?
False
Suppose k = -3 + 2, 2*o + 1 = -3*k. Let q be 3936/720*(8/(-3) + o). Is -10 >= q?
False
Let f = 55 - 53. Suppose 5*s - d = 50, -5*s = -f*d - 16 - 34. Let w be s/105*(-9)/6. Are w and 1 non-equal?
True
Suppose 0 = -s - 2*a - 1, -9*s - 5*a + 69 = -13*s. Let h(q) = -4*q - 45. Let i be h(s). Which is greater: i or -2?
i
Let s = -450732/61061 + 568/77. Which is greater: s or 1?
1
Let q(l) = -22*l - 37. Let g(o) = -11*o - 18. Let m(b) = 5*g(b) - 3*q(b). Let k be m(-8). Let t = 60 + k. Is t <= -13?
False
Let b = -539 - -428. Let r = -110.87 - b. Suppose 4*s = -0*s. Which is smaller: s or r?
s
Let i = -795 + 1442. Let q = i + -58875/91. Let g(r) = 855*r - 6841. Let l be g(8). Are q and l equal?
False
Let n be (-28)/7 - (-130)/52*122/76. Is n equal to -10?
False
Let g = -19/234 - -7/1287. Which is bigger: g or -5?
g
Suppose -18 = 2*o - 4*q, -o - 3*o - 2*q + 14 = 0. Let z = 2/3851 + 7516/358143. Which is smaller: o or z?
z
Let q be -6 - -3 - (-22 - -5). Suppose q*f = 15*f. Is 50 at most as big as f?
False
Let c = -32 - -4. Let h be 12/c*((-80)/(-12) + -6). Is h at most as big as 1/88?
True
Suppose 172*i + 519829 - 46657 = 0. Which is greater: -2753 or i?
i
Let o be 202*5125/150*-3. Which is greater: o or -20706?
o
Suppose v - 8 = 3*j, 0 = v + 2*j + j - 2. Suppose 4*s - q - 102 = 63, -v*s = -3*q - 208. Which is smaller: 37 or s?
37
Let a = 1.53 - 64.53. Let j = a - -67.1. Let c = 6.1 - j. Are 8 and c unequal?
True
Let j(f) = -2*f**2 - 2*f + 1. Let x be j(0). Let p be (1 + 0)*(x - -1)*23. Suppose 2*h - 62 = 5*t - 0*t, -h = 3*t + p. Which is smaller: -3 or t?
t
Let x(p) = 11*p + 1079. Let k be x(-98). Does -34/167 = k?
False
Let o = 2.216 - 4.216. Let k be -2 + (1 - 22/14). Are o and k nonequal?
True
Let x be ((-3)/3 + -1)/((-144)/2304). Which is bigger: x or -110?
x
Suppose -21*r + 408 = -13*r. Suppose -5*j + 8*j = -r. Is j < 2?
True
Let i = -0.475 + 0.275. Which is greater: i or 65?
65
Suppose -30 = -18*n + 13*n. Let c be (-7 + n)/(92/(-144)). Which is smaller: c or 2?
c
Suppose 23 + 9 = -4*x + 4*s, -3*x = 2*s + 39. Let w = x - 5. Suppose -2*q - 2*l = -15 + 47, -2*q + l - 32 = 0. Is w greater than or equal to q?
True
Let g(a) = a**3 - 7*a**2 + a - 7. Let f(l) = -l**2 + 19*l - 11. Let d be f(18). Let i be g(d). Suppose i*m - 3*m = 30. Are -10 and m equal?
True
Let i = 53.87 - 53.97. Are -1661 and i equal?
False
Let q = 24 + -14. Let a be 8/30 + q/25. Let v = -532 + 40966/77. Which is smaller: v or a?
v
Let s = -7 + 15. Let m = 33.548 + -33.638. Which is greater: m or s?
s
Suppose -3*a - 2*y - 50 = 0, 3*y - 13 + 39 = -a. Let b be 18*((-4)/(-18) - a/18). Let d be (0 - 1)*(-1 - 16). Which is smaller: b or d?
d
Let c(t) = -2*t + 22. Let g be (0 - 11)/(3 - 4). Let s be c(g). Suppose 2*u = -5*i - 61, 53 = -s*i - 4*i - 3*u. Which is smaller: 0 or i?
i
Let v be 11025/(-22170) - (2 + 25/(-10)). Is 0 <= v?
True
Suppose 51 = 7*z - 24*z. Let b be ((-58)/261)/((-164)/z). Which is smaller: -1 or b?
-1
Let o be 1284/3210 - (1 + 2/5). Is o greater than -4/117?
False
Suppose -10*y - 432 = -46*y. Suppose w - 506 = y*w. Let p be 1*45*(-2)/2. Which is smaller: w or p?
w
Let q = 0.2 + -0.3. Suppose 83402*s = 83400*s + 224. Is s smaller than q?
False
Let v be (-21)/7*7/1. Let x(l) = -l**2 + 7*l + 35. Let m be x(-3). Suppose 0 = 2*p + f + m + 29, -5*p + 4*f - 111 = 0. Which is greater: v or p?
p
Suppose -4*d = 10 - 6. Let i be (2*30/(-36))/((-141)/(-54)). Which is bigger: d or i?
i
Let z be -39 - (-3 + (-18)/(-3)). Let t = 2956 + -2997. Do z and t have the same value?
False
Let s = 220 + -387. Let k = s - -184. Does k = 2?
False
Let w = 5435 - 8957. Is -3523 bigger than w?
False
Suppose 22050 = -4*b + 11*b + 5*w, b = 3*w + 3150. Is 3150 at least b?
True
Let f = 0 - -4. Let t be (-2)/5 + 40/(-25) + f. Suppose -t*z + 38 = -4*z. Which is greater: -20 or z?
z
Let j = 567.353 + 9.947. Is j <= 0?
False
Let j = -123 + 229. Let q = 107 - j. Let k = -93 - -660/7. Which is smaller: k or q?
q
Let t(f) = -f**2 - 7*f - 5. Let k be t(-10). Let n = 39 + k. Let q = -4429/5 - -891. Which is greater: n or q?
q
Let c(r) = -3*r**2 + 248*r - 471. Let p be c(81). Is -60 at least p?
True
Let l(o) = -o**2 + 13*o + 39. Let f be l(14). Let t = 55 - f. Is t greater than or equal to 152/5?
False
Suppose -5*m + 18 = 2*w, 3*m = 7 - 1. Suppose -w*a - 76 = 40. Let k = -195221/7050 + 57/2350. Is k greater than a?
True
Let d be (630/48 - 13) + 115/(-792). Which is smaller: -0.04 or d?
-0.04
Let h(p) = p - 1. Let k be h(11). Suppose 0 = -5*x - k, 0 = -c - 2*x + 3*x - 4. Let i(o) = -o**2 - 6*o + 1. Let r be i(c). Which is smaller: r or 0.16?
0.16
Suppose 16*t = -10*t - 34*t - 36480. Which is smaller: -609 or t?
-609
Suppose -4*r + 5*r + 311 = 5*k, -4*r - 252 = -4*k. Suppose -k*q + 59*q = 6. Which is smaller: 2.9 or q?
q
Let v = 594.4 - 594.342. Is 2 >= v?
True
Let t(n) = 2*n + 3*n - 2*n + 31 + n. Let y be t(-7). Suppose y*b = -2*k - 68, 2*b + k + 24 = 5*k. Which is smaller: b or -22?
-22
Let l = 438 - 5690/13. Let p = l + -18/143. Are -2/15 and p unequal?
True
Let u = -86.8 + 43.6. Let x = -29 - 14. Let w = x - u. Do 0.07 and w have the same value?
False
Suppose -f + 3*f = 4. Suppose 0*g + f*g - 64 = 0. Let q = -0.20893 + 0.20893. Which is smaller: q or g?
q
Let v = 738482/9 - 81970. Which is smaller: v or 85?
v
Let q = 1834/1219 + -32/23. Which is greater: -18 or q?
q
Let u = 20.9 - 21. Suppose 5*a = 0, x = 3*a - 75 + 585. Is u greater than or equal to x?
False
Suppose 4*a + a = -10. Let r be (-1)/(a/((-4)/54)). Let g = 9816 - 9815. Which is greater: g or r?
g
Let y be (-1)/((-3)/37) + 9/(-27). Suppose -228 = 15*w - y*w. Which is greater: -77 or w?
w
Let k = 200.087 - 0.087. Let a = 186 - k. Let m = 67 - 67.04. Which is smaller: m or a?
a
Let q be (2 - (6 - 3)) + 0. Let k be (1 - q)*(18 + (-3)/(-3)). Is 2 at most k?
True
Let b = -27672/1085 + 1062/35. Which is smaller: 5 or b?
b
Let c = 111 - 98. Let b = -57 - -53. Let f be b/22 - 11388/(-924) - -2. Which is greater: c or f?
f
Let j = -2017 + 2017.25. Is -1/18 > j?
False
Let l(k) = -38*k**2 - 2*k - 14. Let t be l(4). Let d = 629 + t. Suppose 0 = 4*n - 8. Is n at least d?
True
Let g = -2872 - -3140. Which is smaller: g or 274?
g
Suppose 0 = 187*a - 192*a - 50. Let i(y) = -6 + 29 - 2*y + 4*y. Let r be i(a). Which is smaller: r or -3?
-3
Let c = 21 - -24. Let a = -62 + 62.091. Let h = 0.009 + a. Which is bigger: h or c?
c
Suppose 0 = 4*f - 12, -44 = 11*z - 9*z - 2*f. Are z and -1620/89 nonequal?
True
Suppose 3*d = 5*o + 3 - 39, 0 = -3*o - 4*d + 39. Let x be o + 1 - (4 - 2). Suppose -z + 5*p - 24 = 0, -2*z + 3*p - 2*p = -6. Which is bigger: x or z?
x
Let b be (7 - -5)/(0 - 6/(-117)). Let o = b - -1135. Let j = o - 127319/93. Is j smaller than 0?
True
Let r = -96.2 - -97. Let f = -6.91 + 6.43. Which is bigger: r or f?
r
Let q be 4/(8 - 0)*0. Let z be (-11032)/(-105728) + (-2)/(-64). Is q at least as big as z?
False
Let f be (0 + -64)/(2/(-2)). Suppose f = -2*a - 4*o, 3*o - 1 = a + 11. Is -24 bigger than a?
False
Let c = 9310 + -9330.66. Is 5 < c?
False
Let a = 1800 - 1800. Which is bigger: 15/52 or a?
15/52
Let l = 20265 + -20264. Is 10.886 at most as big as l?
False
Let s = -1.1654 + -0.0246. Let i = 1.69 + s. Let z = 6 - 6.6. Which is greater: z or i?
i
Let c = -2.033 - 0.187. Let x = 1.206 + c. Let r = x - -0.014. Is r < -0.05?
True
Let v be 6 - 640/104 - (-810)/26. Let z = v + -31. Which is smaller: z or 4/27?
z
Let r = -86 - -70.68. Let b = -2.32 - r. Which is bigger: b or 5/4?
b
Suppose -2*u - 16 = -1546*o + 1542*o, 5*u + 10 = -5*o. Let q = -2 + 4. Which is bigger: u or q?
q
Let z = 12112 - 9359. Is 2758 >= z?
True
Let j = -6697 + 7562. Which is smaller: j or 867?
j
Let h = 30 + -35. Let l be h/(60/(-346)) + 7. Are 35 and l non-equal?
True
Let q be -2*(-38 - -7)*(-12)/8. Which is smaller: q or 12?
q
Suppose 5*k - 5 = 3*x, 2*x + 8 = -4*k + 34. Suppose -11 = 2*q - 5, k*m = 2*q + 2. Suppose -3 + 5 = 2*w. Is w at leas