 74 = 0. Let o = 83 - j. Let h be 18/(-9) - o/(-4). Which is smaller: 10 or h?
h
Let u = -130 - -94. Let d be -3*6/u*(123 + -1). Which is smaller: 59 or d?
59
Let a = 694888/5493159 - -1602/5129. Let o be (1/5)/(3654/580). Let t = o + a. Which is greater: t or -1?
t
Let i = 15538 + -46616/3. Which is bigger: i or 6/557?
6/557
Let y = -22936 + 11582692/505. Is -1 smaller than y?
True
Suppose -i - 999 = 5*y, -1087 = 4*y - 3*i - 284. Which is smaller: y or -180?
y
Suppose 4*l = v + 13, -2*v + 5*l - 3*l = 8. Let i be 0/((-1)/((-3 - -4)*v)). Let a be ((2/(-2))/4)/1. Is i less than or equal to a?
False
Let m = -61 + 64. Suppose -2*w + m*f = 122, -w - 4*w = -4*f + 319. Let i = 67 + w. Does i = 3/50?
False
Suppose -9*i + 57638 = -44800. Let v = 45297/4 - i. Is v bigger than -58?
True
Let l(m) = 5*m + 57. Let a be l(-11). Let d be 19/(-38)*(-1 - 9) + a. Suppose 0*x + 8 = -2*x + 4*h, 19 = 4*x - h. Which is bigger: x or d?
d
Suppose 377*g - 404*g + 135 = 0. Is g less than or equal to 121/21?
True
Suppose 0 = 2*h + 38 + 52. Let j = -134/3 - h. Let p = -48 - -39. Is p greater than j?
False
Suppose 1064*x = 1068*x + 2*v - 1182, 2*x = 2*v + 588. Is -51 less than x?
True
Suppose -10*r + 12*r - 5*n - 22 = 0, -4*r = -2*n - 12. Let o be (-1)/(1/r)*-15. Which is bigger: -1 or o?
o
Suppose 9 = v - 0*v + 2*d, -3*v + 30 = 3*d. Let a = 1925 + -1924. Which is greater: v or a?
v
Let g = -7950 - -8105. Which is smaller: 167 or g?
g
Suppose 177 = -41*b + 42*b. Is 175 <= b?
True
Suppose 38 = -2*r + 2*s, 2*s + 16 = 5*r + 114. Which is smaller: -22 or r?
-22
Let u = -19.15 + 0.15. Let z = 53.6 - 47.6. Which is smaller: u or z?
u
Let f = 624/11 + -2551/44. Let h = -6 - -9. Let q = 1 - h. Is q < f?
True
Suppose 3*g + 4*b - 70 = 34, -2*g + 70 = 3*b. Suppose -k - 3*k = -4*t - 64, 3*t + g = -5*k. Let d be 126/(-147)*t/10. Are 0 and d nonequal?
True
Let y = 2798/21 - 934/7. Let a = -1165 - -1924. Let i = a + -759. Is y not equal to i?
True
Let c = 14599/6774 - -13/1129. Do -158 and c have different values?
True
Let l = -40506858/257 + 157614. Which is smaller: l or -1?
-1
Let i = -1486 + 442. Let a = -954 - i. Are -2 and a nonequal?
True
Suppose w + 10 = -4*s - 1, -3 = 3*s - w. Let d be s/(-2) - (-24)/(-27). Let q = 13 - 13. Which is bigger: q or d?
d
Suppose -4*z = -v - 5561, 9*z = 5*v + 8*z + 27919. Is v < -5586?
False
Let d = -112 - -113. Let z be (-1932)/(-96)*(-2 + d - 3). Let i = 80 + z. Which is smaller: 0.22 or i?
i
Let k(d) = -d**2 - d + 7. Let o be k(6). Let l be 3/(-5) + (-896)/o. Suppose 243 = -97*r + 106*r. Is r > l?
True
Suppose 0 = -2*t - 3*j + 699, 4*t - 1391 = 3*j - 2*j. Let l = -10091/29 + t. Which is smaller: l or 0?
0
Let o(l) be the first derivative of -l**6/360 - l**5/60 + 5*l**4/8 - 16*l**3/3 - 2. Let m(f) be the third derivative of o(f). Let p be m(-7). Is p < -21?
False
Suppose -1283 + 1335 = -13*z. Let g be 4/7 - (-182)/196. Which is bigger: z or g?
g
Let x(b) = 7*b + 79. Let h be x(-10). Suppose -15 = -5*f + 3*p, -3*f - p + 0 = -h. Which is greater: f or 25/8?
25/8
Let d = -20037 - -20036.8. Let p be (-175)/570 + (-2)/(-6). Is d bigger than p?
False
Let o(r) = -22*r + 680. Let g be o(31). Which is smaller: g or -24/31?
g
Let x = 2.56921 - 2.69921. Let i = 0.07 - 0.2. Is x < i?
False
Suppose 15 = 3*z - 15. Suppose -l - z = 3*b, 0 = l - 5*b - 10 - 12. Let p be (-6)/30*(-2)/l. Which is smaller: 1 or p?
p
Let v = 1.6 + 0.1. Let z = -5.7 + v. Let h = -1.51 + 1.41. Are h and z unequal?
True
Let f = 20611 - 17656. Which is greater: 1 or f?
f
Let v be (-255)/15 - 1 - -134. Which is smaller: 124 or v?
v
Suppose -4*o - 26 = 5*c, 5*c - 4*o + 9*o = -25. Suppose h - 2*z = 3*h - 8, 5*z = h - 28. Let k be (-3)/(-2)*h/c. Which is smaller: k or -7/4?
k
Let u = 14012 + -14072. Is 1/34 not equal to u?
True
Suppose 4*h = -3*m - 95, -9*m + 49 = -10*m + 3*h. Is 7 < m?
False
Let j(k) = k**2 + 13*k + 46. Let q be j(-5). Let n be 136 - 3/6*q/(-1). Which is bigger: 140 or n?
140
Suppose 0*x + 2*x - 2174 = 0. Let t be (-4230)/4 - (-125)/(-25). Let z = t + x. Is z bigger than 25?
False
Suppose 7*b - 2*b = -35, 3*v + 5*b + 1169 = 0. Which is greater: 12 or v?
12
Let f = 1/2 + -1/4. Let o = -41.9 + -11.1. Let a = 56 + o. Which is bigger: f or a?
a
Suppose -5*h = 3*s - 64, s + 52 = 4*h + h. Suppose 2*g - h = -3. Let n be 44/8 + (-2)/g*-3. Which is smaller: 5 or n?
5
Suppose 2*h + 0*k + 3*k = 165, -85 = -h - 4*k. Suppose -63 = -3*o + h. Let f be (3/(-9))/(o/(-45) + 1). Is 32/7 >= f?
False
Suppose -52 - 29 = 9*a. Let p be 3/(a/(-12)) + 26. Suppose c + r - 9 = -3*c, -5*c - 5*r = -p. Which is bigger: -1/6 or c?
c
Let k be 12/(-90) + (-31)/(-3720). Which is greater: k or 289?
289
Let q = -9 + 12. Suppose -5 = -2*v + q*v - 2*n, -5*v - 43 = -4*n. Which is smaller: v or -0.4?
v
Let d(i) = i**3 - 3*i**2 - 3*i - 1. Let q be d(4). Suppose -3*a = q*n + 72, a + 0*n + 2*n + 20 = 0. Is 3 greater than a?
True
Let f = 0.11949 + -12.11949. Which is smaller: f or 224/5?
f
Let x = 1043 + -1037. Which is smaller: -12 or x?
-12
Let a be -2 - ((-136)/(-78))/(-1). Let j = a + -55/39. Let c be ((-6)/4)/(13/(-104)*-12*1). Is c at most j?
False
Let g(u) = 2*u**2 + 29*u + 5. Let w be g(-14). Let t be -6*(-6)/4*w/(-27). Which is smaller: 22 or t?
t
Let o be ((-3)/((-18)/26))/(-12 + 3020/252). Is o at least -6?
False
Suppose -14*r + 45*r + 62 = 0. Which is smaller: 394 or r?
r
Let y be 2*(-1 - 15/16). Suppose 22*r - 4*n = 21*r - 41, 5*n = 4*r + 65. Is y < r?
False
Let s = -63 - -43. Let r be ((-3)/(3/(-4)))/((-312)/(-858)). Is s at most r?
True
Let g = -21791/37 + 589. Suppose -q - 1 = 2*i + 27, -4*q + 5*i = 151. Let d = -34 - q. Which is smaller: g or d?
d
Let n = -499.2 + 415. Let o = 84 + n. Is 25 > o?
True
Let g = -4.1 - 11.9. Let m = -0.03355 - -226.93355. Let w = m - 227. Is w smaller than g?
False
Let z be (4 + 540/(-125))*(-13737)/6. Let h = z - 733. Which is bigger: 0 or h?
0
Let o = 6/5519 - -1300/8957337. Is 0.1 at least o?
True
Let m = 7 - 12. Let n = -12078 + 12082.9. Let c = n + m. Which is bigger: c or -28?
c
Suppose -2*u + 60 = -4*p, -54 = -5*u + 3*u + 2*p. Let n be 150/u - 1/4. Let y be (0 + n/(-236))*(-8)/6. Are 0 and y nonequal?
True
Suppose -5058 - 502 - 12040 = 176*j. Do -107 and j have the same value?
False
Let y be (-40 - -44) + (816/44)/(-2). Let r(o) = o**3 + 5*o**2 - 4*o + 7. Let c be r(-6). Are c and y unequal?
True
Let q(b) = b**3 - 26*b**2 + 45*b + 51. Let v be q(25). Suppose 5*g - 2*j = v, -g - 3*g = -3*j - 445. Is g >= 0?
True
Suppose 9*p + 29*p = 3*p + 36890. Do -0.1 and p have the same value?
False
Let r = 1 - 1. Let x = 46045 - 46044.69. Is x at least r?
True
Let u(r) = 1628*r - 3303. Let c be u(2). Let t be ((-2)/(-15))/(3/(-1065)). Which is bigger: c or t?
c
Let y = -8230 + 7861. Is y equal to -1?
False
Let f(q) = 2*q - 1. Suppose m + 8 = -2*b + 6*m, 3*b - 2*m + 12 = 0. Let h(c) = -3*c + 1. Let k(v) = b*f(v) - 3*h(v). Let o be k(0). Is 4/35 > o?
False
Let n be (-10)/(-4)*(18 + 26). Let o(t) = -7*t + 41. Let h be o(-10). Which is greater: n or h?
h
Suppose 20*l - 35 = -15*l. Which is bigger: l or 8/585?
l
Let l = -38326 - -38326.225. Is -9/5 equal to l?
False
Suppose -12*r - 3417 + 369 = -156. Does r = -152?
False
Let k = 351 - 3867/11. Let h be (938/70 - (-140)/(-10))/1. Which is smaller: k or h?
h
Suppose 227 = -2*j + 5*h, -3*j + 190 = 2*h + 540. Let s be (-1)/(-3)*9 - 119. Is s less than or equal to j?
True
Let f be (-2 - -16) + (1 - (-1 - -1)). Suppose 60 = 5*q + 3*l - f, -l = 5. Let s be (-10)/(-10)*(-2)/q. Which is smaller: 3 or s?
s
Suppose -4*y + 132 = 20. Let i = y + -29. Let m = -147 + 147. Are i and m unequal?
True
Let p(a) = -936*a + 648. Let r be p(-11). Are 10943 and r nonequal?
True
Let b(q) = 15*q - 217. Suppose 0*v = 2*u + 4*v - 22, 53 = 4*u - v. Let j be b(u). Is j at least as big as -22?
True
Let q(t) = 7*t**2 - 21*t - 28. Let v be q(5). Is v bigger than 23?
True
Suppose 0 = 5*h - 30 - 175. Suppose 7*i - h + 76 = 0. Let m be ((-35)/15 + 3)*-9. Is m at most i?
True
Let c = 2613 + -8677/3. Is -278 greater than or equal to c?
True
Let j be (-104 - -105)*0*(-1)/3. Which is greater: -36/121 or j?
j
Suppose 2264*j - 2260*j = 128. Suppose 8428 = j*s - 46*s. Is s bigger than -602?
False
Suppose 1 = -h - 13. Let r be (-92)/(-161) + (-6 - 3627/455). Which is smalle