y
Let r be (-1493862264)/39434220 + 38 + (-4)/34. Is 0 not equal to r?
True
Let b(f) = -13*f - 1. Let l be b(1). Let v be (l/(-6))/(10/113). Let g = v + -53/2. Is g >= 0.2?
False
Let v = 947265/179 - 5292. Suppose 3 + 102 = -498*o - 196 - 197. Which is greater: o or v?
v
Suppose 2*y = -3*f + 7*f, 0 = -3*f + 15. Suppose -y = 2*a - 5*o, 2*a - 7*a - o + 2 = 0. Is 2/557 equal to a?
False
Let q(l) = 4*l + 6016. Let j be q(104). Is j != 6431?
True
Suppose -2*o + 12 = 2*t, -3*o - t + 50 - 36 = 0. Let z be (-8)/(-10)*(-10)/(-4). Suppose -o*u - 24 = -z*u. Are u and -12 nonequal?
False
Let a = -1.5 + 2.5. Let w(y) = 30*y + 39. Let z be w(-22). Let r be z/(-693) + (-2)/11. Are r and a equal?
False
Let r(h) = 59*h + 343. Let u be r(-18). Let y = u - -729. Let f be 11/14 + 1/(-2). Is y <= f?
False
Let u = -1903 - -1902.2. Which is bigger: -27/5 or u?
u
Suppose d = -5*n + 91, 5*n - 90 = 2*d + 13. Suppose 11 = 3*x + 5*y, 4*y = -5*x + n - 18. Are 4 and x equal?
False
Suppose -14*s + 10*s + 184 = 0. Suppose -21*d - 25 = -s*d. Let y be (4/(-150))/((-2)/20). Which is smaller: d or y?
y
Suppose 10*o - 6*o = 1780. Suppose 3*a + 5*k + 48 + 211 = 0, -o = 5*a - 5*k. Which is smaller: -262/3 or a?
a
Let h(n) = 26 - 10 + 3*n + 5 + 15. Let r be h(-12). Which is smaller: 11/31 or r?
r
Let i be (-132)/(-231)*14/(-3)*24/32. Is -17/16 <= i?
False
Let l(x) = x. Let r(k) = -k + 2. Suppose 6*q - 7*q - 4 = 0. Let a(g) = q*l(g) - r(g). Let p be a(0). Which is bigger: -3/2 or p?
-3/2
Let m = 217 + -192. Let y(t) = -2*t**2 + 50*t - 38. Let g be y(m). Is g smaller than -35?
True
Let y be -5 - -2*(-35)/(-20). Suppose -52 = -2*h - 12. Let r = h - 21. Which is greater: r or y?
r
Let f = 25.43 - 20.43. Let t = -0.099 - -5.199. Let w = t - f. Which is bigger: w or -2?
w
Let i = -3064 - -2964. Is -1/5 at least as big as i?
True
Let f = 6640 + -703835/106. Which is smaller: f or 0?
0
Let f = -17027/4 - -4257. Which is smaller: f or -699?
-699
Suppose 0 = 3*f + 4*s - 263, f - 90 = -0*s + s. Let x = f + -98. Is -53/6 >= x?
True
Let b be 132/(-10) - 48/60. Let y(s) = -s - 14. Let q be y(-11). Let k = q + -12. Which is smaller: b or k?
k
Let b = 121.3 - 196.3. Does 2/13 = b?
False
Let t = 442.6 + -515. Let a = 10.4 + t. Let d = 62 + a. Does -1 = d?
False
Suppose -2*c = -2*c + c. Suppose c = -o + 5*j - 21, 5*j = -8*o + 4*o - 9. Let s be (o + 4 - -3)*-1. Is s less than 4?
True
Let g(h) = -h**3 + 5*h**2 + 6*h. Let a be -1*(4/(-10) + (-6)/10). Suppose -3*j + 2*u + a + 17 = 0, 0 = 4*j - 5*u - 24. Let k be g(j). Are 2/149 and k non-equal?
True
Suppose 143 = -p + 3*v, -p - 35 - 104 = -5*v. Let l = -149 - p. Is -102 < l?
True
Let a = -364 - -366. Let z(i) = -i**3 + 2*i**2 - 3*i + 4. Let d be z(a). Are -39/22 and d nonequal?
True
Let t = -574 - -736. Suppose 0 = 14*q - 32*q - t. Which is smaller: q or -5?
q
Let l(s) = 2*s**2 + 6*s - 23. Let i be (-140)/25 - ((-36)/(-10))/(-6). Let d be l(i). Is d < -39/11?
False
Let g(r) = -r**2 - 2*r**2 + 6*r - 7 + 5*r**2. Let m be g(-4). Is m at least as big as -5/36?
True
Let u = 1252/339 + -3/113. Let a = -103 + 107. Which is smaller: a or u?
u
Let i = 19630 + -30386. Do -10755 and i have the same value?
False
Let w(o) = o**3 - 2*o**2 + 14. Let j be w(0). Let b = j - 20. Let q be (-8)/12 + 2/b. Is q equal to 7/15?
False
Let c = 130637 - 4216570450/32277. Is c at least as big as -1?
True
Suppose 0 = 22*s - 12*s + 360. Suppose -5*k - 11 = -l, 2 = 4*k - l + 11. Which is greater: s or k?
k
Suppose 0 = 14*w + 86 - 156. Suppose -10*u + w*u = -3*g + 72, 3*u + 5*g = -16. Is u at most as big as -5?
True
Let o be -3*(-10)/(-15) - 1 - (4 - 8). Which is smaller: o or 3/3358?
3/3358
Let w = 7862 + -1462339/186. Which is bigger: 0 or w?
0
Let u = -9 - 0. Let a(g) = 53*g**3 - 2*g**2 + 4*g + 10. Let c be a(-3). Let z = c - -1443. Is z bigger than u?
True
Suppose 0 = -2*w - 5*k + 113, k = 8*w - 13*w + 294. Is w bigger than 62?
False
Let f be (-86)/(-360) + 17/68. Let r = -5/9 + f. Suppose 2*b - 2*g = -b + 6, 2*g = -2*b - 6. Are b and r unequal?
True
Suppose -6*d - 6355 = -35425. Suppose -16*a + a = -d. Which is bigger: 324 or a?
324
Suppose -5*p = -4*v + 436, 5*p + 349 + 88 = 3*v. Is -13 less than p?
False
Let h be (-1)/(8/(-6)*-2). Let r be 6/8 - (-3 + (-285)/4). Let j be 0/((4/(-10))/(15/r)). Which is smaller: h or j?
h
Let w(o) = o**2 - 8*o + 9. Let f be w(6). Let z(n) be the second derivative of n**5/10 + n**4/4 - n**3/6 - 7*n**2/2 + 7*n - 1. Let u be z(f). Is u <= -31?
True
Let g be (-5)/(15/(-34))*18/13. Let n be 240/15 - (3 + -2). Which is greater: n or g?
g
Let f = 22061 + -22928. Is -5 > f?
True
Let u = -552 - -1145. Let k = 589 - u. Which is smaller: -1 or k?
k
Let w = 3.673 - 2.673. Is -10/661 > w?
False
Let w = -865 - -896. Suppose w*f - 552 = 54*f. Do f and -28 have the same value?
False
Let a(x) = -1510*x + 429. Let t be a(-15). Is t > 23080?
False
Let t(w) be the third derivative of -w**6/120 + 4*w**5/15 - 5*w**4/24 + 40*w**3/3 + 3*w**2 + 14. Let n be t(16). Is n less than or equal to -2/527?
False
Suppose 2*j - 8 = -2*b, 0 = -4*j + 25*b - 21*b + 32. Suppose -x = -2*p + 55, 0 = 2*x - j + 4. Which is smaller: p or 24?
24
Suppose -2*z = 23*z - 16*z - 2970. Are 0 and z non-equal?
True
Suppose -97 + 88 = -3*r. Suppose -r*m = -7*m + 2*p - 56, 5*p = -3*m - 68. Which is bigger: m or -7?
-7
Let k(u) = u**2 - 12*u - 5. Let g be k(11). Let h be (-5*2)/(16/g). Suppose h = 2*t + 2*b, 3*b - 3 - 12 = 2*t. Which is smaller: t or 8/7?
t
Let x = -7 - -10. Suppose -f + 4*y - 131 = 0, -5*f + x*y - 604 = -0*y. Let u be ((-17)/f)/(2/50). Is 5 greater than or equal to u?
True
Let b = -939/2968 + 13/424. Is -12.31 smaller than b?
True
Let s = -71 - -57. Let r = s + 61. Let a = r + -3. Which is smaller: a or -1?
-1
Suppose -3*s = -4*d - 82, 2*s + 5*d = 4*d + 40. Let x(w) = 4*w + 15. Let h be x(-5). Let p be (h/3 - -2) + (-325)/(-15). Is p not equal to s?
False
Let u(p) = -p**3 - 3*p**2 - 3*p - 4. Let f = -30 + 30. Suppose -5*s + 0*s - 3*h - 3 = f, -5*s - 4*h = -1. Let j be u(s). Which is bigger: 3 or j?
j
Let g = -4882.75 - -4883. Which is smaller: g or -17?
-17
Let o be 8374/(-30) + 707/303. Which is greater: -277 or o?
o
Let c be (280/(-5))/((-6)/(-57)). Let q = -406 - c. Is q > 126?
False
Suppose -f + 5*p + 11 = 7*p, -2*f - 3*p + 20 = 0. Suppose 0 = 5*a - a + 32. Which is smaller: f or a?
a
Suppose 64*i = 61*i + 24. Suppose i*p + 125 = 3*p - 3*n, -2*p - 50 = -3*n. Which is greater: -24 or p?
-24
Let z be 3/(-2 + 1) + 248/62. Is z at least as big as -4/743?
True
Let t be 16/56 + 8676/14. Let z = t - 2493/4. Which is smaller: z or -2?
z
Let t = -6754 - -6812. Which is bigger: t or 75?
75
Suppose -3*r = 2*h - 51, 4*r - 54 = -4*h + 14. Suppose -14*c = -r*c - 12. Let p = -5 + 7. Which is smaller: p or c?
c
Suppose -11740*r = -11758*r - 49086. Is -8185/3 equal to r?
False
Suppose -11 = -t + 2*z, -4*t + 3*z - 8*z = 21. Let i be -4 - ((-219)/27 + 2). Is i bigger than t?
True
Let a = -7330 - -7322. Let p = -19823601 - -130776297281/6597. Let c = -2/733 + p. Is c >= a?
True
Let g(k) = k**3 + 15*k**2 - 19*k - 15. Let t be g(-16). Let j be (-902)/t - 1/(-3). Let y = j + 28. Which is smaller: -2/121 or y?
-2/121
Suppose 12*t + 20 - 2 = -6*t. Is -2/4561 not equal to t?
True
Suppose -2*x - 3 = 4*j + 37, -4*j = 3*x + 56. Let h = 18 + x. Suppose s = 4*g - 15, h*g = -g - s + 20. Is 6 at least g?
True
Let c = -134.47 - -20.37. Let t = 109.6 - 0.6. Let h = c + t. Is -2/3 equal to h?
False
Let b = 9354 - 11643. Which is smaller: -2288 or b?
b
Suppose 2*h + h = -5*a - 34, 0 = 3*h + 9. Let b be -2*1/((-2)/a). Let q be 23/5 + (-2)/b. Which is greater: q or 6?
6
Suppose 2*u - 44 = 7*u - 4*t, 4*t + 16 = 0. Let d be (16/u + (-8)/(-12))/4. Let v(o) = 2*o**3 - 31*o**2 - 18*o + 31. Let q be v(16). Is d equal to q?
False
Let h = -53 + 58. Suppose -h*n + 17 + 8 = 0. Suppose x + n = 3. Is 0 at most x?
False
Suppose -6 = -39*z + 38*z. Let r be -6 - (z + 489/(-39)). Is r greater than 2?
False
Let h(f) = -f**3 - 3*f**2 + 4. Let w be h(-3). Let j = 12 + -7. Suppose -r + 1 = -j. Are w and r equal?
False
Let p = -47 - -47.1. Which is greater: p or -5/298?
p
Let d(u) = 7*u**2 + 9*u + 6. Let a be d(-2). Let v(m) = m**2 - 15*m - 21. Let g be v(a). Is g greater than or equal to -66/13?
True
Suppose -102*b - 36 = -104*b. Sup