/3. Which is greater: u or -3/1990?
-3/1990
Suppose 0 = 5*p - p - 64. Let j(b) = 563*b + 1135. Let r be j(-2). Is p less than r?
False
Suppose 3*j = 6 + 33. Suppose 12*l - 26 = j*l. Let h be (2 + 102/(-45))/(4/6). Which is greater: l or h?
h
Let f = -6981 + 6978. Which is smaller: 89 or f?
f
Let b be 12 - ((-16549)/78)/(-19). Is b < -0.227?
False
Suppose -6543 + 18635 + 18688 = 108*f. Is f >= 2?
True
Let b(j) = -j**3 + 6*j**2 - 8*j + 1. Let o be b(4). Suppose -3*u + 5*u = -3*a - 600, 0 = -u + a - 295. Let w be 70/385 - o/u*-43. Are w and 0 non-equal?
True
Let f = 2091 - -2538. Which is greater: f or 4628?
f
Let t be (-12)/(-8)*(-4)/(-6). Let o = 26/561 + 12643/5610. Which is greater: o or t?
o
Let p(h) = 3*h**2 - 15*h - 301. Let s be p(-10). Do s and 156 have the same value?
False
Let d be -2 + 13 + -8 + 21/(-3). Let s(m) = -m**2 - m - 1. Let b(l) = -5*l**2 - 12*l - 20. Let j(x) = b(x) - 4*s(x). Let h be j(-7). Is h at least as big as d?
False
Let x = -5031/35 + 21789051/151585. Is x bigger than 0?
False
Let x be 3 + (-10 - -2857 - -13). Which is bigger: 2862 or x?
x
Let b = -16 - -7. Let f = 200 + -198. Let u be (-62)/6 + f + 0/(-4). Which is smaller: u or b?
b
Let i = 213 - 96. Let h be (2 - (i - -3))*(2 - 1). Which is bigger: -2/7 or h?
-2/7
Let f be (-12)/(-28) + 273/49 - -5. Let a be f/(-99) - 22/450. Is 1 bigger than a?
True
Let d be (205/(-35) + 6)/((-4836)/18 - 1). Is d bigger than -1?
True
Let c = 0.93 - 0.5. Let k = -0.396 + c. Let a = -24.354 + 24.254. Which is smaller: a or k?
a
Let h(p) = -294*p - 433. Let q be h(-3). Are q and -1/2 equal?
False
Suppose -82*d + 76*d = -12. Suppose 0 = -5*h - 4*j + 15, -3*h + d + 5 = 2*j. Is h less than 1/576?
True
Let q = 2847 - 5403. Let l be 6 + -8 - q/1280. Is l < 1?
True
Let q = -1847 + 1860. Do -11/5 and q have the same value?
False
Suppose -3*g - 80 = -5*g. Let c be ((-18)/g)/((-60)/(-50)). Which is smaller: c or -6?
-6
Let w = -8972 + 9021.6. Is w > 2/9?
True
Let c be (-26)/6*6351/((-4)/4). Let o = c - 40593473/1475. Which is smaller: -1 or o?
-1
Suppose -2*a + 4*r + 108 = 0, -a - 8*r + 9*r = -48. Which is bigger: 450/11 or a?
a
Let l be (1 + -3)/(0 + 2). Let n = 1987/6 - 14755/42. Let a = 3123/154 + n. Which is bigger: l or a?
a
Let k = -0.07 + -0.53. Let h = -1.5 - k. Let i = -1525 - -1526. Which is bigger: h or i?
i
Suppose 60*a - 16611 - 22613 = -12764. Is 439 <= a?
True
Suppose 25*l = 10 + 15. Suppose 4*c + 3*d - 3 - 9 = 0, 3*c - 3*d + 12 = 0. Let a be c - (-7)/(2884/8). Are a and l non-equal?
True
Suppose -5*a + 11 + 12 = 2*i, 32 = 2*i + 2*a. Suppose 4*v = 5*d - 53, -2*v - d - 4 = i. Let k be (3 - (-35)/v) + (-3)/9. Which is smaller: k or -13?
-13
Let t(a) be the first derivative of -a**3/3 + 9*a**2/2 + 4*a - 29. Let n be t(8). Let u be n/(-20) + (-8)/20. Is 3/82 less than or equal to u?
False
Let z = 1 - 0. Suppose 0 = -4*w + 3*t - 12, -27*w + 5*t - 34 = -25*w. Which is greater: z or w?
w
Let i be (1570/(-6))/(-5) - (-20)/30. Let b = i - 53. Let n be -3 - (-3)/(-114)*-86. Is b < n?
False
Let z = -0.11268 - -0.46268. Does z = -29?
False
Suppose -5*w = -3*g - w - 5, 5*g - 2*w = 1. Which is bigger: 2/2375 or g?
g
Let k(p) = 46 + 43 - p - 124 + 50 + p**2. Let i be k(-7). Which is smaller: 427/6 or i?
i
Suppose -16 = -3*m - m, -4*n - m + 172 = 0. Let g be (-12)/(-16) + n/(-40). Let w(i) = 54*i - 4913. Let u be w(91). Is g bigger than u?
False
Let m be (6 - (-1 - (-7326)/(-8))) + 1. Let v = 926 - m. Which is greater: v or -5?
v
Let t be -3 - 1/1 - -1. Let y(a) = -5*a**2 + 17*a - 4. Let v(l) = -2*l**2 + 8*l - 2. Let q(o) = t*y(o) + 7*v(o). Let i be q(-5). Is -10/3 > i?
False
Let d be ((-260)/(-64))/((-2)/4) - (-8 + 0). Which is smaller: -581 or d?
-581
Let z be (4/(-8) + 1)*6. Suppose 3*q + 1 = -4*g, z*g = -4*q + 4*g + 5. Let u = 4561/11 + -415. Is u less than q?
True
Let x(a) = -a**3 - 7*a**2 - 9*a + 7. Let g be x(-5). Let b(w) = 15*w + 10*w**2 - 2*w**2 + 0*w**g + 14 - 7*w**2. Let z be b(-14). Which is smaller: 2/17 or z?
z
Let o = 1.9 - -49.9. Let s = -52 + o. Let f = -231 + 2539/11. Is s > f?
False
Let b = 286 - 976. Let f = b + 689.84. Are 5/2 and f nonequal?
True
Let k be 1/((2/4)/(7/(-14))). Let y be 6/k + 740/50. Which is greater: 8 or y?
y
Let t(p) = -25*p**2 - 111*p + 26*p**2 + 85*p + 11 + 62. Let k be t(21). Is k >= -32?
True
Let i(c) = -c**2 + 59*c - 270. Suppose -18*y = 3*l - 13*y - 106, -4 = y. Let q be i(l). Is q at least 445?
False
Suppose -15*j = -20 - 25. Suppose 60 = -5*w - j*t + 6, -2*w - 5*t = 14. Let d(k) = -k**2 - 10*k + 18. Let b be d(w). Which is greater: b or -15?
b
Let d = 305 + -289. Suppose -d*c + 951 = -57. Is c >= 62?
True
Let u be ((-16)/(-26))/(4/6). Let h(c) = -80*c - 1855. Let l(g) = -22*g - 464. Let t(m) = 4*h(m) - 15*l(m). Let o be t(46). Which is greater: o or u?
u
Let d = 7.02 + -7.22. Is -2140 equal to d?
False
Suppose -83*r = 125*r + 43*r + 1894799. Which is greater: -7550 or r?
r
Let j = 5496 - 1802. Which is smaller: j or 2/3?
2/3
Let i = -129 - -375. Suppose -i = -5*k + 3*s, 4*k = 6*k - 4*s - 104. Is k at least 48?
True
Let o be 4/10 - 6/(-10). Let i be 228/(-76)*181/5130 + 2/20. Which is greater: i or o?
o
Let t = 15745326811/41770 + -376953. Is t less than -1?
False
Let j be (-3)/5 - (-1865)/25. Suppose 7*n = j + 101. Let o be (10/n)/(-2 - 29/(-15)). Which is greater: -5 or o?
-5
Let m = 1095 - 631. Suppose 6*o - 90 = o. Let p be m/o + (-10)/(-45). Is p != 25?
True
Suppose t + 5*f = 1361, 19*t = 21*t - f - 2788. Which is smaller: 1390 or t?
1390
Let t be 2*-3*(-5)/(-210) + 4/28. Let y = -7358227/697 + 10557. Which is smaller: y or t?
t
Let k(m) = 4*m + 7. Let q be k(-2). Let o(a) = 159*a**3 - a**2 - a - 1. Let r be o(q). Let c be (2 - r/(-75))*(-6)/(-38). Is -1 bigger than c?
False
Let c(s) = -2*s**2 + 46*s - 204. Let w be c(5). Suppose 0 = 2*k - 21 + 67. Which is bigger: w or k?
k
Let u = -93.6575 - -92.6. Let l = u + 0.0575. Are -0.024 and l unequal?
True
Suppose 5*t + 4*g - 2 = -0, g + 2 = 0. Let q be 6/t - (-117)/(-36). Is -3/34 <= q?
False
Suppose 4*j - 12 = -3*w, -3*w - 44*j + 46*j - 6 = 0. Which is smaller: w or 8/2967?
w
Let m = -0.14537 - 0.03463. Which is smaller: m or -10?
-10
Suppose 0 = 5*p - 0*p + 2*p. Let j(i) = 13*i + 8 + p - 3. Let d be j(1). Are d and 20 nonequal?
True
Let v(h) = h**3 + 5*h**2 + 4*h - 1. Let c be v(-4). Let b be 42/(-8)*320/2340. Let o = b + 44/13. Is o < c?
False
Let x be ((-1111)/(-33))/(1/3). Let l be ((2574/(-231))/(2/14))/(39/(-52)). Are l and x unequal?
True
Let f = -3513682486/18299 + 192015. Is -1 equal to f?
False
Suppose 73 = -3*o - 11. Suppose 38*f + 196 = -14*f - 1052. Which is bigger: o or f?
f
Let n = -1.823 - -8.823. Which is smaller: -6/13 or n?
-6/13
Let l(c) = -18*c + 4 - 13 + 13*c - 5. Let p be l(-3). Let m = 164 + -1798/11. Which is bigger: m or p?
p
Let f = -12 - -11. Let m be f/14*(-3)/(-2). Let d be 0/((3/1)/(-3)). Which is greater: d or m?
d
Let k = 3812.937 - 3813. Which is smaller: 1/8 or k?
k
Suppose -33*v - 85247 - 82259 = -24418. Is v smaller than -4337?
False
Let n be -25 - (60/(-10) - -17). Which is smaller: 0.15 or n?
n
Let k be (-4)/(4/((-12)/(-9))). Let q(n) = 6*n + 78. Let i(y) = -y - 20. Let p be i(-7). Let z be q(p). Which is bigger: k or z?
z
Let n = 6 - 6.18. Let x = n + -0.02. Let t = -7.95 + 8.05. Which is smaller: x or t?
x
Suppose 4*g = -5*a + 209, -4*g + 3*a = g - 215. Let j(v) = -v**2 - 27*v - 34. Let x be j(-21). Suppose 10*t = 8*t + x. Is t at most as big as g?
True
Let v = 11562 + -104276/9. Which is bigger: -25 or v?
v
Suppose 5*z = -3*w - 10, -3*z + 23 = w - 5*w. Let r = -3538 - -923416/261. Let m = r + 596/9657. Are m and z non-equal?
True
Suppose -54*l + 50*l = -45664. Which is bigger: l or 11415?
l
Let a = 1.85 + 9.15. Let c = -11.1 + a. Which is smaller: -57 or c?
-57
Let y(p) be the first derivative of -9*p**2/2 + 62*p - 24. Let a be y(7). Which is bigger: 1/33 or a?
1/33
Let u be 4 + (0 - -3) - (-17 + 15)*6. Do u and -189 have different values?
True
Suppose 3*x + 10 = 16. Suppose 4*o - 3*p - 4 = 0, -o + x*p - 18 = 6*p. Let w be 34*((-2)/(-4) - 1/o). Is w >= 33?
True
Suppose 2*v - 5 = -0*v - f, -5*v + 3*f - 15 = 0. Suppose v = -2*q - q - 21. Let y = -8017314 - -8017315. Is y less than q?
False
Let a = 192.0848 - 192. Is -1 >= a?
False
Let v = 0 + 0. Let