and j have the same value?
True
Suppose 7*l = 5*l - 2. Let q(f) = f + 1. Let j be q(3). Suppose 2*p - p = -3*z, 0 = -p - j*z. Is l at most p?
True
Let d = -397 - -22631/57. Is d at least -1?
True
Suppose 0*y + 3*y + 2*r + 122 = 0, -5*r = -5*y - 195. Let x be 168/y - (-1)/5. Is x != -5?
True
Suppose 3*o = -4*s - 11, -o - 3 = -4*s - 10. Which is bigger: o or -4/7?
-4/7
Let q = -877118/1905 + -65/381. Let s = q - -462. Is 2 at least s?
True
Let o = 2 + 0. Suppose o = -z - r, 3*z + r = 8*z - 14. Which is bigger: z or 3?
3
Suppose -2*f = 6, -2*y + 6*f - f + 15 = 0. Let u be y*((-3)/2 + 2). Which is smaller: u or -1?
-1
Let s = -1544/7 + 220. Is 0 <= s?
False
Let p(x) = -2*x**2 + 3. Let i be p(-4). Let t be 6/(-27) + i/(-9). Is 2 greater than t?
False
Let g(s) = 3*s - 20. Let o be g(6). Do -2 and o have the same value?
True
Let i = -3.7 - -4. Let s(n) = -n**2 - 7*n. Let r be s(-7). Suppose 5*t - 4*o = 6, r = 5*t + 3*o - o - 12. Do i and t have the same value?
False
Let f be -3 + 1 + (7 - 67 - -6). Which is greater: f or -55?
-55
Let a = 77 - 77. Does -1/16 = a?
False
Suppose -3*j = 5*v - 13 - 5, -j + 2*v - 5 = 0. Is 5/4 at least as big as j?
True
Let s = -5 + 7. Suppose -s*f + 4 = -f. Suppose f*g - 5*r = g + 13, 3*g + 17 = -r. Is -4 >= g?
True
Let d = 11/20 - 3/10. Which is smaller: 1 or d?
d
Suppose 4*x + 9 = -4*m - x, -5*m + 4*x = 1. Let l(b) = -3*b**2 - 5*b - 4. Let i(u) = u**2 - u - 1. Let r(f) = -2*i(f) - l(f). Let w be r(-6). Are m and w equal?
False
Let m = 0.8 - 3. Let k = -0.8 + m. Which is smaller: -0.1 or k?
k
Suppose 3*j - 28 = -2*u + 2*j, 3*u = 4*j + 53. Suppose 0 = -3*o - 0*o + u. Let x be (o/(-25))/(1/2). Is 0.1 bigger than x?
True
Let u = 37 - 36. Is u less than or equal to -1/26?
False
Suppose -2 - 3 = -5*j. Let z be (1 + 2)*2/(-15). Do j and z have different values?
True
Suppose 3*s + 4*r - 50 = 0, 2*r + 57 = 3*s - r. Suppose 4*y = 5*q - 3, q - s = -0*q - 5*y. Is q bigger than 3?
False
Let o = 417404535/1300949 - 4/100073. Let p = o - 321. Let z = 0 - -1. Which is smaller: z or p?
p
Let o(s) = s - 4. Let m be o(-4). Let p be (-31)/(-35) - m/(-28). Which is bigger: 0 or p?
p
Suppose -3*t = t - 8, 0 = -5*h - 2*t - 106. Let a = h + 45/2. Let b be 1/(-4) + 26/40. Is b < a?
True
Let w be ((-6)/(-12))/(1/(-18)). Does w = -8?
False
Let d(r) = -3*r**2 + 1. Let i be d(1). Let l be (-13)/(-28) - i/7. Are -3 and l non-equal?
True
Suppose -5*z = -3*o - 31, 0 = -z - o + 1 + 10. Let h be (z/(-12))/(1/9). Let a be h/(-18) + 26/(-6). Which is smaller: -3 or a?
a
Let n = -0.3 + 0.2. Let v = n + -0.1. Which is greater: v or 1?
1
Let s = 91.29 - 92. Let z = s - -0.7. Let q = 0.01 + z. Which is greater: q or 7/2?
7/2
Let n = 14 + -10. Suppose 4*r = g - 1, -r - 9 = -g - 5*r. Is n < g?
True
Let l = -98.5 + 0.5. Let d = -94.1 - l. Let c = d - 4. Which is smaller: c or -2?
-2
Let p = -1/3 + 5/6. Is -1/4 < p?
True
Let s(j) = -j**3 - 20*j**2 - 20*j - 19. Let i be s(-19). Which is smaller: i or 1/36?
i
Let q = 94/5 - 107/5. Which is bigger: -4 or q?
q
Let j = 3 - 3. Suppose 3 = 2*v + 2*z - 7, -4*v + 3*z = 1. Let m be (v - 11/3) + 2. Which is bigger: m or j?
m
Let a be 8/304*(1 - 5). Is a less than or equal to 0?
True
Let a = -44 + 18. Is a equal to -25?
False
Suppose 2*f = 5*o - 22, 5*f + o + 4*o = 15. Is f > 1/118?
False
Let k = -14/5 - -3. Let s be (0 + 0)*2/(-2). Which is smaller: k or s?
s
Let c(s) = 2*s + 3. Let k be c(-2). Let q be (-1)/(k - 4/(-6)). Which is smaller: 2 or q?
2
Let q = 103 + -102. Suppose 0 = s + 3*s. Which is smaller: q or s?
s
Suppose 0 = 3*z + 2*y - 1, -2*z - 3*z + 4*y = -9. Suppose 0 = 3*w + 3*u - 12, -3*w + 10 = -u - 22. Let s be 0/((w/(-3))/(-3)). Which is bigger: s or z?
z
Suppose 2*x + 10 = 2*p, -4*x + 5 = -3. Suppose -5 = 2*j - 9. Suppose -3*y - j - p = 0. Which is smaller: y or -4?
-4
Suppose v - 20 = 6*v - 5*q, 0 = 2*v - 4*q + 16. Let z(y) = -5. Let g(n) = n + 1. Let f(r) = g(r) + z(r). Let w be f(v). Which is bigger: w or -3?
-3
Let y be 8/((-3)/(36/(-10))). Let k = y - 422/45. Which is greater: 1 or k?
1
Let g be (-40)/(-1*26/(-3)). Let f = g - -639/130. Suppose 4*t - t = 0. Are f and t unequal?
True
Suppose -13 - 19 = -4*y. Which is greater: y or 7?
y
Let d be (8/12)/((-1)/327). Let c = 4795/22 + d. Is 0 less than c?
False
Let r = -19 - -20. Suppose 0 = 2*k + 3 + r. Is -9/4 less than k?
True
Suppose 0 = 5*k + 18 - 3. Let n(f) = -f**2 + 3*f + 3. Let l be n(-2). Let p be k*1 - (-9 - l). Do -1 and p have the same value?
True
Let y = -0.8 + -2.2. Let l be (-749)/(-14) + (-2)/(-4). Let g = l + -376/7. Is y > g?
False
Let w = 127/518 - -3/74. Which is smaller: w or 1?
w
Let n(k) = -k**2 + 2*k + 1. Let x be n(4). Let w = 12 + x. Suppose s - 6 = w*s - 2*q, 3*s - q = -3. Do s and -4/3 have different values?
True
Suppose -3*g + 11 = 3*i - 8*i, -5*i + g - 17 = 0. Which is smaller: -17/5 or i?
i
Suppose -r - 4 = -0*r. Let h(q) be the second derivative of -q**3/6 - 5*q**2/2 - 7*q. Let v be h(-2). Is v >= r?
True
Let x = -4 + 1. Let z = -2 - x. Let n = 3 - z. Which is smaller: n or 6/5?
6/5
Suppose 3*f + 3 = 3*r, -5*r + f - 1 + 2 = 0. Let w = 126/5 + -25. Is r less than or equal to w?
True
Let i be 10/35 - (3 + -2). Let v be ((-7)/(-14))/((-2)/16). Let x(y) = -y - 6. Let a be x(v). Which is smaller: a or i?
a
Let s = -33 - -33.3. Is s < -5?
False
Suppose -i - 2*k - 47 = 4*i, 5*i + 42 = 3*k. Let u be 4/(-10)*(-15)/i. Suppose -t - 13 = 3*t + 3*g, 0 = 3*g + 9. Which is bigger: u or t?
u
Let p(g) = -2*g - 19. Let t(u) = -u - 10. Let c(r) = 4*p(r) - 7*t(r). Let y be c(-7). Is y bigger than 0.1?
True
Let h(f) = 0 + 1 - 2*f + 3*f. Let z be h(-2). Which is smaller: -1/12 or z?
z
Let a = -872/5 + 176. Let x = -15 - -18. Is x < a?
False
Let q = 5.7 - -0.3. Let k = 5 - q. Is -1 greater than k?
False
Let w be 1 + (0 - 326/80). Let g = w + 27/10. Let d(r) = 3*r - 11. Let u be d(4). Are u and g nonequal?
True
Let o be 27/(-18) + 34/28. Let p = -2 - -3. Let l = p + -2. Is l less than o?
True
Suppose -4*y - 6*l = -2*l + 20, 3*y + 2*l + 10 = 0. Are 2/55 and y nonequal?
True
Let m(k) = 3*k**2 - 7*k - 5. Let p be m(-13). Let s = 21943/37 - p. Which is greater: 1 or s?
1
Let y = 706/3 + -238. Which is smaller: y or -3?
-3
Let q be -4 + 3 + -2 + 0. Are q and -2/5 unequal?
True
Suppose 0 = -v - 4*w + 8, 0 = -5*v - 5*w + 34 - 9. Suppose 9*s + 15 = v*s. Let a be 4/6 + (-1)/s. Which is smaller: -1/4 or a?
-1/4
Let i = -4 - -7. Let j be i/(-6) - (-1)/(-2). Is j > -1/4?
False
Let a(d) = d**3 - 11*d**2 + 11*d - 4. Let l be a(10). Let m be 4/l - (-50)/(-30). Are m and -7/5 unequal?
True
Suppose 1 + 7 = -2*g. Is -5/2 at least as big as g?
True
Let n = 36 + -26. Let z = n - 9. Let o = -228 + 6154/27. Is z != o?
True
Let s = -8 + 15/2. Let f = 0.3 + 0.5. Let m = f + 0.2. Which is smaller: m or s?
s
Suppose -l + 6*o + 39 = 3*o, 0 = -4*l + 4*o + 116. Let k be l/(-15) + 0 + 2. Is 0 at most k?
True
Let w = -0.13 - 7.87. Which is smaller: 0 or w?
w
Let p(c) be the third derivative of 2*c**2 + 0*c + 0 + 1/2*c**3 + 1/24*c**4. Let j be p(-3). Which is bigger: 2/3 or j?
2/3
Suppose 4*m + 3*y + 2 - 18 = 0, m - 5*y + 19 = 0. Is m greater than -1/48?
True
Let b be (10 + 2 + -4)/1. Let y be (-34)/b - (-2)/8. Do -5 and y have different values?
True
Let n(t) be the third derivative of -t**6/120 - t**5/60 + 3*t**2. Let x be n(-2). Are -0.1 and x equal?
False
Let l be ((-1)/(-2))/((-4)/(-48)). Let d be 2/l*2/(-13). Let b = -8/13 + d. Which is smaller: b or -2?
-2
Let x(u) = -u**2 - 1. Suppose -3*m + 2*m = 1. Let y(t) = 8*t - 10. Let f(o) = m*y(o) + x(o). Let q be f(-9). Which is smaller: 1 or q?
q
Let r = -20 + 19. Is 48 <= r?
False
Let f = 519 - 11935/23. Which is greater: -1 or f?
f
Let s = -22 + 18. Does s = -7?
False
Let f = -21 + 3. Let a = 17.9 + f. Is 13 greater than a?
True
Let r be (-2)/(-4)*16*1. Let x be 2/r - (-6)/8. Which is greater: 0 or x?
x
Let p be ((-10)/4 + 2)*14. Let t = 5 - 5. Let c = t + -8. Which is smaller: p or c?
c
Let i(m) = -m**2 - m. Let q be i(0). Let p = q + -2. Which is greater: p or -4/3?
-4/3
Let m = 7/250 + -1509/9250. Is m <= -1?
False
Let l(x) = -11 + 4*x - 2*x - 3*x + 0*x. Let h be l(-12). Which is bigger: -2/7 or h?
h
Let x be 2/11 - 53/(-11). Suppose -2*v + 4*v + x*k = 35, 4*v - 46 = -2*k. Which is bigger: v or -1?
v
Let d be (3 - 32/12)*1