t
Let j = 12084 + -12083. Which is greater: 6/4903 or j?
j
Suppose -1522 + 1504 = -2*s + 5*v, -3*v = 3*s + 15. Let l be (-2)/3*(-9)/(-3165)*1. Which is greater: l or s?
l
Let v = 59 - 368. Let b = v + 146. Are b and 1 equal?
False
Let p = -1210983/7 + 174077. Does p = 1080?
False
Let u be 43/((-341334)/126896) + 16. Which is smaller: -0.2 or u?
-0.2
Let c be ((-6)/(-15))/((-4)/120). Let a = -3.16 + -1.84. Is a greater than or equal to c?
True
Suppose 0 = 8*d - 2*d + 2280. Let x = 89 + d. Do -292 and x have the same value?
False
Let v(h) = h + 9. Let b be v(-2). Let f be (-148)/(-14) + (2 - b). Is f >= 5?
True
Let s = 149 + -153. Let h be (-130)/(-45) - s/16*0. Is 3 smaller than h?
False
Let s be -87*(2 + (-2)/3). Let k = 68425 - 68543. Is k not equal to s?
True
Let b(w) = -w**3 + 11*w**2 - 5*w + 10. Let p be b(10). Let t be 2/p*(-2 - 5)/(-49). Is t bigger than -1?
True
Let x = 46 - 83. Let i(z) = -13*z + 63. Let m be i(5). Let b be 75/m + (-19)/(-38). Do b and x have the same value?
True
Suppose 124*h - 217093 = 273*h. Is h <= -1459?
False
Let r(p) = 7*p + 21. Let w(h) = 15*h + 43. Let s(i) = 13*r(i) - 6*w(i). Let b be s(-14). Which is smaller: -4/25 or b?
-4/25
Let o be (34/(-51))/((-2)/3) - 296/72. Is -2 greater than o?
True
Let u(g) = g + 5. Let z be u(-3). Suppose z*q - 2*p = -22, 0*q + 13 = -q - p. Does -12 = q?
True
Let y be 18280/60 - ((-24)/(-9) - 4). Is 1219/4 < y?
True
Let g(v) = -v**3 - 7*v**2 + 9*v + 10. Let d be g(-8). Suppose d*k = -25 - 41. Let t = -35 - k. Which is smaller: t or 1?
t
Let f = -26.753 - -27.453. Which is greater: f or -106/5?
f
Let k = -0.2358 - -0.1358. Do k and 1184 have different values?
True
Let s be (-72525)/(-2067525) - 2/54. Which is greater: -0.2 or s?
s
Let y be (738/7749)/(0 - 22/(-14)). Suppose 4 + 1 = 5*n. Let q be 0 + -2 - (-3 + n). Is q at least y?
False
Let f(r) = -2*r + 3. Let x be f(-1). Suppose 2*h - 61 = x*g, -2*g = 7*h - 10*h + 20. Which is greater: -64/5 or g?
-64/5
Let u = -96 + 147. Let b(s) = 14*s + 45. Let d be b(-3). Suppose -174 - 27 = -4*r - d*y, 260 = 5*r - 5*y. Is r at least as big as u?
True
Let g(s) = -4*s**2 - 6*s. Let k be g(-3). Let l be (k - -13) + (-59)/(-12). Is 0 smaller than l?
False
Suppose -158*h = -141*h. Does -9/10 = h?
False
Let b be (78/(-65))/((-6)/(-20)). Suppose 3*v + 21 = 12. Is b less than v?
True
Let w be (-18)/24*4 - (95/30 + 5). Which is smaller: w or -11?
w
Let f(k) = 74*k + 168. Let z be f(-2). Let y(l) = 1 + 18*l - 7 + 8. Let p be y(1). Is z bigger than p?
False
Let t = 22130/1673 - 430/239. Let v = -26 + 36. Which is greater: v or t?
t
Let f be 3/(-5) + (-7180)/(-50) + 0. Let k = -80 + f. Is k less than or equal to 62?
False
Suppose z = -4*k, -3*z + 2*z + 2*k - 12 = 0. Let u be -3*2*4/z*7. Let n = 24 - u. Which is bigger: n or 2?
n
Let s(j) = j + 16. Let v be s(-11). Let l be (0/1)/(0/v - -2). Let u = 75909/23 + -3301. Does l = u?
False
Suppose f - 294 = 4*w, 0 = 4*f - 4*w - 1685 + 461. Suppose -24*x + f + 338 = 0. Which is greater: x or 294/11?
x
Suppose 50505 = -31*s + 49*s - 129*s. Is -452 equal to s?
False
Let r(d) = -d**2 + 59*d - 178. Let u be r(51). Is u > 233?
False
Suppose 647 = 41*t - 243 - 25391. Which is smaller: 640 or t?
640
Let b be 7 + 275/(-35) + (-66)/(-77). Is 3/1235 at least b?
True
Let k = 780011/9484 - -12/2371. Is 81 at most k?
True
Let i = 0.465 + -0.308. Let h = i + -0.15. Which is smaller: -2 or h?
-2
Let x(y) be the third derivative of -y**4/12 - 25*y**3/6 + 40*y**2. Let o be x(-13). Which is greater: -3/28 or o?
o
Let a be (-12)/3*(7 + 2). Let q = a + 109/3. Let g = -3 + 4. Are q and g non-equal?
True
Let n(k) = 54*k - 157. Let s be n(3). Suppose 0 = -g - 110*z + 113*z + 244, -4*z - 1275 = -s*g. Is -2 less than g?
True
Let k be ((-12)/(-180))/(11/(-132)). Is k <= -333?
False
Suppose -68*g + 36 + 40 - 8 = 0. Which is smaller: g or -12/2549?
-12/2549
Let a(j) = -84*j - 33. Let m be a(-2). Suppose -37*d = -34*d - 402. Is d greater than or equal to m?
False
Suppose 0 = 2*p - 3*o - 851, -429 = -p - 5*o - 23. Let n = 439 - p. Let c = -10 + 29. Is c < n?
False
Let f be 12 + (-153)/12 - 23/(-3912)*130. Is 0 at least f?
False
Let j = 1117767565/1609070918 - 5/1263007. Let z = j + -17/26. Let d = -220 + 220. Is d at most z?
True
Suppose -310 = -16*k - 6. Suppose -k*b + 18*b = 0. Which is bigger: b or -1/232?
b
Suppose -2*y - 2*y = -20. Let v be (1*(-45)/(-156))/(20/320). Which is bigger: y or v?
y
Let w be 8/(-14)*(-2485)/710 + (-27)/(-4). Suppose -3*c + 0*h + 26 = 2*h, 3*c - 2*h - 34 = 0. Is w < c?
True
Let m = -31060 - -40185. Is m at least 9127?
False
Let i = -879 - -615. Let g = 263 + i. Is g not equal to -2/173?
True
Suppose -5*u - i - i - 19 = 0, -5*u + 4*i = 7. Let q be u/4 + (-4)/(8 - -8). Does q = -3?
False
Suppose -8*j + 0*j - 8 = 0. Let z be (2 - 2)*j - (-36 - -35). Which is smaller: z or 2/627?
2/627
Let k(o) = -o**2 + 21*o + 760. Let d be k(53). Are d and -939 non-equal?
True
Let q be 1*(-9 + -394)/(-13). Is 588/19 bigger than q?
False
Let j = -1203 - -1207.624. Let s = 4.6 - j. Let w = s - 0.076. Is w less than 13?
True
Let u = -175.727 - 0.273. Let l = u - -95. Let p = 2017.1 - 2017. Do p and l have different values?
True
Let x = -13093 - -13092.98. Is x greater than or equal to 578?
False
Suppose -3 = -3*g + 9, -2*a + 5*g + 280 = 0. Let j = a + -147. Let f(y) = -y**3 + y**2 + y + 2. Let l be f(2). Is j smaller than l?
False
Let i = -0.06594 + 57.92394. Let a = i + 0.142. Let q = a - 61. Do 6 and q have the same value?
False
Let q(r) = 23*r - 1. Let c be q(2). Suppose 0 = -3*z + 3 - c. Is -12 at most as big as z?
False
Let m = -181 + 909/5. Let c(h) = -3*h**3 + 2*h**2 + 37*h + 15. Let n be c(-7). Suppose -883 = -6*u - n. Which is smaller: u or m?
u
Let x = -13738 + 13739. Which is smaller: x or 11.764?
x
Let b = 24174 - 24173. Is b > 202/85?
False
Suppose -204*p = 55*p. Let a = -1025693/3682 - -1950/7. Is a equal to p?
False
Let n be (-4 - (-18)/4)*54. Let c = n + -36. Suppose -5*s - 3*q = 42, -s + 2*q - 12 = -q. Is s != c?
False
Let w be (-780)/(-390)*((-317)/(-2))/(-1). Is w at least -328?
True
Let c be -3 - -2 - 5753/27. Let p = c + 214. Let u = -305/2 + 152. Which is bigger: u or p?
p
Let c = 1 + 0. Let w = 18.5 - 16.6. Let i = 1.79 - w. Is c at least i?
True
Let n = -83 - 27. Let s be 1/(n/(-10694)) - (-4)/22. Let p = s + -1381/15. Is 5 equal to p?
False
Let s be (1 + -4)*(45080/21)/14. Let x = 474 + s. Is 14 > x?
False
Suppose 22*q + 5307 = 5285. Is q <= 1/9792?
True
Let b = -1595 + 2019. Which is smaller: b or -2/5?
-2/5
Let h(o) = -o**3 + 7*o**2 + o - 28. Let p be h(6). Suppose p*l = 11*l + 312. Does l = 101?
False
Let p = -3121782467696155/731524711218 + 2072/188634531. Let f = -8535/2 - p. Which is smaller: f or 1?
f
Let b be (-2 - 2640/(-1761)) + (-2)/(-4). Let r = -2445/113878 - b. Which is smaller: r or -1?
-1
Let d = 94.2 - 65. Let w = d + -68.3. Let s = 39 + w. Are 2 and s equal?
False
Let g be (272/3060)/(2/(-4765)). Are -212 and g equal?
False
Let t(p) = -3*p - 14. Let w be t(-5). Suppose o - w = -14. Let m be (o - -17)/(15 - 1). Is 1/2 <= m?
False
Let o(f) = -f - 10. Let u be o(-10). Suppose u = 5*g + 6 - 1. Let p be 4 + (-702)/30*g/(-6). Is 0 less than p?
True
Let p be (9/(-36))/(3/(-8))*3. Let o = -3 - p. Let g be (75/(-9))/o + 3/9. Which is bigger: 4 or g?
4
Let k = -0.497 + 0.482. Is k > 0.2?
False
Suppose -2*c + 16 = 6*c. Suppose 10 = -5*r, -5*r + 4 - 20 = c*l. Let a be (1 + 2/l)/((-1)/9). Which is greater: -11/3 or a?
a
Let l = 629093/8 - 78425. Suppose -528*r + 1696 = -536*r. Let g = r + l. Which is bigger: g or 0?
0
Let g = -980/9 + 28414/261. Let c(y) = -111*y**2 - 5556*y - 301. Let i be c(-50). Which is greater: g or i?
g
Let z = 1187 - 1187. Let q = -1105 - -482883/437. Which is greater: z or q?
z
Let n(z) = -9*z**2 - 3*z - 3. Let x be n(-1). Let s(j) = -4*j - 9. Let c be s(x). Which is greater: c or 1/3?
c
Suppose 0 = 10*r - 17 + 287. Let j = r + 30. Suppose -j*f = 7 - 4. Do -2/29 and f have the same value?
False
Let z(t) = t**3 - 7*t**2 + 5*t + 7. Let s be z(6). Let u be 1 + 6 + 2*8/(-16). Let p be (3/2)/1*52/u. Do p and s have the same value?
False
Let q = 54 + -54.032. Let s = 12.968 - q. Which is smaller: -2/5 or s?
-2/5
Suppose -5 = 9*s - 10*s. Let i = -15 - s. Let u be (-45)/36 - 17/