 -4/19?
-4/19
Suppose -80*t = 3*i - 76*t + 518, -336 = 2*i - 2*t. Which is bigger: i or -165?
-165
Let u = 68 + -64. Suppose -5*t + 5*m + 1295 = 0, u*t - 3*t - 255 = 5*m. Suppose -4*g + t = -4*b, -2*b = 5*g + 73 + 22. Is -60 at least as big as b?
True
Let o(f) = -f**3 + 5*f**2 + 5*f + 7. Let d be o(6). Let v be (0 - 3) + 0 + 2470/810. Do d and v have the same value?
False
Let p be (-15)/(-9)*1026/1995. Let q = 1 + 0. Which is greater: p or q?
q
Let d = 182 + -149. Suppose 15*y - 91 = 404. Are d and y unequal?
False
Suppose -4*m - 3*n = 20, -5*m + 2*n + 43 = 22. Is m greater than -1/6370?
True
Let m = 96 - 94. Let t(h) = -15*h + 9. Let z be t(m). Let b be 3 + 6*3/z*7. Is 27 less than b?
False
Let t(p) = -p**2 + 20*p - 75. Let u be t(14). Suppose -6*k + 15 = u. Is k smaller than -3/280?
False
Suppose 2*a + 20540 = 4*l, 0 = -80*l + 79*l + a + 5132. Is 5136 at most as big as l?
True
Let t(k) = -k**2 - 11*k + 26. Let b be t(-13). Let z be (4 + b + -3)/1. Let c be 558/162 + z*-3. Is c less than -1?
False
Let c = -59/55 - 267/110. Is 1 less than or equal to c?
False
Let n be (-1562)/426 + (-35)/45. Which is bigger: -52 or n?
n
Let d = -69.3 + 26.3. Let g = 26 + d. Is g > -0.3?
False
Let v = 189 - 186. Suppose -5*u - v*z - 85 = 0, 5*u - 5*z - 38 = -123. Let x be (-104)/6 - 2/(-6). Is x >= u?
True
Let a(j) = j**2 + 7*j - 1. Let k be a(-8). Let h(u) = u**3 - 6*u**2 - 7*u + 2. Let w be h(k). Let m be w/(-6) + (-264)/(-36). Is m equal to 4?
False
Suppose -88 = 5*d - 423. Let c(u) = u**2 + 21*u - 2795. Let s be c(-65). Which is smaller: s or d?
s
Let f = -2482 - -2749. Which is greater: f or 262?
f
Let o be 7/(21/5)*9. Let n be o/(315/(-28))*6/(-4). Let w be (-3)/(50/(-26) + n). Does -39 = w?
True
Let w be ((-12)/15)/(2/(-25)). Let x be ((-6)/w)/((-32)/(-20)). Let j(g) = 10*g + 140. Let m be j(-14). Which is smaller: x or m?
x
Suppose -5*k + 5*q = 2510, -1010 = -6*k + 8*k - 4*q. Which is bigger: k or -497?
-497
Let v be (-648)/(-84)*7 - -9*2/3. Is v bigger than 117?
False
Let o(y) = y + 1. Let l be o(1). Suppose -l = -9*b + 7*b. Let w be 80/231 - (18/14 - b). Which is smaller: w or 0?
0
Let n(x) = 3*x + 37. Let o be n(-9). Let y = -44 + o. Is -33 bigger than y?
True
Let b = 288 - -4. Let r = b - 272. Is 39/2 <= r?
True
Suppose -3*c + 1 + 2 = 0. Let w = -20707 - -9960073/481. Let s = 1413/2405 + w. Is s at most c?
True
Let b = -236 + 249. Suppose -p = -b*p - 252. Is -17 greater than p?
True
Let c = -355/1071 + 32/63. Are c and -135 unequal?
True
Let n = -44 - -7. Let f = -93 - n. Let w = f - -41. Is 0 smaller than w?
False
Let a be (-2650)/4 - (-221 - -213). Which is bigger: a or -656?
a
Let i be (34 - 30 - 451/113)/((-1)/12). Which is smaller: 1 or i?
i
Suppose -12*u + 0*u = -u + 363. Is -570/17 greater than u?
False
Suppose -24*a - 1054 = -26*a. Let j be a/(-93) + (-4)/(-6). Which is greater: -2 or j?
-2
Let p be -1 + (-9)/(-15) - 1292967/(-183). Let k = p - 7065. Let v = -588/3355 + k. Which is greater: v or 1?
1
Let z be (-24)/132 + 5460/21318. Which is smaller: 0 or z?
0
Let i = -11042 - -11041.9671. Which is bigger: i or -13?
i
Let z(y) = 13 - 7*y + 18*y**2 + 6*y - 8*y - 17*y**2. Let j be z(2). Which is smaller: j or -7/37?
j
Let h = 7560.602 + -7561. Are 1.1 and h equal?
False
Suppose 0 = -37*c - 31210 - 27472. Which is greater: -1587 or c?
c
Let k = 263/3 + -87. Let x = 26.4138 - -27.5862. Which is smaller: k or x?
k
Let a = -203 - -329. Suppose 78*c - 75*c = -a. Is -41 bigger than c?
True
Let r be 171/(-30)*(-8)/42. Let w = r + -1284/35. Are -37 and w equal?
False
Let b = 2365 + -2364.98. Are b and 0.18 equal?
False
Let b = -47771 + 48257.86. Let v = 476 - b. Let z = v - -0.86. Is z smaller than 4?
True
Let k = -0.3 + 0.2. Let r = 167 - 152. Suppose 19*o = r*o - 144. Is k at least as big as o?
True
Let c = -9.974 - 0.026. Let f = c - -21. Let d = f - 11.2. Are 28 and d equal?
False
Suppose 5*f = -2*u - 2, -3*f + 6 = 4*u + 2*f. Suppose 3*b = -u*v - 0*v + 21, 0 = -5*v - 4*b + 25. Let h be 10/45 - (-43)/v. Which is smaller: 7 or h?
h
Suppose 3*n - 3*g + 60 = 0, -2*n - 35*g - 70 = -31*g. Do -25 and n have the same value?
True
Let g = -78137/9 + 8682. Which is bigger: g or -11/3?
g
Suppose -108 = 4*d + 3*c, 2*d - 5*d - 92 = 5*c. Let b(r) = 4*r + 123. Let v be b(d). Suppose 3*u - 21 - 60 = 0. Are u and v unequal?
False
Suppose -4*j - 8 = 4*c, -4*j + 3*c - 5*c - 6 = 0. Let g be 49/4 + -12 + 13/188. Is g at most j?
False
Let x = 0.1083 - 0.0514. Let m = -2.9431 - x. Is m smaller than 0.02?
True
Let y = -2659 - -3272. Is y less than 612?
False
Let g(j) = 40 + 76*j + 32 - 62. Let y be g(-2). Is -141 > y?
True
Let m(o) = 6*o + 44. Let b be m(-8). Let p be (b/(-3))/(12/9 + -1). Is 3 less than or equal to p?
True
Let o(b) = -5*b**2 + 21*b - 2. Let r be o(4). Suppose -3*d - 3*l - 171 = 27, r*l = 3*d + 213. Let t = 49/2 - 25. Are t and d non-equal?
True
Suppose -2*u + 8264 = 544. Let h = 96516/25 - u. Is h at most 2?
True
Let a = -123892644016337/12757632263415 + 1/7607413395. Let c = a - -22/1161. Is c smaller than -9?
True
Let s(n) = n**3 - 7*n**2 + 2*n - 9. Let p be s(7). Suppose 3*d - 112 = i, -p*i - 2*d = -7*d + 600. Let t be -5 + 6 - (-132)/i. Which is smaller: t or 0?
t
Let n = 64/10577 + 2600525/12470283. Let b = n - -1/131. Let c be 4/((-48)/4) - (-4)/(-6). Is b bigger than c?
True
Suppose -7*q + 31 + 60 = 0. Suppose q = -m + h - 3*h, -h = -3*m - 11. Is 0.01 greater than m?
True
Let w = 1144551/44 + 139081/11. Let r = -38467 + w. Let y = r + -2225/12. Which is bigger: 4 or y?
4
Let k(s) = 5*s**2 - 127*s - 380. Let u be k(-3). Do u and 0.064 have the same value?
False
Suppose -350 - 83 = -5*j + 4*b, 0 = -4*j - 3*b + 334. Let l = 3 + -3. Suppose 0 = -t + 6*t - 4*s - 40, -5*t - 5*s + j = l. Which is smaller: t or -1?
-1
Let k be ((-4)/(-104))/(1/(-58)). Let b be (-7 + 13/26 + 7)/(2/(-4)). Which is smaller: k or b?
k
Let f be 5*((-50)/(-5) - 104027/35). Is -14811 equal to f?
True
Let p(w) = 173*w + 93. Let r be p(-11). Is -1810 at most r?
True
Let i = 15218.919 + -15227. Let c = -0.081 - i. Let z = 7.4 - c. Is z at least as big as 3?
False
Let a = 203 - 379. Let v = a - -175.8. Which is smaller: 1.5 or v?
v
Let z(p) = -25*p + 13. Let t be z(-12). Suppose 2*a - 43 = -t. Which is greater: a or -137?
a
Let z = 314 - 206. Let q be -8 - -14 - z/20. Let b = 37/246 + 2/123. Is q at most b?
False
Let d = 5/10192 + 1773113/601328. Which is smaller: 2 or d?
2
Let o = -175301172/583 + 300688. Which is smaller: -1 or o?
-1
Let w be 3/((-9)/(-16)) + 7/(-189)*-18. Which is bigger: w or 0.366?
w
Let d be (3 - 4) + -2 + 20. Let k be 2*d - -2 - (2 + -3). Suppose 36*l - k*l + 1 = 0. Is -2/33 less than l?
True
Suppose -5*j = -5*a - 210, 2*j = -j. Let f = 45 + a. Suppose 5*p + 15 = -f*m, -2*p = -6*m + 5*m + 6. Is m greater than or equal to -10/11?
True
Let f = 11436 + 662. Which is greater: f or 12099?
12099
Let w be (18/270)/((-48)/3980). Let t = w + 11/2. Which is greater: t or -5?
t
Let l = 3123/40 - 396/5. Let t = -79213 - -79213. Which is smaller: l or t?
l
Let f = -126.093 - -126. Let w = f - 8.907. Let g = -109/3 - -36. Which is smaller: g or w?
w
Suppose 31*w - 2*w + 26452 + 281876 = 0. Which is greater: w or -10631?
-10631
Let r be ((-141)/156)/(6/2715). Suppose 5*f - 4*v - 2053 = 0, v + 2 = -0*v. Let h = f + r. Which is bigger: h or 0?
h
Let c(r) = r**3 - 9*r**2 + 8*r + 7. Let d be c(8). Suppose -33 = -2*s - 4*a - d, s + 12 = 3*a. Let x = 5.06 - 5. Which is greater: s or x?
s
Let h = -5145 + 2877. Are 1 and h non-equal?
True
Let a be -2 - (1 + 1 + -4). Let j = -13969/9 - -1552. Which is smaller: a or j?
j
Let q be 6/(156/(-121502906)) + 0. Let v = 4676343 + q. Let m = 3158 - v. Which is smaller: 4 or m?
m
Let h(x) = -x**3 - 17*x**2 + 17*x - 15. Let f be h(-18). Suppose 0 = f*l + 54 + 18. Is -26 bigger than l?
False
Suppose 9*m = 12*m - 6. Let a(q) = -3*q**3 + 5*q**2 - 2*q - 6. Let l be a(m). Which is smaller: -5 or l?
l
Let f be (-24)/(-2) + (-7)/((-7)/(-3)). Let w be (-9)/(-3) - (-320)/f. Let i = -2717/63 + w. Which is greater: i or -6?
i
Let d = -0.73 + -2.53. Let y = 3.5 + d. Let t = y + 0.76. Which is bigger: -2/13 or t?
t
Let u = 2/150347 - 210786512/1353123. Let s = u - -156. Suppose 4*d - 5*d = 0. Which is smaller: s or d?
d
Let z be 9/(12 + -66)*(-20)/13.