- 4*s = 5*c + 16. Is -1/8 at most as big as c?
True
Let f = 98 - 109. Let u = f + -14. Is u > -24?
False
Suppose 3*z - 4107 = 40*z. Is -112 not equal to z?
True
Let o(i) = -i**3 - 8*i**2 - 8*i + 7. Let m be o(-7). Let q be 24/m*1/(-2). Let l be 8/32 - (-2)/(-8). Is l > q?
True
Let u = 5 - 28. Let l(f) = 23*f - 23. Let q be l(-19). Let y be ((-2)/(-4))/(10/q). Is u bigger than y?
False
Suppose 5*j - 160 = 5*t + 6*j, -5*t - 170 = 3*j. Do -30 and t have the same value?
False
Let i = 535 + -247. Is -1 <= i?
True
Let y be 150/3204*(-16)/(-20). Which is bigger: 1 or y?
1
Let m(z) = -z + 1. Let w be m(-3). Let u be -4 - 0 - 15*w/(-14). Let k = 0.1 + -0.1. Is k < u?
True
Let v = -1.6 + 0.5. Let c = v + 9.1. Let n = c - 2. Is n at most as big as -2?
False
Let o be 2*-1 - -1 - (-12 + 10). Suppose 14 = 13*j + o. Is 16/13 smaller than j?
False
Let w be (2/(-6))/(65/117). Suppose 4*s + 15 = -1, -12 = -3*x + 3*s. Suppose x = 3*b + b + 4. Is b at most w?
True
Let u = 0.043 + 14.757. Let w = u + -10. Let j = 0.8 - w. Is j less than or equal to -2/5?
True
Let m(k) = -2*k**2 + 9*k - 10. Let q be m(6). Let i = 28 + q. Is i > 1/45?
False
Let t = -58 - -1216/21. Let o = 2 + -1. Let i = 1.1 - o. Is t not equal to i?
True
Let y(v) = -v + 9. Let j be y(10). Let t be (4 - 35/5)*10/165. Is j not equal to t?
True
Let r = 39437/7 + -5651. Which is smaller: -18 or r?
-18
Let f = -7 - -1. Let r = f + 11. Let d be r + -8 + (-4)/(-2). Is d at most -15/7?
False
Suppose 3*c = 12 + 39. Suppose c + 19 = 2*f. Let v be (1 - -2 - 37)/(-2). Which is greater: v or f?
f
Let q = -0.0262 + -0.0738. Which is bigger: q or 295?
295
Suppose 3*s - 2*m - 1296 = 0, -5*s + m - 1717 = -9*s. Is s greater than 428?
True
Let d be (-3 - 15)*2/(-5 - 1). Suppose -d*q = -4*q - 14. Is q at least 7?
True
Suppose 5*w = 6*w + 44. Let r be w/(-12) + 2/(-3). Suppose -5 + 11 = -r*s. Which is bigger: 0.1 or s?
0.1
Suppose -3*o = -5*y + 52 + 15, -y - 3*o + 17 = 0. Suppose -4*s = y + 2. Let x be (-4)/(2/(-12)*s). Which is bigger: 1/5 or x?
1/5
Suppose 0 = 4*i - 6*i - 10, 5*i + 53 = -4*l. Suppose 109 = 3*v + 127. Which is greater: l or v?
v
Suppose -2*m - 2*s + 22 = 0, 2*s + 2*s - 4 = 0. Is m < -6?
False
Let p be (-95)/184 + (-6)/(-4) + -1. Let y = 329/2392 - p. Which is smaller: y or -1?
-1
Suppose -60 = 39*v + 21*v. Is v <= -3.1?
False
Let o = 289 + -278. Which is smaller: o or -0.27?
-0.27
Let y = 8 - 4. Suppose 0*u = y*u. Let s be -1 - (-1 - 1/(-1)). Is u at most as big as s?
False
Let g = 16 - 10. Let n(j) = j**3 + 5*j**2 + 8*j + 13. Let p be n(-3). Which is bigger: p or g?
p
Let k be 1111/99 - 2/9. Suppose -x = 5*o + k, -2*x - 2*x = o - 32. Is 8 less than x?
True
Let o be 42*(1 - 10/(-14)). Which is greater: 75 or o?
75
Let f be 4/(-1) - (-4 + -2 + 4). Which is smaller: 6 or f?
f
Suppose -75*l = -67*l + 32. Which is greater: -41/12 or l?
-41/12
Suppose 0*j + j + 17 = -4*l, -l - 5*j = 28. Let x be -1 + ((-1)/5)/(1/(-5)). Suppose 0 = -7*s + 7 - x. Is l greater than or equal to s?
False
Let d(o) = o**3 + 3*o**2 + 3*o + 7. Let l be d(-3). Let t be (-3 - (-94)/28)*l. Do t and -2 have the same value?
False
Let o = -2.9 + 3. Let p = -51 - -56. Let l be (52/715)/((-1)/p). Is o less than or equal to l?
False
Let r be (-756)/(-36)*(-1 + -1 - -1). Let f = -19 - r. Which is smaller: -5/2 or f?
-5/2
Let p(h) = h**3 - 9*h**2 + 9*h + 3. Let u be p(8). Let q = u - 9. Suppose 3*c = q + 1. Which is greater: -1/7 or c?
c
Suppose -o - 2*o = 5*c - 19, 14 = c + 4*o. Do c and 30/37 have different values?
True
Suppose -4*g + h + 2*h = -14, 0 = -2*g + 5*h + 14. Is g < -3?
False
Let x = -220670443/37 - -5963638. Let u = -428 - x. Which is bigger: 0 or u?
u
Suppose 2*i = 16*z - 15*z - 191, 0 = -4*i + z - 381. Are i and -103 non-equal?
True
Suppose -3*f - 2*f - 25 = -3*v, -4*v - f - 5 = 0. Let u be (-3 - v/1) + 2. Which is bigger: u or -2/5?
-2/5
Let o be 5 + 11/(-2) + 11/2. Suppose 20 = 5*q - 0*q - o*t, -5*q + 2*t + 8 = 0. Which is greater: q or -1/4?
q
Let d be (-88)/99*(-3)/(-212). Is 0 at most d?
False
Let b(f) = -5*f + 16. Let z be b(6). Let n = z + 29/2. Let p be (8/3)/((-2)/(-6)). Which is smaller: p or n?
n
Let j be (-3*1)/(2/8). Let b = 439 - 428. Let m = j + b. Which is smaller: 6 or m?
m
Suppose -3*t - 2 = 4. Suppose 4*y = -4*g - 0 + 24, 3*g = y - 2. Let x be g*-15*(-7)/(-21). Is t greater than or equal to x?
True
Let y be 0*2/4 + 674/(-2359). Is -1/142 smaller than y?
False
Suppose 0 = 2*b + 4, 3*b + 30 = -z + 5*z. Suppose z*n - n - 60 = 0. Does n = 12?
True
Let s = 1862/15 - 123. Which is bigger: 2 or s?
2
Let g = -186 - -185. Let j = -7 - -10. Let d be 2 - ((-153)/(-12))/j. Which is smaller: d or g?
d
Let u = -562 + 43270/77. Which is smaller: 0 or u?
u
Let a = -167 + 196. Which is bigger: 27 or a?
a
Let k(a) = -a**2 + 10*a + 12. Let y = -14 + 17. Suppose s + 7 = t, -t + 5*s - 42 = -y*t. Let i be k(t). Which is smaller: 3 or i?
i
Let s = 3.32 - -0.48. Let b = 5.8 - s. Which is smaller: b or 9?
b
Let r be 5/((-28)/(-8) - 1). Let k be r/((-2)/(-16)*-1). Which is greater: -14 or k?
-14
Let v be (-270)/(-40) - (-1)/4. Let j = v + -22/3. Let u(c) = -c**2 + 3*c - 1. Let d be u(3). Which is bigger: j or d?
j
Suppose 0 = 3*j - j - x - 46, -4*j + 4*x + 96 = 0. Is 22 <= j?
True
Let w = 105 + -114. Which is smaller: w or -19?
-19
Suppose 0 = 3*o - 4 + 1. Let j = 19553/15 - 1304. Let u = j + 4/5. Which is bigger: u or o?
o
Suppose -b - 9 + 1 = 0. Suppose -8 = 2*t - 4*l, 3*t - 2 = 4*t - 4*l. Let g be (t - -4)*((5 - 3) + 2). Are g and b non-equal?
False
Let q = 13 + 37. Let z = 879 + -828. Which is bigger: z or q?
z
Let i = -365 - -363. Which is smaller: i or 91?
i
Let p = -2.9 + -55.1. Let w = 61 + p. Is -3/4 <= w?
True
Let j = 394.3 - 331. Let s = j + -66. Let x = -0.3 + s. Which is bigger: x or 0?
0
Let b(o) = 10*o - 2. Let g(l) = 19*l - 5. Let f(m) = -5*b(m) + 3*g(m). Let s be f(2). Are 7 and s non-equal?
True
Let q = -88.049 - -88. Let i = -0.161 + q. Which is greater: i or -1?
i
Let b = -132487/2271 - -4/757. Let n = -4805498 + 446916733/93. Let k = b + n. Which is smaller: k or 0.1?
k
Let t be (-102)/119 - (-44)/42. Is t at most as big as -1?
False
Let r = 25.2 - -0.4. Let o = r + -5.6. Which is greater: 2 or o?
o
Suppose -3*h - 17 = -2*j, 0*j - h - 11 = -2*j. Let f = 6 - j. Suppose 21 = y - 3*w, -3*w = f*y + 2*y - 24. Is 11 equal to y?
False
Let l(c) = -3*c - 33. Let y be l(-14). Suppose -y*z = -5*z. Which is smaller: z or 2/37?
z
Let v be (12/(-3))/(-2) + -2. Let k be v - (6/9)/((-6)/(-81)). Is 2 not equal to k?
True
Let b = -40 + 42. Suppose 0 = b*j + 35 - 25. Are j and -3 non-equal?
True
Let h(o) = o**2 - 3*o + 2. Let l be h(6). Let q = l + -35. Is q less than or equal to -16?
False
Let x = -3 + 0. Let l = 523.7 + -524. Which is greater: l or x?
l
Let u = -25/292 - 12/73. Which is smaller: 0.427 or u?
u
Let v be (25/(-150))/((4/9)/(-4)). Let b(u) = -3*u. Let w be b(4). Is v != w?
True
Suppose -4*c = c - 5, 8 = b + 4*c. Suppose -2*p + b*o - 6 = 0, 5*o - 9 = -0*p + p. Is p greater than or equal to 0?
True
Let y be (-8)/(-6) - 1 - 1232/(-12). Suppose 7*s + 100 = -y. Is -28 <= s?
False
Let a(z) = 188*z + 7. Let l be a(1). Let p be 399/l + 8/52. Which is smaller: p or 0?
0
Let v = 174.2 + -173. Let t = 0.02 - -6.18. Let m = v - t. Is m bigger than 2/5?
False
Suppose 6513 = -35*f + 22*f. Are -502 and f unequal?
True
Let k be (-30)/12*(-14)/5. Let i be ((-8)/(-3) - 3)/((-4)/60). Is k >= i?
True
Let y = 356 + -162. Is 195 greater than y?
True
Suppose -7 = -5*b + 5*g - 2, 4*b - 10 = g. Let y be (180/(-108))/(b + 0 - 1). Which is smaller: 0.06 or y?
y
Let m be (96/(-60))/(3/(-75)). Let a be ((-2)/12)/(14/(-21)). Which is smaller: m or a?
a
Let d be (-2)/(-3)*(-9)/3. Let s be (23/(-9) - 0) + (-834 - -836). Does d = s?
False
Let z be 4/(-6) + 19/(-3). Suppose 2 = -0*o + o. Suppose -o*f + 4*f + 12 = 0. Which is smaller: f or z?
z
Suppose 2*j - o = 7, -2*o + 2 = 5*j - 2. Suppose 0 = j*u - 3*u + 1. Let y be 0/(-4)*(u + -2). Are 12/13 and y non-equal?
True
Let w = 10412/3 + -31084/9. Let f = -421/18 + w. Suppose 0 = -34*v - 549 + 311. Is v at most f?
True
Let a = -1085 + 1108. Which is greater: a or 31?
31
Let y be 8 + 9/(-3) + -1. Suppose 0 = -4*z + y*d - 9 - 11, -4*d + 20 = -2*z. Is z bigger than 2/13?
False
Let l be 15/((-4)/(-8) +