p
Let p = 2212/9 - 246. Let h = 3361 + -3361.067. Which is greater: p or h?
h
Suppose -8*b - 462 = -b. Let v = b - -71. Which is bigger: v or 11/3?
v
Let j be (-4)/14 - (-74)/14. Let q = -1335 - -1054.9. Let u = q + 279. Is j smaller than u?
False
Let k = 22948 - 22948. Let h = 11615 + -3391583/292. Which is bigger: h or k?
k
Let i = -0.023 + -0.667. Let h = 4.5 - 3.5. Which is smaller: i or h?
i
Let b = -12317 + 9803. Which is smaller: b or -2512?
b
Let r(i) = -i**3 + 24*i**2 + 28*i - 93. Let l be 4*(4 - 18/4) + 26. Let m be r(l). Is m at most 580?
True
Let m be (-6)/(-8) + (-2935)/20. Suppose 10656 = -102*l + 28*l. Is l smaller than m?
False
Let c be ((-2)/18)/(10/(-60)). Let y = 154.815 + 32.185. Is c smaller than y?
True
Suppose 4*v + 4*z = 44, 3*v = 4*v + 4*z - 8. Suppose -8*r + 6*r = -v. Suppose 5*u - 2*y - 24 = 0, 0*u + 3*u + 2*y = 24. Does u = r?
True
Let z(y) = -y**3 - 3*y**2 + 5*y + 1. Let s be z(3). Let b be (1/(3/s))/(60/(-90)). Suppose -14*r - 165 = -b*r. Which is smaller: r or 34?
r
Suppose -15*b = 42*b + 11*b + 136. Is b less than or equal to -118/185?
True
Let g be (-2 - 1)/(8 + -28 + 7). Are g and 1/105 unequal?
True
Suppose -140 = 2*a + 4*q + 950, -4*a - 2224 = -3*q. Is a > -553?
False
Let n be ((-18)/48*2)/((-6)/1064). Are n and 43 unequal?
True
Let f = -445.0193 - -445. Let v = 0.0247 - f. Which is smaller: -3 or v?
-3
Let k = 63 - 61. Let x be ((-30)/(-9))/(0 + k/(-6)). Let j = 3 - 2. Which is smaller: j or x?
x
Suppose 16*g - 7*g = -522. Let y = 73 + g. Suppose 20*b = y*b. Which is smaller: b or -1/29?
-1/29
Suppose -5*g = t + 470, -2*g - g - 1362 = 3*t. Let z be t/12*(-239)/21. Let o = z - 427. Which is smaller: 0 or o?
o
Let c = -160.98 - -135.1. Let h = c - 7.22. Let q = h - -33. Which is bigger: q or -3?
q
Suppose -389*h + 1181784 - 2927640 = 2245673. Which is greater: -10260 or h?
-10260
Let o = -77 - -37. Let s = 1007.9 + -968. Let v = o + s. Which is smaller: 3/4 or v?
v
Let q be 3 + 2 + 235820/(38 + -18). Are q and 11796 equal?
True
Let q = -290/11 - -45185/1716. Which is smaller: -1 or q?
-1
Let v = 735.5 - 736.883. Which is smaller: 1 or v?
v
Let x(l) = -l. Let w be x(-1). Let j be -4 + (-555)/50 + w. Let t = j + 18/5. Is t < -11?
False
Let t = 7.9 + -3.7. Let x = 2.2 - t. Let l = 4 + x. Which is greater: l or 1/16?
l
Let f be 6/7 + 55555780/2205. Let n = -25222 + f. Is n at least as big as -25?
False
Let n be ((-1164)/970)/((-9)/255). Which is smaller: n or 94?
n
Let h = -7.3 - -7. Let m(g) = g**3 - 5*g**2 - 4*g + 3. Let v be m(6). Let d be (58/v - 4) + 172/390. Is h at least d?
False
Let c(v) = -v**3 - 11*v**2 + 136*v - 225. Let a be c(-19). Which is smaller: a or 74?
74
Suppose b = 6*b - 5. Suppose -5*m - 3*j + 11 = -33, m + j - 10 = 0. Suppose -2*w + m*w + 5*h - 20 = 0, 0 = 2*w + 3*h - 7. Is w bigger than b?
True
Let x(p) = 5*p - 37. Let y be x(6). Let m be y - (-2 + -3 + -3). Which is smaller: m or 1/15?
1/15
Let y be ((-2492)/(-5073))/(4/9). Let v be (2*-1 - -2)/1. Is y < v?
False
Let o = 473251/7 + -67467. Is 141 less than or equal to o?
False
Suppose -m - 2*x = 10, 0*m - 3*m + 5*x + 25 = 0. Let l be 29/(56869/318)*2/(-16). Are l and m nonequal?
True
Let w = -779.7 - -815. Let i = 9 + -43. Let p = w + i. Which is bigger: p or 0.3?
p
Let y = -2821 - -4777. Is y less than 1956?
False
Let j = 17587 - 13594749/773. Let g = j + 1284/101263. Let u = -236/1703 - g. Is u not equal to 0.2?
True
Suppose 2*t + 5*m - 15 = 0, -3*m - 6 = -9. Let i(s) = -s**2 + 7*s - 3. Let c be i(6). Let b(q) = -q + 5. Let y be b(c). Which is greater: t or y?
t
Let d be (200/(-113250))/((-48)/30). Which is bigger: d or -1.5?
d
Let f(d) = -14*d + 309. Let q be f(22). Are 28/23 and q non-equal?
True
Let c be (13 - 22) + 14 - (-1 - -6). Suppose c = 13*m + 13. Is 10/111 less than m?
False
Let p(x) = 721*x + 3314. Let b be p(-5). Is 20 >= b?
True
Let z be ((-20)/770)/(-3 + (-8293)/(-3746)). Let i = -4/1045 - z. Which is bigger: 1 or i?
1
Let h be (-12 + 1)/(2/(-6)). Let y = -570 + 569.306. Let r = y - 0.306. Which is bigger: r or h?
h
Let d(j) be the third derivative of -j**5/60 + 7*j**4/12 + 5*j**3/3 - 5*j**2. Let z be d(15). Let p = z - -11. Which is bigger: 8 or p?
8
Let s = -0.07 - 2.93. Let p = 5 + s. Let w be (-7)/(1029/(-2219)) + -15. Which is bigger: w or p?
p
Let d(r) = -11*r + 11. Let u be d(-6). Let i = u - 124. Let h be i/2*-2 + (14 - 13). Do h and 49 have different values?
True
Let o = -10 - -12. Suppose 4*x + 6 = -o*l, 16*x - 39 = 5*l + 14*x. Which is greater: l or -56/9?
-56/9
Let w = 220 - 220. Suppose w = -11*b + 50 + 38. Does 55/7 = b?
False
Let l = 38 + -38.28. Let i = -7.28 - l. Let r = i - -6.3. Which is smaller: -0.2 or r?
r
Suppose 0 = 21*g - 23*g - 112. Let l be (-6)/g*-2*28528/(-330). Let d = l + -278/15. Do 1 and d have the same value?
False
Let x = -1/7745 - 188/943341. Which is smaller: x or -1?
-1
Suppose -12*d - 1386 = 65*d. Is 4/7 less than d?
False
Let s(m) = -m + 42. Let p be s(38). Let j be (-2613)/(-65) + p/(-10). Is j not equal to 39?
True
Let o = 111 - 505. Let a = o + 12215/31. Suppose 4*t - 5*t + 1 = 0. Is t smaller than a?
False
Let g = -18.9 - -18.8883. Let p = g + -296.9883. Which is smaller: 1 or p?
p
Let y = -5/611 - -19587/4277. Suppose 0 = 3*a + 5*s - 23, -2*a - 13*s + 16 = -9*s. Which is smaller: a or y?
y
Let x(g) = -2*g**3 - 20*g**2 + 1. Let o be x(-10). Are -5/941 and o unequal?
True
Let q = 1064 + -1018. Do q and -0.1 have the same value?
False
Let q(w) = -4*w**2 + 49*w - 88. Let o be q(-36). Let z = 415136/59 + o. Which is smaller: z or 1?
z
Suppose 5*p = n + 11, -2*n - 2*p = -0*n - 2. Let f = -0.8 - -0.798. Which is smaller: n or f?
n
Let g = 3/125 + 10237/21375. Which is smaller: 0 or g?
0
Let g = -18854 - -23597. Is 4743 smaller than g?
False
Let s be ((-1)/(-2))/((-3)/(-3) + (-430)/65). Which is greater: s or 0?
0
Let g be (3 - 2)*(-12)/(-9)*3. Suppose -3*j + 22 = -4*p, g = 3*j + 4*p - 10. Let z = 1 - -5. Is j at least z?
True
Suppose 0 = 6*w - 7*w + 6. Let o be (w - 988/8)*(1 + 1). Let u be (-40)/(-70) + o/7. Which is smaller: u or -32?
u
Suppose -36*g = v - 34*g + 34, 3*v - 2*g + 78 = 0. Suppose b + 27 = -4*d, -b - 3*d = 39 - 12. Are b and v nonequal?
True
Let b = 678 - 279. Let u be (153*14/189 + (-5 - 0))*-3*-21. Is u greater than b?
False
Let u = 0 - 1. Let b(a) = -a**3 + a**2 + 15*a + 78. Let v be b(0). Let c be (-1840)/(-12636) + (-12)/v. Is c at least as big as u?
True
Let u(a) = -556*a**2. Let m be u(1). Let k = m - -555. Suppose 3*w = 4*w. Do k and w have the same value?
False
Let u = -69.09 + 66.79. Is u at most 1/15?
True
Let i be 12/(-10) + (-24)/(-120) + 11. Suppose -2*v + 5*g = -12, -4*g + 4 = 2*v + i. Are v and 1/39 equal?
False
Let f = 1/2 - -1/6. Let l = -277 - -190. Let s = l - -90. Is s at most f?
False
Let d = 138 + -138. Let l = 2254 + -26429/16. Let r = l - 602. Is r greater than d?
True
Let k be (-4)/10 + 6/15. Let n = 38921/366 - 319/3. Which is smaller: n or k?
k
Let w(g) = 3*g**2 - 23*g - 75. Let n(m) = -5*m**2 + 34*m + 112. Let h(f) = -5*n(f) - 8*w(f). Let i be h(-6). Is i greater than or equal to -3/5?
False
Let j = 22079.4018 - 22079. Is -0.3 smaller than j?
True
Let w = 5929 + -6924. Which is bigger: w or -997?
w
Let h be (-1)/(-4) + 154919/(-1580). Let t = 1322/15 + h. Which is smaller: -10 or t?
-10
Let g = 2737 + -2772.3. Which is smaller: g or -0.4?
g
Let w = 80481839/102 - 2366207/3. Let h = -302 + w. Let x(k) = -2*k**3 + 3*k**2 + 6*k - 8. Let t be x(2). Which is bigger: t or h?
t
Suppose 0 = -3*k - 6, -5*l + l - 3*k + 130 = 0. Suppose -130 = -5*g - 3*r, 0 = -g - 7*r + 5*r + 33. Let h = g - l. Which is smaller: -14 or h?
-14
Let y(z) = 2*z + 7. Let h be y(-7). Let x(v) = 13*v + 7. Let u(f) = f**2 + 9*f - 11. Let q be u(-10). Let s be x(q). Which is smaller: h or s?
h
Suppose -3*q + 4*v = 8, -q - 8 = -3*v - v. Which is bigger: -13/781 or q?
q
Let p(u) = -u**2 - 19*u + 69. Let x be p(-22). Suppose 5*f = -3*d + 356 + 574, -x*f = 3*d - 558. Are f and 185 equal?
False
Suppose 0 = -4*x - 17 + 1, -5*v - 5*x = -105. Let d = -21.4 - -20.3. Which is bigger: d or v?
v
Let u(w) = 2*w - 5. Let a be u(4). Suppose 2*j - c + a = -6, 0 = 4*j + 4*c + 36. Let f = 5063 + -5062.9. Which is smaller: j or f?
j
Let g(q) = -q**2 + 2*q + 9. Let d be g(4). Let t be (d/6)/