or s?
s
Let v be (-17 + 13)/(((-79408)/(-63))/(-4)). Is 1 less than v?
False
Let b(p) = p**3 - 5*p**2 - 11*p + 46. Let v be b(4). Suppose -7*h = 269 - 829. Suppose h = -5*u - 10. Are v and u unequal?
True
Let u = 6689 + -33088/5. Are -0.2 and u equal?
False
Let o = 151 + -136. Suppose r + o = 5*c, 24 = 3*c + 18. Is r smaller than -46/9?
False
Let x(f) = -f**3 - 41*f**2 + 54*f - 276. Let w be x(18). Is w less than -18420?
False
Let n = -0.735 - -0.477. Let w = 0.052 - n. Is w at most 0?
False
Suppose 13*l + 15 = 249. Let h(y) = -y**3 + 15*y**2 + 49*y + 22. Let s be h(l). Which is smaller: s or -267/4?
s
Let j = 4/4657 + -5399/11707698. Which is greater: j or 1?
1
Let j = 4470 + -2560. Which is smaller: j or 1912?
j
Let n be 3/5 + 418/(-55) + 16. Let x(c) = c**3 + 9*c**2 - 3*c - 19. Let k be x(-9). Which is smaller: k or n?
k
Let o be (13 + (-13 - 1))/1. Let k = 22 + -151/7. Let p = k + -5/28. Is o at most as big as p?
True
Let b = 3245 + -3245. Which is bigger: -528 or b?
b
Suppose -3*u + 2916 = -4*w, -6*u + u - 4*w = -4892. Let v(p) = -p**3 - 42*p**2 + 79*p - 400. Let c be v(-44). Let h be u/(-24)*6/c. Which is smaller: h or 60?
60
Let x be -220*6/(-192) + 5. Is 12 equal to x?
False
Let l = -2/14503903 + 6512255997/25744427825. Let r = l + -35/71. Which is smaller: -1 or r?
-1
Let i = 3189 + -3189. Which is smaller: 1/564 or i?
i
Let z = 72253/30 + -2408. Let t be (1204/1850)/(24/(-10)). Let b = z + t. Which is smaller: b or 1?
b
Suppose 7*a = 9*a - 12. Suppose 14 = 5*i - a. Suppose -i*x + 5*m = 18, 4*x = 2*x - 4*m + 4. Are 0 and x equal?
False
Let z be (1881 - -1)*(-2)/4. Let r = 6/24181 + -159667185/169267. Let h = r - z. Is h < -2?
True
Suppose -79 + 94 = 3*x. Suppose -3*j = -2*j - x*f + 6, -5*f + 3 = 2*j. Which is smaller: 6/41 or j?
j
Let t = 19 + 76. Let d = -58 + t. Let h = d - 38. Do h and -1/3 have the same value?
False
Suppose 37*i - 749 = 30*i. Let l = i + -107. Which is greater: 3/88 or l?
3/88
Suppose -3*g - 3*h - 2*h = -68, 62 = 2*g - 5*h. Let z = -15 + g. Let f = -1181 + 1191. Which is greater: z or f?
z
Let r = 1513 - 1512. Let h be 101/206*-2 - -1. Is r > h?
True
Let w be 116/2 + -3 + (-35)/(-7). Let f be ((-36)/10)/(12/w). Let b be (-40)/12*f/(-15). Is b at most 4?
True
Suppose 87 = w + 85. Suppose 2*x - 36 = 2*j - 4*j, 0 = w*x - 5*j - 71. Which is bigger: x or 22?
x
Suppose 2*n = -5*g - 11, n + 10*g = 5*g - 13. Let h = 20 - 20. Suppose h = -4*a - 4*f - 12, 1 = 3*a + 3*f - n*f. Is 2 <= a?
True
Let a be ((-1062)/8)/(1/92) - -2. Let l = a + 36191/3. Let o = l + 146. Which is greater: -0.5 or o?
-0.5
Let n be 1*(22/(-11))/2. Is n at most -37/50?
True
Let p = -0.01 + -0.03. Let g = -2.8953 + -0.0647. Let v = p + g. Which is greater: 0 or v?
0
Suppose -o + 95 = 4*o. Let w = 5430 - 5417. Are o and w unequal?
True
Let g = 1 - 1.1. Let j = g - -0.3. Let a = -14310/23 + 42976/69. Are j and a non-equal?
True
Suppose -l - 684*q = -679*q - 167, 690 = 4*l - 2*q. Is l at least 1538/9?
True
Let w(z) = -z**3 - 5*z**2 + 14*z - 18. Let d be w(-11). Suppose -d = -5*t + 3*y - 0*y, -3*t = 3*y - 342. Which is bigger: 111 or t?
t
Suppose 4*y - 2*m - 20 = 0, -4*y + 0*m = -m - 16. Suppose 96 = y*k - 3. Let g be (k/(-12))/((-4)/(-32)). Is -23 smaller than g?
True
Suppose -4*h - 8 = -3*i, -4 - 3 = -h + 3*i. Let k = h - -6. Let n = -0.25 + -7.75. Which is smaller: n or k?
n
Let t = 45.05 + -72.12. Let x = 27 + t. Which is greater: x or 6?
6
Suppose 0 = 2*g - 5*f + 8, f - 3*f = -4*g. Let j be -5 - 1 - (324 + -7). Let x be (-3 - 0/2) + j/(-85). Is x at most as big as g?
True
Let i be (-576)/(-80)*5/2. Let j be (-2640)/i - 6/(-9). Is -436/3 <= j?
False
Let h(b) = 16*b**3 + 21*b**2 - 156*b - 98. Let f be h(6). Is 3181 smaller than f?
False
Let q(d) = -3*d**2 - 32*d - 15. Let v be q(-13). Let y = -100 - v. Let p be y*(1132/(-282) + 4). Is 1 smaller than p?
False
Suppose -17497 - 11663 = 116*m - 5728. Is m less than or equal to -177?
True
Let q(r) = -r**2 + 57*r - 520. Let w be q(11). Which is smaller: w or -256/17?
-256/17
Let g(b) be the first derivative of b**4/4 + b**3 - b**2 - 6*b + 13. Let q be g(-3). Suppose q = 3*r - 1 - 26. Which is smaller: 10 or r?
r
Let k = -655 + 659. Suppose 4*c + 2*g - 14 = -0*c, -g - 23 = -k*c. Let u = 327/85 - -23/17. Which is greater: c or u?
u
Let t(a) = 14823 - 20*a + a**3 - 14789 - 26*a**2 - 6*a. Let o be t(27). Is 63 greater than or equal to o?
True
Let f be 5 - (24/(-14))/((-6)/(-21)). Suppose f*u - 19 = 3. Does u = 23/6?
False
Suppose 3*t + 3*c - 99 = 0, 6*c = 2*c + 16. Suppose 4*l - t - 7 = 0. Let m = l + -33. Is -24 <= m?
True
Let l = 178 + -162. Suppose b + l = -5*k, 3 = -b + 3*k + 11. Does b = 1/4?
False
Let c = 77 - 72. Suppose -2*z - 2*s - 16 + 4 = 0, -19 = 4*z + c*s. Is -13 bigger than z?
False
Suppose 0*b + 4*b - 52 = -h, -3*b + 39 = -2*h. Let q = 155 + -307. Let j be (5/(-2))/(38/q). Which is greater: b or j?
b
Let g be (232218/102)/1 - -2. Let y = -2278 + g. Which is smaller: y or 0?
0
Let a = 0.836 - 1.056. Which is bigger: 16 or a?
16
Let o = 66 - 66. Suppose w + n = 2*n + 3, o = n + 1. Suppose 0 = -3*y + 4*y - w. Is 2 greater than or equal to y?
True
Let v = 1.79 - 4.79. Let r = 4/493 - -6385/2958. Let s = 8/3 - r. Which is bigger: s or v?
s
Let l be -5*(258/(-30) - -8). Suppose 3*y + 0 - 11 = 4*a, -14 = a - l*y. Which is greater: a or -1/563?
a
Suppose -2*o = -0*b + b + 61, 4*o = 0. Let m = 303/5 + b. Which is bigger: m or -8/73?
-8/73
Let u be 2/(-3)*(0 - -9). Let w(r) = -r**2 - r. Let a(t) = -7*t**2 - 14*t - 13. Let v(b) = u*w(b) + a(b). Let o be v(-6). Which is bigger: -8/9 or o?
-8/9
Let f be 18/148*(11 - 169/39). Let d = -1163/1480 + f. Let p(s) = -s**2 - 7*s - 5. Let x be p(-6). Which is smaller: x or d?
d
Suppose 17*h = 24*h + 2800. Let w = h - -427. Let j be 1/3 + (-160)/(-6). Are j and w non-equal?
False
Let d(a) = 2*a**2 + 23*a + 5. Let m be d(-13). Let j = m + -45. Let u be 4*-3 + j - 0/28. Is -40/3 smaller than u?
True
Let n = -0.13141 - -3098.13141. Do 0.1 and n have different values?
True
Let f be (104/103 - 1)*8/8. Suppose -239*l + 241*l - 8 = 4*y, -4*y = 4*l - 16. Are f and y nonequal?
True
Let w = -10401.11 + 10439. Is w >= 2/3?
True
Let m(s) = -21*s**2 + 225*s - 150. Let c be m(10). Which is greater: c or 295/41?
295/41
Let s = -57591/574 + -1/1722. Is s less than or equal to -100?
True
Suppose 0*f = 4*f - 12, 73 = -4*o - 5*f. Let k be (-3)/6 + (-1)/o. Let w(p) = 2*p**2 - 37*p - 423. Let d be w(-8). Is k bigger than d?
False
Let l(g) = 335*g - 14316. Let o be l(70). Which is smaller: 9135 or o?
o
Suppose 0 = -5*h, 4*m + 4*h - 125 + 181 = 0. Is m smaller than -78?
False
Suppose 12 = 7*k - 2. Suppose 3*g - 3*w = k*w - 16, 4*g - 2 = -5*w. Let q be g/4*-2*10/(-585). Is -1 bigger than q?
False
Suppose -7 = 6*o - 13. Let b(x) = 100*x**3 - x. Let g be b(o). Let s be (g/(-11))/(-1 - -2). Which is smaller: -15/2 or s?
s
Let s = 273 - 26. Let o = s + -250. Does -2 = o?
False
Suppose -4*n + 4 = 28. Let f be (-24)/14*(n - 36). Is 73 less than f?
False
Let j be (-2)/(-1)*-1 - 1. Suppose -90 = -2*d - 4*t + 142, 4*t - 126 = -d. Suppose -d*m + 40 = -110*m. Which is smaller: m or j?
m
Let k = 147 - 296. Let j = 148.99 + k. Is -2 greater than j?
False
Let y(g) = -g**3 - g**2 + 1. Let d be y(0). Let q = 4016 + -4018. Which is smaller: d or q?
q
Let a = 1972 - 2000. Which is smaller: -62 or a?
-62
Suppose 7 = 3*h + p, 86*h + 2*p = 87*h + 7. Which is smaller: -26 or h?
-26
Let c = -151.12 - -6.28. Let w = c + 145. Let h(q) = -q - 2. Let s be h(-3). Do s and w have different values?
True
Let z = -456 + 541.1. Let a = -85 + z. Which is greater: a or -88/5?
a
Let i = -10384 - -10385. Is i <= -3/439?
False
Let i = 3785746 + -26547271/7. Let n = -6744 - i. Which is bigger: n or -23?
n
Let r be ((-2)/(-4)*-2)/1. Let c be (3 + 2 - 6)*-6. Suppose -75 = -3*a - 3*q, 0*q - 3*q = c. Which is smaller: a or r?
r
Suppose -403*g + 3*y = -407*g + 9, -4*g + 5*y - 15 = 0. Are 7/40 and g equal?
False
Suppose 5*t = 228*v - 226*v - 9829, v + 3*t = 4931. Which is greater: 4924 or v?
4924
Let d(u) = 10*u - 142. Let c be d(15). Let h be -2 + ((-4592)/(-63))/c. Is h at most as big as -2/3?
False
Suppose 8448 = -75*p + 31*p. Is -190 less than p?
False
Let p = 3820 + -3820. Are 328 and p equal?
False
Suppose 0 = -3*f + 10988 - 917