s bigger: n or 4?
n
Let i = -114.87 - -1.87. Let f = -158294/9 - -17588. Which is greater: i or f?
f
Let k be 5 - (5 + (-4 - 89))*75/(-60). Which is smaller: k or -110?
-110
Let f = -191 + 191.45. Let j = f + 0.35. Do j and -1 have the same value?
False
Let m = -40 + 41. Suppose l - 20 = -m. Suppose -17 = -u - l. Which is bigger: u or 7?
7
Let r = -430 - -1067. Suppose -3*t - 2*j + 81 = r, -t - 2*j = 184. Which is bigger: -187 or t?
t
Let h be (-456)/96 - (9 + -6)/(-1). Suppose 0*y = -5*y - 10. Are y and h equal?
False
Let q(i) = 41*i + 364. Let z be q(0). Let d = -6547/18 + z. Is 1 smaller than d?
False
Let x be (-5 - -4)*8*3/294. Let s(z) = -14*z - 589. Let k be s(-42). Is x less than or equal to k?
False
Suppose 17*v = 53 - 376. Which is bigger: v or -71?
v
Let i(p) = -60*p + 4869. Let o be i(81). Which is bigger: -86/9 or o?
o
Let m be ((-44)/528 - 2125/852) + 3. Suppose 3*q - 5*k + 2 = 25, -5*q + 13 = -2*k. Which is greater: m or q?
q
Suppose 3*n + 22 = -181*w + 183*w, -2 = -w. Let u be (13 - 1)*n - 3. Let d = 0.2 - -0.8. Which is smaller: u or d?
u
Let c be ((-9)/1908)/(3/(-4)). Let q = c - -85/3339. Let f be ((-2)/4)/(2/4). Are q and f equal?
False
Let d = 56.76 + -38.95. Let b = -587.4 + 569.4. Let x = b + d. Which is smaller: x or -1?
-1
Let k = -5818 + 5818.1. Which is bigger: k or -6/263?
k
Let s(a) = -a**2 - a - 89. Let l be s(0). Suppose -4*x = 4867*i - 4863*i + 352, 5*i = -3*x - 440. Are l and i equal?
False
Suppose 9*l - 25*l - 8848 = 0. Let m = l + 552. Which is smaller: -1/63 or m?
m
Let m be -1 + 0 + 62/63. Let f = 363 + -139. Suppose 0 = 213*y - f*y. Is y less than or equal to m?
False
Suppose 0 = -5*p + 3*k - 435, 0 = p + 2*k + 134 - 47. Let w = p + 75. Which is bigger: w or -19?
w
Let f = 2031.8 - 2492.8. Which is smaller: f or 1/6?
f
Let p be (1/2)/((-1)/2). Let u = 5505/13843 - 54/127. Which is smaller: p or u?
p
Let z = -19 - -156. Suppose -7*p = z - 102. Which is smaller: p or 1/6?
p
Suppose 226*a = 232*a - 3708. Is -1/2 smaller than a?
True
Let w = -3 - -62. Let d = 58 - w. Let x(j) = -13*j - 5. Let l be x(d). Is l equal to 12?
False
Suppose 3*d - 2*d + d = 0. Let l be ((d + 4)/(-2))/(2 + -4). Let x be ((-2)/(-3))/(l - (-4)/(-6)). Is 4/3 greater than x?
False
Let v be 14 - (-1088)/(-85) - (2 + (-4)/5). Are 5/78 and v non-equal?
True
Let h(z) = z**2 - 64*z - 134. Let f be h(-2). Is f > -77/74?
False
Let r(j) = 63*j**3 + j**2 - j. Let y be r(1). Suppose -113 = 11*t + y. Let f be t/16 + 8/6. Which is smaller: f or 1?
f
Let h(o) = -2*o + 13. Let r be h(6). Let q be (24 + 12/6)/((-1)/r). Are q and -24 equal?
False
Let o(t) = 11*t - 36. Let d be o(5). Suppose 2*m + 273 = -d*m. Are m and -168/13 equal?
False
Let x be (-6)/24 - 8/(96/1845). Let i = -82 - x. Is 72 <= i?
True
Let w be 1 - -8 - -2 - 2. Let h be (7/21)/(1/(-9))*1. Let i be (w/h)/((-6)/4). Is i smaller than 8/9?
False
Let k = -189 - -59. Let d = k + 125. Is -4 at least d?
True
Let x be 14 + 6 + (-1192)/24. Do -15 and x have the same value?
False
Let h be (-59)/(-808) + 43/344. Is 0 >= h?
False
Suppose 2*l = 7 + 3. Let u = 0 - -2. Suppose 0 = -u*j + 14 - 10. Which is greater: j or l?
l
Let x = -12 - 1. Let v(d) = d**3 + 9*d**2 - d - 15. Let f be v(-9). Let h(z) = z**2 + 9*z + 6. Let i be h(f). Which is greater: x or i?
i
Let f be (345763/(-10494) - -33)*(-12)/(-63). Is 1 greater than or equal to f?
True
Suppose -t - 2*x + 7 = 0, 0 = -4*t - 3*x + 11 + 7. Let z = 374 + -432. Let n be t*(z/6 - -5). Is -12 > n?
True
Let l = -331 + 229. Let y = l + 102.1. Let o = 5 + -7. Which is greater: o or y?
y
Let z = 123 - 141. Let g be (-13)/13*(2 - (-40)/z). Let y = 37 - 36.86. Which is smaller: y or g?
y
Suppose 2*q = -n - 18, -n + 5*q - 18 = -0*q. Let r be n/(-5) + 4/10. Which is bigger: 54/11 or r?
54/11
Suppose -r + 6*r - 220 = -4*l, 3*r + 2*l - 132 = 0. Let j be 3 + (1*(-121 - -3) - 0). Let w = -71 - j. Is r > w?
False
Let x be -10 + 6 - (-65 - -93). Let o = 9 - 8.92. Which is bigger: o or x?
o
Let a be ((385/20)/7)/(2/8). Suppose 17 + 137 = -a*g. Is g not equal to -6?
True
Let p(g) = 5*g**3 + g**2. Let w be p(-1). Let y = -29054 - -29046. Is y != w?
True
Let p be (1/3)/((-654487)/(-354))*1/(-2). Is -1 smaller than p?
True
Suppose 113*b - 7 = -127*b + 247*b. Which is smaller: -13/529 or b?
b
Let o = -15023 + 30045/2. Is -1/5017 at least o?
True
Let c be -4 + 0 - (-1)/(-3)*(-294)/28. Is c at least -55?
True
Let y = -354 + 353. Let q = 112 + 70. Let s = q - 4188/23. Which is smaller: y or s?
y
Let k be 6/(-8) + 1/(-4). Let q = -2 - k. Let d be (6/(-10))/(126/2520)*1/(-46). Which is greater: q or d?
d
Suppose -r + 3*r = -4. Let b be (-3)/(2100/(-10540)) + 6/(-105). Which is greater: r or b?
b
Let t(c) = -c**2 + 36*c - 141. Let w be t(31). Let j be ((-42)/(-24))/(w/4). Which is bigger: -1/4 or j?
j
Let n be ((-2)/12)/((-16)/(-64))*-3. Suppose -4*p - o - 2*o + 1169 = 0, 2*p + n*o - 586 = 0. Which is smaller: 291 or p?
p
Let x = 3 + -5. Let o be (-8738)/(-68) - (-1)/x. Is 127 at least as big as o?
False
Let s = 211.6 + -1329.6. Let a = 1117.8 + s. Let f be 2/(-8) - (-17)/36. Which is smaller: f or a?
a
Let m = 4205 + -3897. Is m bigger than 306?
True
Let b = -54885/7 - -7862. Let j = 21 - b. Suppose -3*h + 1 = -d - 4, 2*h = 3*d + 1. Does d = j?
False
Suppose 33*c = -46*c + 125471 - 29486. Is -2/7 <= c?
True
Let p = -676 + 674.653. Let j = p - -0.347. Let g = -0.3 + 1.3. Which is greater: j or g?
g
Suppose -6384 = -11*r - 301. Suppose 0 = -3*y - 12, -1402 - r = -5*i + 5*y. Is i smaller than 387?
False
Let w be (8/(-5))/((-62)/5 - -12) - 66. Which is bigger: w or -98?
w
Let g = -12230 + 12576. Which is bigger: 4494/13 or g?
g
Let g be (8/(-50))/(98592/(-240)). Is 0 not equal to g?
True
Suppose 0 = -7*v + 25 - 4. Suppose v*d = 5*g + 172, -5*g + 0*g = -d + 44. Which is bigger: 63 or d?
d
Let v = -773248/6795 + 182/755. Do 1/6 and v have the same value?
False
Let v be 3069/(-45) + 2/10. Suppose 0 = 38*r - 54*r - 1088. Is r at least as big as v?
True
Let g(z) = z**2 - 3*z + 5. Let f be g(2). Suppose -f*q - 102 = 102. Which is smaller: -69 or q?
-69
Let z = -65281 + 16385493/251. Is z at most as big as 1?
True
Let x = 0.2789 + 10.7211. Is 1.16 at least as big as x?
False
Let u be 5*1/126015*(-19)/19. Is u > -1?
True
Let c = -6900 + 6906. Is -694 smaller than c?
True
Let k = -15 + 167. Let w = 323 + -323. Is w != k?
True
Let h = 1/8420 + 673/5052. Which is greater: h or 4/101?
h
Suppose -5*m + 4*x = 0, 4*m - 19 - 2 = -x. Let w = 0 - m. Which is greater: w or -19?
w
Let d be -7 - 2/(9 + 222/(-24)). Which is smaller: d or 1/10369?
1/10369
Let w = -501/8 + 229951/3672. Which is greater: 0.13 or w?
0.13
Suppose -2*h + 1 + 301 = 0. Let r = h + -153. Let c be r + (-5)/(15/(-12)) + 18. Which is smaller: 19 or c?
19
Let p be (-1)/(3/12) + 2. Let h be (-6696)/(-16) - 7 - p*1. Let q = -33915/82 + h. Is q >= 0?
False
Suppose 0 = -5*d - 20, -2*f - 2*d + 3 - 1 = 0. Suppose 4*k + 16 = 4*v, -v = f*k - 4*v + 16. Let m be k/4 + 115/(-50). Which is smaller: m or -4?
-4
Suppose 63*k + 44827 + 54818 = -10*k. Which is greater: k or -8197/6?
k
Suppose 2*g = -3*c + 1241 - 880, 4*g + 448 = 4*c. Does c = 13?
False
Let p be (-2 - 0)*4582/522. Suppose 2*j - 72 = 6*j. Is p at least j?
True
Let t = 720 + -719. Which is smaller: -1/7 or t?
-1/7
Let h = 10 + -6. Let f be 85/25 - (-4)/(-10). Suppose 5*p = 4*n - 53, f = 4*n - 2*p + 7*p. Which is bigger: n or h?
n
Let y(h) = -117*h - 3769. Let r be y(-30). Is r at most -2835/11?
True
Suppose 276 = 24*g + 60. Let m(k) be the third derivative of -k**6/120 + k**5/20 - k**4/8 + 19*k**3/6 - 10*k**2. Let i be m(3). Is g != i?
True
Suppose o - 5*t = 3*o - 232, -4*o + 436 = 3*t. Let z = 107 - o. Which is greater: -5/32 or z?
z
Let a = 48 + -335/7. Suppose 530 = -5*y - 200. Let w = 147 + y. Which is smaller: a or w?
a
Let z be 2350/410 + -1 + -7. Is z less than -2?
True
Let k(w) = 10*w**2 - 106*w + 288. Let d be k(6). Let a = 7 - 3. Which is greater: d or a?
d
Suppose 2*k - g - 88 = g, 4*g - 88 = -2*k. Suppose 56 = -2*n - 4*b, b = -n - n - k. Suppose 0 = 11*a - 8*a + 57. Are n and a non-equal?
True
Let c = -231386 - -231384.9. Let d = -1 + 1. Let l = 0.5 + d. Which is greater: c or l?
l
Let r = 216 - 122. Let c = -70 + r. Let s be -2*9/24 - 270/c. Is -2 at least as big as s?