o = -3*p + 15, 4*p - 2*p - 4*o = -14. Which is smaller: 1/7 or p?
1/7
Let l = 321.3 + -322.081. Which is bigger: l or 1/8?
1/8
Let w(c) = c**2 + 16*c + 183. Let j be w(0). Is j <= 183?
True
Let l = -9635103/12395 + -154/2479. Let s = -781 - l. Let b = 49/15 + s. Is -29 > b?
False
Let i = -35 - -34. Let u be (-24 + 24)*i/(-2). Suppose 7*j + u*j - 21 = 0. Is 6 smaller than j?
False
Suppose -4*i = 4*a + 748, -6*i + 5*i - 3*a = 191. Let l be -2 + i/180 + 3. Which is smaller: 1 or l?
l
Let y = 24.42648 + 0.07352. Which is greater: 1 or y?
y
Suppose 2*p = 7*p. Suppose 5*y - 104 = 51. Suppose -35*h + y*h + 56 = p. Which is smaller: -0.2 or h?
-0.2
Let n be (-12)/(-2) + 15 + (-3382)/99. Let f be 586/45 - 2/(-10). Let z = f + n. Which is greater: 0 or z?
z
Suppose 20*j + 1923 = 103*j - 733. Suppose 5*b - 142 = 8. Is b greater than or equal to j?
False
Let g(f) = 16*f - 130. Let z be g(8). Let i be (z + (-14)/(-8))/1. Is -2/17 at least as big as i?
True
Let t be (102/85)/((-2)/5). Let p(m) = -m**2 + 3*m + 16. Let y be p(t). Which is smaller: y or -16/9?
y
Suppose -4*q - 5*u = -0*q - 22, -6 = 3*u. Suppose -q = -2*p + 4*h, 4*h = 3*p - 8*p + 34. Let z be (9/p + -1)*8/14. Is -0.12 smaller than z?
True
Let g be (-528)/2*1 + -3 + 2. Let c = -266 - g. Which is bigger: c or -3/145?
-3/145
Let m(w) = -w**2 + 8*w + 8. Let b be m(4). Suppose 871 = b*z - 89. Is 40 not equal to z?
False
Let n = 2487 + -2488. Is n <= 3068?
True
Suppose -2*t = 3*h - 26, 6 = 5*t - 14. Suppose 55 = h*m - 17*m. Which is greater: -11/3 or m?
-11/3
Let g = -5.93 + 338.93. Let h = g + -336. Let j = -44 + 19. Which is greater: j or h?
h
Suppose -735*o - 792 - 689 = -736*o. Is 1481 <= o?
True
Suppose 3*r = -r + 384. Suppose r = 2*m - 4*k + 3*k, 84 = 2*m + 2*k. Let g = m - 25. Is g less than or equal to 21?
True
Let o be 30/(-9)*6/(-4). Suppose o*j + 427 = 4*k, -j = k - 4*k + 323. Suppose w - q = 4*q + 15, -k = -4*w + 4*q. Are 30 and w non-equal?
False
Let l(i) = -i**3. Let z(w) = 2*w**2 + 6*w + 4. Let x(m) = -l(m) - z(m). Let p be x(-2). Which is bigger: -96/11 or p?
p
Suppose 12 = -s + 5*s. Let a = 2/33883 + 1931299/542128. Which is bigger: a or s?
a
Let l be (3/(-14))/((-3)/4). Let t = -182.181 + 182. Let w = 0.011 + t. Which is bigger: l or w?
l
Let o = -58 - -61. Suppose t = -o*t + 36. Suppose -t*n + 4 = -7*n. Which is bigger: n or 3?
3
Let p = 7830 - 7920. Let k = -6 + 7. Which is bigger: k or p?
k
Let w = -15.2 + -63.8. Let s = w + 63. Let u = 17 + s. Does 3 = u?
False
Suppose 9*l = -4*l + 578 + 7. Is l at most -28?
False
Suppose -4*q + 15*n = 12*n, 0 = -n. Which is greater: -8/27 or q?
q
Let v be 188/(-6)*(-15)/5. Let f be (-36)/24*(-2 + v/3). Let k = f - -39. Which is smaller: k or -1?
k
Let q be 15/(-25) - (-494)/760. Which is smaller: q or -187?
-187
Let h = 129.0368 - 129. Let i = -0.2368 + h. Is -45.5 less than i?
True
Let l = -0.691827 - 324.917173. Let p = 325 + l. Let k = p + 0.109. Which is bigger: 1 or k?
1
Let v = 4212 + -4493. Which is bigger: v or -210?
-210
Let c = -258 - -1054. Is c at least 796?
True
Let g = -16 - 97. Let m be -2 + 3/15 + 2244/(-20). Which is greater: g or m?
g
Let p be (-10)/(-24) + ((-876)/108 - -8)*3. Which is greater: 91 or p?
91
Let r(y) = -y**2 - 16*y - 12. Let u be r(-15). Suppose u = 3*h - 24. Let b(w) = 2*w - 21. Let x be b(h). Which is smaller: x or -9/4?
x
Let l(d) = 60*d**2 + 28*d + 888. Let c be l(-18). Does c = 19824?
True
Let s = 0.07 + 10.93. Let o be 3/(-21) + (-1807)/973. Is s less than or equal to o?
False
Suppose -181*n + 10*n - 13*n = -87952. Which is smaller: n or 473?
473
Suppose 13*a = 14*a - 18. Suppose -w + 4*i = -a, i + 4 + 0 = 0. Which is smaller: w or 16/23?
16/23
Let f = -122 + 127. Suppose f*l - 120 = -3*z, 4*l - 5 = z + 91. Is -6 not equal to l?
True
Let k = 43/15 - 43721/15330. Is 0 at least as big as k?
False
Let h = 16936948/722117 - 2/65647. Suppose 0 = -2*i + 13 + 33. Which is smaller: i or h?
i
Suppose 828 = 67*h - 103*h. Is -179/8 > h?
True
Let p = -74.42 + 77. Let m = -0.58 + p. Let d be 14/4 - 2/(-4). Which is greater: d or m?
d
Suppose -1111 = 7*k + 303. Let s = k - -220. Is 18 smaller than s?
False
Let o(w) = 220*w - 1564. Let p be o(7). Which is smaller: p or -33?
-33
Let t = 26868 + -99062321/3687. Which is smaller: 1 or t?
t
Let z = -2 + 3.1. Let l = -5.93 - 189.07. Let y = l - -192. Which is smaller: y or z?
y
Suppose 4*f + 10673 = 5*t + f, -2 = 2*f. Suppose -2*d - 9*d + t = 0. Is d at least 194?
True
Let l = 811 - 919. Let c = l - 154. Is c greater than or equal to -2/5?
False
Suppose -3*m + 0 - 17 = 5*k, -11 = 5*m + 4*k. Suppose 0 = -4*z + 13*d - 12*d + 11, -4*d + 20 = 0. Which is smaller: z or m?
m
Let y = -488 + 493. Let r be (y - 9)/(-16) - 3/(-12). Are r and 37 unequal?
True
Let d = -125.113 - -0.113. Let r = -15.178 - -15.078. Is d greater than or equal to r?
False
Let x = 7 - 19/3. Is x < -903?
False
Let f = 14213 - 44372987/3122. Which is smaller: -1 or f?
-1
Let y be ((-73 + 76)*(-1)/3)/(-1 + 5). Let s be -2*(474/4)/(-3). Which is smaller: y or s?
y
Suppose -i - 18 + 4 = 3*j, -70 = 5*i - j. Suppose 25*h + 399 = 4*h. Which is smaller: h or i?
h
Let x be (-21220)/(-46790)*(0 + 1151/(-24)). Let q = x - 2/14037. Let d be ((-22)/(-4))/(1/(-4)). Which is smaller: d or q?
d
Suppose 2*v - 107 = 3*v + 2*m, 4*v - 2*m + 378 = 0. Which is smaller: v or -93?
v
Suppose -208*u - 76178 = 120396 - 26638. Which is bigger: u or -815?
-815
Suppose 185*g = -135193 - 138237. Are g and -1480 equal?
False
Let j = 95 - -11. Suppose 4*q + 160 = 4*l - 24, 3*l - j = -5*q. Let u be -3 - (l/(-9) - 0 - -2). Is -1 at most as big as u?
True
Let b be (-64)/36 + 2 + (13 - (-11154)/(-378)). Let q be 3 + 76/(-3 + -1). Which is greater: q or b?
q
Let d(l) = -6*l + 5. Suppose 1 - 7 = -3*b. Let r be d(b). Let q be 66/r - (5 + 37/(-7)). Does -9 = q?
False
Let q(i) = 2*i**2 - 20*i - 10. Let c be q(12). Let s = c + 20. Is s <= 57?
False
Let j(o) = o + 58. Let x be j(-51). Let t be 3207/(-3201) - (-13 + x + 5). Which is smaller: 0 or t?
t
Let o = -575 + 579. Suppose -2*d = -5*s + 9, -d = o*s - 6*s + 4. Which is bigger: s or 4/9?
s
Suppose 27*j - 6*j = -18*j. Which is smaller: j or -26/129?
-26/129
Let g = -5/2163 + -431/1684977. Which is smaller: g or 1?
g
Let b = -31 + 212. Let v be (-1)/b*(-46 - -43). Is 0 at most v?
True
Let d = -5587/9 + 61475/99. Let g = 0 - 0. Which is bigger: d or g?
d
Suppose -j - r + 10 = -6*r, -2*r = 3*j - 13. Suppose 37*b + 16*b = 212. Suppose f = -0*s - 4*s - 12, -16 = 2*f + b*s. Is j smaller than f?
False
Let w = -706 - -551. Is -150 at least as big as w?
True
Let w(a) = a**2 + 12*a - 29. Let p be w(-14). Let g be (-164)/(-8) - (p/6)/1. Let n = g - 803/39. Which is greater: 0 or n?
n
Let a be (-275)/(-8)*(-986)/85. Let b = a + 396. Let k be (-1*12/8)/(-3)*-8. Which is smaller: k or b?
k
Let w be ((-120)/(-50))/(2 + (-111)/60). Let q be (w/2)/(56/(-28)) - 7. Are -9 and q equal?
False
Let u be 2/(-6)*(-28 + 1). Let x(h) = 7*h**2 - 13*h - 44. Let q(v) = 10*v**2 - 20*v - 66. Let s(a) = -5*q(a) + 7*x(a). Let w be s(u). Which is smaller: 0 or w?
0
Let j = -1144 - -1162. Which is smaller: j or -48?
-48
Suppose 9631*y + 7 = 9632*y - 34. Is y at least as big as 23?
True
Let v = -9.153 - -6.053. Which is greater: -142 or v?
v
Let s = 10589.001 - 10594. Is s at most as big as 0.1?
True
Let n be -5 - (2/(-1260)*14123 - -5). Let j = -23/126 - n. Which is smaller: j or -13?
-13
Let h = 1800 - 1793. Which is bigger: h or -324?
h
Let d = -4095 + 1564291/382. Is d equal to -6?
False
Let g = -0.2543 + 6.2543. Which is bigger: -1/48 or g?
g
Let v = -45 + 90. Let n(x) = -23*x**2 + 1520*x - 131. Let w be n(66). Which is greater: v or w?
v
Let m be 2 + -3 - 1 - -2. Suppose -4*z - 1499 = 5*j, 5*j = -2*z + 22 - 1529. Let v = 2427/8 + j. Which is smaller: v or m?
m
Suppose -4*v + 2240 = -14*v. Is -225 at most v?
True
Let u = -0.2978 - 32.0022. Is -1/3 less than or equal to u?
False
Let s = 37 + -32. Suppose -s*y - 50 = -3*l, -y + 2*y - 3*l + 22 = 0. Let d be y/(-28) + 1/((-12)/243). Is d at most -18?
True
Let w be (57/(-12))/(1/(-4)). Let l be -5 - (2 + 4 + -14). Suppose -4*g - 17 = -0*h + l*h, -3*g = 3*h + 15. Which is bigger: w or h?
w
Let o be 16 - 2002/98 - -3. Let b(g) be the first derivative of -g**4/4 + 7*g**3/3 + 4*g**2 - 