least as big as -23?
True
Let p be (6/(-8))/(3/(-2)). Let h(c) = -c + 2 + 18179*c**2 - 3 - 18175*c**2. Let j be h(1). Which is smaller: p or j?
p
Let u = -139 + 142. Suppose -u*a + y + 4 = 0, 3*a = 4*a + 4*y + 3. Let p be (-2)/(-5)*20/(-188). Is p <= a?
True
Suppose -3*u + d = -5*u + 1, 2*d = u + 7. Which is bigger: u or -647?
u
Suppose -v + 175 - 192 = 0. Is -35/2 less than v?
True
Let w = -16/89 - -17961/99413. Which is bigger: w or 1?
1
Let w = -48 + 7. Let t = -25 - w. Let p be 33/(-33) + 22/(-6) - -4. Does t = p?
False
Let t = -475 + 755. Let y be (t/49)/((-11)/(-308)). Is 158 greater than y?
False
Let s(p) = 2*p**2 - 8*p - 14. Let c be s(16). Let f = c + -1123/3. Let q = -13 - -8. Is q bigger than f?
False
Let s(b) = b**2 + 3*b - 4. Suppose -5*g + 0*a - 4*a - 166 = 0, -4*g = -3*a + 108. Let r be (g/25)/((-13)/5 + 3). Let f be s(r). Which is smaller: f or 0?
f
Let u = -992.866 - 1.134. Let w = u + 1120. Is w greater than 0?
True
Suppose b - h = 9, 5*h + 21 = b + b. Let n be (-10)/b*(-56)/140. Which is bigger: n or 63/8?
63/8
Let h = -9017 - -9018. Does -3/460 = h?
False
Let h(u) = -u**3 + 9*u**2 + 7*u - 11. Let q be h(9). Let o = q + -68. Let c = 2.8 + -2.4. Which is bigger: c or o?
c
Let k = 824 + -822. Let c be k - (-182)/(-32) - -5. Does 1 = c?
False
Suppose 0 = 4*w - 20 - 140. Suppose -44*k + w*k - 4 = 0. Which is smaller: -2/255 or k?
k
Let i = 4936/3693 + -4/1231. Let d(r) = r**2 - 5*r. Let y be d(5). Is y smaller than i?
True
Let j be (92/161)/((-6)/(-7))*6/(-74). Is j greater than 333?
False
Let l(w) = -7*w**2 + 2*w - 1300. Let k be l(-36). Does k = -1?
False
Let y(i) = i - 15. Let x be y(-6). Let w = 23 + x. Let r = -28 + -1. Is w at most r?
False
Let h = 116427/310835 - 4/3745. Is -1 bigger than h?
False
Let q be (-4 - 0)/((-2)/45). Let v be 6/(-45) + 1002/q. Suppose 10*o - v = -o. Is -1/17 at most as big as o?
True
Let o(c) = -c**2 + 12*c + 53. Let j be o(-3). Suppose j*u - 4*u + 188 = -2*s, -2*u = 3*s + 290. Which is greater: s or -99?
s
Let z = 247.74 + -249. Let q = z - -0.47. Which is smaller: q or -2/7?
q
Let w(g) = 806*g + 1489. Let c be w(-2). Is -150 at least c?
False
Let x be (99/(-440))/(81/(-27675)). Do 76 and x have different values?
True
Let s be ((-24)/(-30))/(2/60). Suppose 221*m - 218*m = s. Suppose q + 1 = -m. Is -11 at least q?
False
Let r = 5 + 3. Let g(d) = -d**2 + 5*d + 18. Let q be g(r). Suppose -o + 3*i - 8 - 1 = 0, 3*i = -5*o - 45. Which is smaller: o or q?
o
Let a = -559/66 + 17/2. Let n = 95.225 - 95.625. Which is smaller: a or n?
n
Let t(c) = 26*c + 3688. Let w be t(-143). Which is bigger: -89/3 or w?
-89/3
Let n be -4752 + (-12 - -8) + -4. Let k be 736/n + 4/(27 - -1). Which is greater: k or -1?
k
Let w be ((-1524)/(-24))/(13/338). Does w = 1651?
True
Let v(a) = 86*a - 110. Let i be v(6). Let m = i - 405. Is 2/523 less than m?
True
Let a = 0.039 + -133.039. Let m = 91 + a. Let z = m + 25. Which is bigger: 1/3 or z?
1/3
Let g = 2.6 - 2. Let h = 0.6 - g. Let m = -61 + 8. Which is smaller: h or m?
m
Let h = -24.72 + 28.226. Let s = h - 3.5. Let k = s + 0.394. Is 0 smaller than k?
True
Let p = 38 + -38. Suppose s - 5 = p, -3*z - 243 + 94 = 5*s. Is z less than or equal to -60?
False
Suppose 4*m = -r - 48, 3*r = -r. Let v(n) = -n**3 + 31*n**2 - 30*n + 5. Let l be v(30). Let f = l + m. Which is smaller: f or -15/2?
-15/2
Let c = 647.412 + -649. Let u = -1.4 - c. Is -2 at most u?
True
Let t = 4.0715 - 4. Let i = t + -0.0715. Is 44.9 greater than or equal to i?
True
Let k = 113 + -57. Let a be 899/18 + k/(-14). Let l = -328/9 + a. Which is smaller: 11 or l?
l
Let i = -10479 - -10479.7. Let s = -4 - 7. Is s bigger than i?
False
Let s(j) = j**3 + 9*j**2 - 28*j - 122. Let c be s(-9). Suppose -5*v = -h + 154, -4*h + 4*v = -429 - 107. Is c smaller than h?
False
Let v be (-15)/(-20)*563/(-6). Suppose b + g = 70, g + 140 = 2*b + 5*g. Let m = b + v. Which is greater: -1 or m?
m
Let b = 4.346 + 0.104. Let a = b - 2.27. Let m = a - -0.82. Which is bigger: m or 1?
m
Suppose 1403 = -43*t - 18*t. Is -87 less than or equal to t?
True
Suppose 104054 = 66*g - 9598. Are g and 1722 non-equal?
False
Suppose 24*x + 8 = -2 + 58. Is 1/931 less than x?
True
Let u(d) = 5*d**3 - 12*d**2 - 85*d - 180. Let h(f) = f**3 - 2*f**2 - 17*f - 36. Let i(t) = 11*h(t) - 2*u(t). Let s be i(-4). Is 2/103 greater than s?
True
Suppose -173 = 2*y - 255. Suppose 40 = -y*f + 36*f. Let c = 11 + -19. Is f not equal to c?
False
Let x(d) = d**2 + 6*d + 7. Let v be x(-7). Let o be 8/2 + -2 + v. Let j be 8/(-2)*-1*76/o. Which is smaller: 20 or j?
j
Let o be 16/((-1200)/(-7935)) + 23. Do 130 and o have different values?
True
Let i(o) = -2*o**2 + 29 + 10 + 21*o - 17. Let b be i(11). Suppose 0 = 5*q - b - 29. Which is smaller: 13/2 or q?
13/2
Let h = 7562 - 8004.7. Let s = h - -443. Suppose 5*j - 3*t = -39, 9 = 5*t - 2*t. Which is bigger: s or j?
s
Suppose -3*q + 10*h = 5*h - 94, -2 = -q - 2*h. Which is smaller: 704 or q?
q
Let a be ((-2)/(-6716))/(15/(-260562)*-34). Let h = a + -56/365. Which is smaller: h or 0?
h
Let v = -27 - -31. Let g = -6 + v. Let t = -0.0382 + -0.0718. Are t and g non-equal?
True
Let d be 95415/(-105) + (-8 - -21). Is -897 smaller than d?
True
Let u(q) = -3*q - 33. Let b be u(-11). Suppose 13*x - 15*x = b. Suppose 4*s + 0*s = x. Which is smaller: s or -3/58?
-3/58
Let k = 7.5 - 7.493. Let y = k + 2.993. Is -11 < y?
True
Let b = -1/17 + -14/51. Suppose -10 = 2*q, -21 = 2*y + 4*q - q. Let f(n) = 2*n**3 + 8*n**2 + 7*n + 2. Let z be f(y). Which is greater: z or b?
b
Suppose -58*p - 957889 - 19321 = -76528. Is -15529 greater than p?
False
Let b(m) = 264*m - 4. Let i be b(-3). Let s = -3155/4 - i. Let p = -9047 - -9055. Is p less than s?
False
Let b = 9787 + -9787. Are 1/2249 and b equal?
False
Suppose -70*a = 17734 + 2566. Is -292 greater than a?
False
Let p(q) = 8*q**2 - q. Let z be p(1). Suppose -3*r + 20 = -z*r. Let v be r*(-4)/20 + 1 + -1. Is -3/14 at most as big as v?
True
Suppose c + 4*c + 4*a - 41 = 0, c = -3*a + 6. Let z = -39.048 + 39. Let n = -0.052 + z. Is n < c?
True
Let j = -0.01 - -0.026. Let d = 101 - 101.057. Let m = d - 0.043. Is m less than j?
True
Let v(o) = -32*o**2 - 5*o - 1. Let m be v(2). Let b = -13 - m. Is b less than 0?
False
Let s = -553 - -577. Suppose -n - 3*q + 36 = 0, -36 = -2*n - 0*n + 3*q. Is n less than s?
False
Let k(w) = -188*w**3 - 2*w**2 - 2*w. Let g be k(-2). Suppose -3*l - g = -l. Let z be -1 + 3 + l/378. Is z at least -1?
True
Suppose 125*b - 70*b = -181*b + 2167424. Is b >= 9184?
True
Let u = 10 - -5. Let g be (-15)/u + (1 - (-1021)/92100). Let k = g + -1/921. Is -1 != k?
True
Suppose -2*v - 2*y = 1790, 3*v + 4*y = 1126 - 3814. Is -892 smaller than v?
False
Let x be ((-1)/(-4))/((-308)/(-88))*(-2)/(-3313). Which is smaller: x or -1?
-1
Let w(v) = -v**3 + 22*v**2 + 3*v - 467. Let k be w(21). Is 39 < k?
False
Let m = 0.16418 - 0.06418. Which is smaller: 3/206 or m?
3/206
Let m = 3/590 + -301/175230. Let l(o) = -2*o + 21. Let w be l(11). Which is greater: w or m?
m
Let w be 7 - 54/8 - 6/(-8). Let j be -40 - ((w - 6) + 4). Which is smaller: -40 or j?
-40
Suppose -4*m + 0*x - 1073 = x, 3*m + 801 = 3*x. Let w be 4 - (m/6)/(98/(-21)). Is w greater than -6?
True
Let t = -99853/10 + 9942. Let o = t - -91/2. Let x = -7 + 10. Are x and o equal?
False
Suppose 0 = -4*r - 313 - 27. Let y = 84 + r. Let u be y*2/6*(-2115)/30. Is u > 24?
False
Let f = -329 - -490. Let c be f/(-3) + 27/(-81). Is -54 smaller than c?
False
Let y = -111183/11 + 10101. Let g(s) = 1285*s - 12858. Let d be g(10). Which is bigger: y or d?
y
Let c = 34 - 34. Let z be 2 + 0/(c - -6). Which is bigger: 11/16 or z?
z
Let f be ((-56)/(-3))/(1/(-38)). Let o = f - -620. Is -88 <= o?
False
Let t = -497.2 + 352.1. Let f = 94.1 + t. Which is smaller: f or -4?
f
Suppose -3*s + 5668 = 4*h, -5*s + 13*h - 17*h + 9444 = 0. Let f = 1910 - s. Suppose -4*w + 4 = -0*w. Which is bigger: f or w?
f
Let r(b) = 5*b + 13. Let n be r(-5). Let t be ((-24)/(-14))/(n/84). Let v = 4 - t. Are 15 and v equal?
False
Suppose 45*i = 17*i + 16*i - 408. Suppose 0*j + g = -3*j - 96, 0 = 5*j - g + 152. Is i less than j?
True
Let l = 4/3739 - -306570/26173. Let s = 17400 + -17387. Which is smaller: s or l?
l
Let n = -4963.0252 + 4963. Are 0.1 and n equal?
False
Let i = 2.69 + 0