alse
Let v(c) = -10*c**3 - 6 - 9 + 9*c**3 + 7*c + 8*c - 15*c**2. Let a be v(-16). Let r be (3/(-42))/a*8/(-2). Which is smaller: r or -0.1?
-0.1
Let c = -3.57342 + -0.03658. Which is smaller: -2/7 or c?
c
Let i = -0.35 - -0.23. Let f = -38 + 28. Let m = -11 - f. Is i bigger than m?
True
Let t = 778/3 - 2589/10. Let s = t - -577/330. Which is smaller: s or 2?
2
Let q = 4880/3 + -1624. Which is smaller: q or -0.48?
-0.48
Suppose 4*v - 30400 = -3*v + 102*v. Is v at most as big as -293?
True
Let z be 117/(-39) + 0/2. Let g be ((-20)/(-4) + (z - 2))/(-2). Are 2/103 and g non-equal?
True
Let n(i) = i**3 - 2*i**2 - 6*i + 11. Let p be n(2). Let h be 480/(-3608) + (-4)/(-22). Which is smaller: h or p?
p
Let h = 22424620579907347/4224681997965 + 4/8534711107. Let g = -5308 + h. Is 1 greater than or equal to g?
True
Let k(g) = 2*g**2 - 12*g - 53. Let f be k(-4). Suppose -5*y - 233 = -3*t, 5*t + 4*y - f = 386. Is t at least 79?
True
Let f(z) = -2*z**2 + 6*z. Let b be f(2). Suppose b = -4*n, 0 = -3*m + 2*n + 2*n - 50. Let t = 11 + m. Which is bigger: -9 or t?
t
Let y(d) = -d**2 + 7*d - 1. Let v be y(7). Suppose 3*w - 271 = -2*u + 123, 0 = 3*w + 5*u - 391. Let m be (-15)/w + (-4)/16. Is m less than or equal to v?
False
Let o(v) = 5*v**2 - 59*v - 21. Let c be o(12). Let z be -33 - c*(-6)/(-18). Is -0.3 > z?
True
Let a = -7727 - -7771. Let b = 1 + -0.8. Is b bigger than a?
False
Let t(r) = -28*r - 63 + 70*r - 24*r - 19*r. Let c be t(7). Do -69 and c have the same value?
False
Let t(o) = -6*o - 85. Let g be t(-15). Suppose 0 = 60*c - 55*c - g. Which is smaller: c or 2/275?
2/275
Suppose 4*j = 4*r - 31 - 5, 3*j = 4*r - 35. Which is smaller: j or 52/417?
j
Suppose -4*a = -83 - 29. Let z = a - 23. Suppose 4*n + 21 = z*n. Is n > 21?
False
Let r = 0.3148 + 0.3852. Let s = 62 - 114. Which is smaller: s or r?
s
Let n be 289/(-340)*525/56. Which is smaller: n or -8?
-8
Let f = -9 + -3. Let c be (f/(-5))/((-18)/120). Let x be ((-55)/33)/(1/(-3))*-3. Is c <= x?
True
Let h(j) = -45*j + 44*j + 58 - 35 - 26. Let w be (2 - 0)/(2/(-4)). Let t be h(w). Which is smaller: -1 or t?
-1
Let n = -14107 - -14103. Is n at most -7?
False
Suppose -c - 222 = -977. Which is greater: c or 751?
c
Suppose 86*j + 59715 + 9900 = j. Is j greater than -828?
True
Suppose -4*g + 10 = -h, -7*h + 24 = 4*g - 15*h. Let c(o) = o**2 - 7*o - 3. Let f be c(-5). Suppose -3*z = v - g*z + f, -3*v - 153 = -3*z. Are -54 and v unequal?
False
Let x = 40981 + -40973. Let c = 2 - 10. Let u be 1 - (c - (-3 + 2)). Are x and u unequal?
False
Let z(s) = 2*s**3 + 17*s**2 - 12*s - 33. Let o be z(-9). Let p be -1*(261/(-45) - o). Is -55 < p?
True
Let a = -93 + 50. Let j = 35760 - 35759.9. Which is smaller: j or a?
a
Let l(i) = -58*i - 240. Let y be l(-4). Let p be 266 + ((-135)/60)/(3/y). Which is greater: p or 273?
273
Let i = -6.7 + 5. Let j = i + 13.7. Let z = -0.159962 + 0.359962. Is z > j?
False
Let d = -336 - -176. Let f = d + 172. Which is smaller: 10 or f?
10
Suppose -5*u = -j - 10, -28*u + 5*j = -29*u + 2. Let w = -2/5 - -16/15. Which is smaller: u or w?
w
Let q(l) = l**3 + 17*l**2 + 43*l + 19. Let t be q(-14). Suppose 0 = -t*d - 2*m + 67, d + 4*m - 6 = 11. Is d at least 15?
False
Let d be ((88/(-72) - -1) + 2311/(-9))/(-1). Which is greater: d or 255?
d
Let t(a) be the first derivative of 2*a**3/3 - a**2 + 7*a - 7. Suppose 4*b = 2*k + 10, -4*b - 4*k - 20 = -b. Let h be t(b). Which is bigger: h or 54/7?
54/7
Let j = -409 - -727. Let s be (-4 - (-1896)/j) + -2. Which is bigger: s or 0?
0
Suppose -502*r + 1002*r - 498*r - 16 = 0. Let g = 134007/17374 - -3/2482. Which is greater: g or r?
r
Let b = 81/133 + -24/133. Which is bigger: -2/95 or b?
b
Suppose -j + 2*d = -23, 0 = -4*j + 626*d - 623*d + 92. Do 0 and j have different values?
True
Suppose 0 = -3*a + v + 16, -a + 8 = -2*v + 1. Let i = 3069/85 + -182/5. Which is greater: i or a?
a
Let x = -243 - -134. Let p = x + 129.9. Let u = -21 + p. Is 0.03 equal to u?
False
Let s(d) = -8*d**2 - 54*d + 237. Let c(h) = -2*h**2 - 14*h + 59. Let q(a) = -9*c(a) + 2*s(a). Let n be q(-13). Is 47 less than or equal to n?
True
Let l be (0 + 1 + (-2)/(-4))*8. Let q be (-40)/725*(0 - 9/l). Is q < 1?
True
Suppose 0 = -20*w - 10*w + 7200. Suppose 39*i - 36*i + w = 0. Which is greater: i or -77?
-77
Suppose 0 = 5*a + 3*p - 1183, 167*p - 171*p = 4*a - 956. Is 227 at most a?
True
Let n(a) = -a + 7. Let l be n(-5). Let i be 54657/138*(-16)/l. Let s = 528 + i. Is -1 not equal to s?
True
Let n = -116581/93632 - 551/4928. Let v = -24/19 - n. Which is smaller: v or 0?
0
Let x be (-133 + 1)*(-4)/6. Let g be ((-22)/x)/((-1)/(-242)). Which is smaller: g or -61?
-61
Let c = 166149 - 166041.217. Let h = -2.687 - c. Let q = 111 + h. Is q > -2?
True
Suppose 0 = -3*q - 67 + 163. Let u = q + -12. Which is greater: 21 or u?
21
Let f = 12332 + -12332. Do 441/5 and f have the same value?
False
Let z be 1*0*5/(-15). Let k = -18/211 - 839/2532. Which is greater: z or k?
z
Suppose 0 = -3*l + 6*l - 0*l. Suppose l = -7*w - 52 - 39. Is -5 >= w?
True
Suppose 2*j = 4*v - 306 + 24, 5*v = -5*j - 630. Which is bigger: -149 or j?
j
Let h = -4519/357 + 70/51. Let q = h + 467/42. Is q smaller than 32?
True
Let n(v) = 9*v + 3. Let r be n(-1). Let s = -15 + r. Let w be (-14)/3 - 14/s. Which is bigger: -5 or w?
w
Let u = 319/353 - 358355/6707. Which is smaller: u or -54?
-54
Let b(c) = c**2 + 3*c - 65. Suppose -10*j + 27 = -7*j. Let q be b(j). Which is smaller: 42 or q?
42
Let b = -1331 - -184. Which is smaller: -1142 or b?
b
Suppose -g - 100 = -2*m, 2*m + 370 = -2*g - 2*g. Let v be g/(-3)*1/(-56). Let l = 9/14 + v. Is l at least 0?
True
Let d = 180 - 121. Let u be (32 - 31)*14/d. Is 1 at most as big as u?
False
Suppose 1037*g = 249*g + 20352464. Is g < 25828?
False
Suppose 0 = -14*w - 74*w. Which is bigger: -45/62 or w?
w
Suppose 1 + 0 = k. Suppose -397 + 3397 = 3*w. Let p = w - 7989/8. Which is smaller: p or k?
k
Suppose -20*x - 6 = -14*x. Let k be (-9)/27*(2 - x). Is k <= 114?
True
Let y be ((-1)/4)/((-279)/(-72)). Let q = -1.2351 - -0.2351. Which is smaller: y or q?
q
Let a = -170 - -112. Let i = a - -56. Let k be 21/i*(-7 + 3)/(-24). Is -3 greater than k?
False
Let d be (-3 - -73)*(3 - 2). Let g be ((-100)/(-14))/(40/d). Let i = 199/14 - g. Does i = 2?
False
Let y = 3485 - 6969/2. Is y equal to -4.19?
False
Let i = 12057 + -13006. Which is smaller: i or -950?
-950
Suppose 2*s + 5*l - 18 = 0, 0 = 5*s + 8*l - 3*l - 60. Which is smaller: s or 129/10?
129/10
Let n = 12370 + -12334. Which is smaller: n or 0?
0
Let i be (-34)/136 - 20/(-16). Let t(f) = -f**3 - 5*f**2 - f - 6. Let j be t(-5). Let x be (j/(-67))/((-3)/(-3)). Is i smaller than x?
False
Suppose 4*w = -127 + 31. Let k be 28/(-20) + w/(-40). Is k >= -1?
True
Let z = -7 + 4. Let t(p) = -19*p - 110. Let m be t(-6). Suppose -2*x - m*y = -14, y - 1 - 4 = x. Which is greater: x or z?
x
Let v = 57.953 + -58. Let p = -23.953 + v. Let j = 17 - 17. Which is greater: p or j?
j
Let b be (-1)/7 - (4 - 396/28). Suppose 6*g - b = 11*g. Is g greater than -1?
False
Let w = -177 - -2647/15. Which is bigger: w or -1?
w
Suppose 160 = -3*g - a, 3*g + 4*a - 5*a = -152. Let r be 5/20 - 3003/g. Which is greater: r or 60?
60
Suppose 155*s - 92*s + 52920 = -207*s. Is s greater than -204?
True
Let o(d) = d**2 - 5*d + 7. Let l = 12 + -10. Let b be o(l). Suppose -11 + b = -5*f. Which is greater: f or 0.09?
f
Let i = -495 - -501. Suppose 0 = 3*l - 15, 4*l + 126 = s + i*l. Is 0 != s?
True
Let i = 6.3 + -6. Let n = -471940 + 471959. Do n and i have different values?
True
Let w = -4419.86 + 4460. Let y = 6 - -34. Let k = y - w. Is k equal to 2?
False
Suppose 0 = -3*q + 3*d - 6*d - 105, 0 = -5*q - 2*d - 175. Let o = -80 - q. Which is smaller: -50 or o?
-50
Let i = -19695 + 21665. Is i at least as big as 1970?
True
Let z be 997908/8 + (-9)/6. Let s be z/(-165) + (-2)/(-11). Let b = s + 753. Does b = 1?
False
Let g = -7.211 + 0.941. Let v = g - -4.27. Which is greater: 82 or v?
82
Let r = 45 + 51. Let g = r + -96.44. Is 0.2 != g?
True
Suppose 185 = -2*c - 279. Let a be c/28 - 2/(-7). Let b be (6/a)/((-45)/(-24)). Are b and 1 equal?
False
Suppose b + 3*u - 152 = -296, 0 = 5*b + 2*u + 655. Which is greater: -144 or b?
b
Let j be ((-87495)/(-315) - 6/14)*(-3)/(-2). Is 420 greater than j?
True