is greater: -1 or j?
j
Let y(n) = 25*n**2 - 106*n - 198. Let k be y(7). Let i = 164/255 + 2/85. Are i and k non-equal?
True
Suppose -5646 + 5646 = 279*q. Suppose 0 = -0*x + 5*x - 2*i - 15, 4*x - 5*i - 12 = 0. Suppose -n = x*n. Is q equal to n?
True
Let c(s) = 5*s + 30. Let d = -2 + -4. Let t be c(d). Suppose t*i + 55 = -5*h + 5*i, 0 = 5*i - 25. Are h and -12 unequal?
True
Suppose 4*t = -3*i + 5*t + 12, 0 = 3*i + 5*t + 6. Suppose 4*y = 5*f - 20, -i*f = 2*f + y + 5. Suppose -10*u + 9*u - 19 = f. Which is bigger: u or -20?
u
Let d = 97 - 81. Let p be ((-4)/d)/(3/44). Which is greater: -4 or p?
p
Let b be -1*(-4)/396*411. Let m = -20/33 + b. Which is smaller: 5 or m?
m
Suppose 3*g - 2*m = -123726205, 0 = -g - 2*m + 1520169 - 42762240. Let r = 3876642721/94 + g. Let u = r + 1189. Is -1 < u?
True
Let t = 2.295 + -2.365. Are 139/11 and t equal?
False
Suppose 354*p + 111*p - 1169010 = 0. Which is greater: p or 2517?
2517
Let h(k) = -k**3 - 6*k**2 + 18*k + 73. Let v be h(-7). Is -33 at most v?
True
Let t = -2135 - -2135. Is -2/1255 smaller than t?
True
Let p = -66.11708 + 0.11708. Is p less than 7?
True
Let m be -4*7345/104*2. Which is greater: -562 or m?
-562
Suppose 2*a = -5*x + 3*a + 803, 2*a - 314 = -2*x. Does x = 151?
False
Suppose -2*z - 5*v + 54 = 0, -40*z + 5*v = -45*z + 90. Which is smaller: 4.4 or z?
4.4
Let w = 6 - 5.44. Let d = -0.594 + w. Let n = 2.366 - d. Which is greater: -1 or n?
n
Let q = 1536 + -2781. Let n = q + 21158/17. Suppose -16 = -4*p, 5*b + 5*p = 929 - 914. Is n smaller than b?
False
Let v be 249*8/((-1848)/253) - (1 - 0). Is -0.1 bigger than v?
True
Suppose 172*z + 59489 = 141*z. Is -1917 < z?
False
Suppose 20*i - 630 = 15*i. Let q be i/(-945) - ((-3)/10)/1. Is q not equal to 1/11?
True
Let f = -469/3 + 12659/81. Let n = f + 97/324. Which is smaller: n or 2/305?
2/305
Let a = 7.828 + -0.328. Let b = 34.5 + a. Which is greater: 4 or b?
b
Suppose 1018 - 3566 = -14*d. Let r = d - 182. Let f = -0.1 + -41.9. Is f equal to r?
False
Let r be (-8 + 0)/(346/692). Suppose 0*q = 5*q. Let h = q - r. Is h equal to 2?
False
Suppose 6*y - 7*y = -4*l - 10, -y + 10 = -l. Suppose -r - 4*g = -y, -3*r + 0*r + 5*g - 21 = 0. Is 0.043 not equal to r?
True
Let x = -28308737/819 - -34565. Let a(i) = i - 3. Let j be a(4). Which is smaller: x or j?
x
Let q be (-31 - (-78897)/2550)*8/(-14538). Is 1 less than q?
False
Suppose -91*o - 81 = -2*x - 92*o, 2*x - 3*o - 77 = 0. Which is smaller: x or 39?
39
Suppose 0 = m + m + 5*x - 31, m = 2*x + 2. Suppose -13*t + 5*t + m = 0. Which is smaller: t or -2/273?
-2/273
Suppose -4*j + 60 = h, 0*h - 40 = -3*j - 2*h. Let q(n) = -n**3 - 4*n**2 + 14*n + 7. Let i be q(-8). Let s = 166 - i. Are j and s nonequal?
True
Let a be 2/9 - ((-57337)/36)/7. Let u = 228 - a. Let j be 6/24*8/(-6). Which is greater: u or j?
u
Suppose -425 = 2*d - 437. Let s be 7/d + (-3)/18. Which is greater: -1/457 or s?
s
Let h = -296 - -335. Suppose -4*g - 6 = 3*b, h*b - 34*b = -5*g - 10. Let u be (-4)/6 + 32/39. Is u not equal to g?
True
Let c = -0.67 - -0.67. Let f = 45.198 - 26.2. Let r = f - -0.002. Which is bigger: c or r?
r
Let d be (-18)/(-45)*(-2)/((-6)/(-15)). Which is bigger: d or -85?
d
Suppose 0 = c - 14*c + 26. Let v be (-5)/c*(-6 - -6 - 24). Which is greater: v or 58?
v
Let t be (2 + -2)*20/60. Is 27/319 greater than t?
True
Suppose 11*q - 52 = 80. Suppose 0 = 3*f + 2*g - 6, -f + 13*g = 9*g + q. Let a = -81 + 1055/13. Which is bigger: f or a?
a
Let r(l) = -5*l - 24. Let v be r(-5). Let x = 1253/639806 + 3/2147. Which is smaller: v or x?
x
Let o be 10138324/(-4389) - (-2)/(-33). Is -2/9 less than or equal to o?
False
Let o = -2584 - -6120. Suppose 12*f - o = 28*f. Which is smaller: f or -222?
-222
Let y(v) = 2*v - 2. Let k be y(6). Let s be (-170764)/(-420) + 18/135. Let a = -407 + s. Are k and a equal?
False
Let x be 4/2*(-16 - -18). Suppose n = 5*o + 255, x*o - 2*n + 220 = 2*n. Let l = o - -55. Is 3 > l?
False
Let b = 1623 + -1512. Let p(l) = l**2 + 21*l - 50. Let n be p(-27). Which is greater: n or b?
n
Let o = 14408 - 14576. Is o greater than -135?
False
Let s = -0.1 + 0.2. Let r(x) = -549*x + 2748. Let w be r(5). Which is smaller: s or w?
s
Let g = -45 - -105. Let a be 36/g - (-307)/(-495). Are -1 and a nonequal?
True
Let n(m) be the third derivative of -m**4/6 - 25*m**3/6 - 26*m**2. Let b be n(-6). Let q be 1 + (-2463)/3252 + (-4)/16. Do b and q have different values?
True
Let q = 1605.3 + -492.3. Is -0.02 >= q?
False
Let q = -1 - 0. Let n be ((-27)/(-165))/((-774)/9030). Is q bigger than n?
True
Suppose 43*u = 39*u - 3*k + 4596, -43780 = -38*u + k. Are u and -1 unequal?
True
Suppose r = 1 - 13. Let g be r/6*25/(-2). Let c be (-12)/15 + (-5)/g. Which is smaller: c or 5/14?
c
Let s = -0.0697 - -902.0697. Let b = -903 + s. Which is smaller: 449 or b?
b
Let t = 616 - 615.9. Is -1 bigger than t?
False
Let x(l) = -2*l. Let b be x(-1). Suppose b*h - 6*h = 0. Let k = 102363/49 + -2089. Which is smaller: h or k?
h
Let x be 2974/(-16 - (25 + -39)). Which is smaller: x or -19338/13?
-19338/13
Let k = -4693 - -6016423/1282. Which is smaller: k or 0?
k
Let o be 762/3915 - 4/18. Suppose 603*v - 602*v = 1. Is v smaller than o?
False
Let l = -4656 + 4656.1. Which is greater: 14247 or l?
14247
Let f = -112497/20 - -5625. Which is smaller: f or 1.8?
f
Let s(k) = -20*k + 7. Let f be s(-2). Let d = f - 45. Let m be (-120)/(-50) - (0 - -4 - d). Are m and 2/5 nonequal?
False
Let q = -13182 + 13273. Which is bigger: q or 2/63?
q
Let u be (-2)/(-9) + (-4 - (-55)/(-45)). Suppose 4 = -3*g + 5*g. Let b(m) = -m**3 + 3*m - 4. Let t be b(g). Which is smaller: u or t?
t
Let t be (-4)/(-5) + (-151)/(-5). Let z = -47 + t. Suppose 2*x + i + 42 = 6*i, i = 3*x + 50. Do z and x have different values?
False
Let b(i) = 7*i**2 - 101*i + 737. Let x be b(8). Which is smaller: x or -0.13?
-0.13
Let f = -3.17215 + -0.22785. Is 2.5 at most f?
False
Let x(s) = 2*s**2 - 37*s - 65. Let k be x(21). Which is greater: 12 or k?
k
Let i = 501 + -345. Let u = i + -156.2. Which is bigger: -1 or u?
u
Let i be ((-14)/(-4)*4*1)/(-1). Let h = i - -74. Which is greater: 61 or h?
61
Let n(y) = 13*y**2 + y + 1. Let t be n(1). Let j = t + -15. Let u = -3 + j. Is u bigger than -5?
True
Suppose -21*p + 61*p + 99 = -59*p. Which is smaller: p or 44/193?
p
Let y = -0.5 - -0.4. Let u(f) = f**3 + 5*f**2 - 10*f - 29. Let g be u(-6). Let s be (6/g)/(18/120). Is s less than y?
True
Suppose -391703 = -680*b + 213*b + 441425. Which is smaller: b or 5348/3?
5348/3
Let u = 148.52 - 2.52. Let c = u + -165.2. Is -1/3 at least as big as c?
True
Let n be -16*11 + (-276)/(-46). Which is smaller: n or -162?
n
Let l be 72/10*-2*141/(-188). Suppose -4*k = 5*f + 3, -2*k = 3*f + 2 + 1. Suppose t - 40 = -k*t. Do t and l have the same value?
False
Suppose 4*o - 21 = 19. Suppose -7*b + 2*b = 2*d + o, -2*b = 0. Let g be ((-20)/36)/(d/(-4) + -1). Is -3 < g?
True
Suppose 2*r + r - 5 = -4*j, -5*r - 2*j = 1. Let d be ((-979)/245 + 4)/(3/6). Which is smaller: r or d?
r
Suppose -46*q - 1088 = 1212. Suppose 2*v - 3*w = -89, 0 = v + 2*w + 80 - 18. Which is smaller: q or v?
v
Let d = 2.105 + 410.895. Is d less than or equal to 1?
False
Let v = -10133/49 - -10147/49. Let o = 1102/3 - 351. Are v and o nonequal?
True
Suppose 253 - 45 = -4*r. Let p = 1363 - 1412. Is p bigger than r?
True
Suppose 32 = 4*c - 4*b, -3*b - 2 - 7 = 0. Suppose -67*j = -43*j - 120. Suppose -j*q - 8*n = -9*n + 5, 3*q = n - c. Is 25 > q?
True
Let m = -1553 + 3128. Are 1574 and m equal?
False
Let c = 23 - 21. Suppose -5*j + 3*k + 61 = 0, -5*k - 13 = -2*j - 0*k. Is j less than c?
False
Let x = 304/21 - 205/14. Let w = 9 - 9.04. Which is smaller: x or w?
x
Let g be (-4)/38 + (-45)/114. Is 756 bigger than g?
True
Suppose -11*d + 15 = -6*d, 4*m - d = -547. Suppose -4*p - 689 = 5*b, -5*b - p - 690 = 4*p. Is m at most as big as b?
False
Suppose 0 = 2*m - 2*h + 34, 37 = -2*m + 7*h - 2*h. Let f be (1 - -1)*(-200)/m. Let z = 37 - f. Does 0 = z?
False
Suppose 0 = 40*l - 45*l - 20. Let p be 2/l + (-3)/(-6). Let i be (-7 - 3)*6/(-165). Is p greater than or equal to i?
False
Suppose -2*w + 180 = -m, 0 = -0*w + 3*w + 5*m - 257. Which is smaller: 88 or w?
88
Let c be 3 - 216/(-90)*(-15)/9. Which is smaller: c or 1/1064?
c
Let h = -151594/1395 + 4/1395. Is -0.6 small