-29?
False
Let c = -4.62 - 1.95. Let w = -1.43 + c. Let f(u) = -u - 5. Let b be f(-5). Are w and b non-equal?
True
Suppose 3 = x - 24. Let w be x/(-63)*(-34)/(-3). Which is greater: 1 or w?
1
Let i be (3 - 5)*((-15)/35)/(8/(-28)). Which is smaller: -122/29 or i?
-122/29
Suppose 60*q = 62*q + 22. Let m be (-772)/66 + (-12)/18. Let c = 49/44 + m. Are c and q equal?
False
Let n = -0.05464 - -0.25464. Which is greater: 142 or n?
142
Let f = -3.74 - -4.04. Let g = f + -0.2. Which is greater: g or 0.159?
0.159
Let n = 80 - 80.2. Let t = -261 - -257. Which is smaller: n or t?
t
Let m = -128 + 14. Suppose 5*f - 602 + 32 = 0. Let k = m + f. Which is smaller: 3/7 or k?
k
Let m(i) = 35*i + 1089. Let w be m(-31). Which is smaller: -15 or w?
-15
Suppose 0 = -19*l + 15*l + 36. Suppose -l*h = 2*h + 44. Let q be (11/(-2))/(h/8). Which is smaller: 62/5 or q?
q
Let j be 6/(-9)*-3*2. Let m be -6 - ((-912)/92 + j). Which is smaller: m or -0.08?
m
Let j be (-8 - -7) + (-53070)/49. Let h be 2*6508/12 + (-2)/3. Let y = h + j. Which is bigger: -1 or y?
y
Let m = -1.199 - -2.199. Is m at least as big as -0.046?
True
Suppose -4*v + 499 - 843 = -32. Which is smaller: -161 or v?
-161
Suppose 2*d + 252 = -3*x - 413, -4*d = -5*x + 1297. Which is bigger: d or -330?
d
Suppose -121 = -2*s + 305. Let y be 94/(-4)*(-7436)/858. Let c = y - s. Are -8 and c nonequal?
True
Let i be 2/16*8851914/(-27). Let f = -41024 - i. Let d = 43 + f. Is d at most 0.3?
True
Suppose -383*o = -205*o - 196*o - 4158. Are o and -1/4 unequal?
True
Let z be 13940/1300 + 187/(-11). Is z equal to -5?
False
Let j be (-203)/98*7*-152. Which is smaller: 2205 or j?
j
Let u(x) = -5*x + 194. Let t be u(39). Which is greater: t or 27/50?
27/50
Let k be (12/(-11))/(32/(-176)). Suppose b - 10 = k*b. Let v be -2 + (4 - (14 + 0))/b. Is v < -0.1?
False
Let o(u) = -u + 10. Let k(f) = -f**3 + 10*f**2 - 5*f - 4. Let s be k(10). Let g = 49 + s. Let y be o(g). Is y smaller than 15?
False
Let j = -4508 - -4451. Which is smaller: -91 or j?
-91
Let q be 4/3*((-143544)/(-864) + 50/45). Is q greater than 222?
True
Let w be (-4)/(-10) + (-504)/10. Let y be (-197)/(-5) - ((-16)/10 - -1). Let c = w + y. Which is greater: -13 or c?
c
Let j(t) = t**3 + 2*t. Let n be j(0). Suppose -w + 3*v = n, w - v = -2*w. Is w >= 1/3?
False
Suppose 4*n - 3*k = -567, 1056 = -3*n - 2*k + 584. Let b = -2 - -1.9. Which is bigger: b or n?
b
Suppose 4 + 7 = d. Let v = 11.799 - 0.199. Let y = 11.3 - v. Which is bigger: y or d?
d
Suppose -x - 50 = 2*p + 28, 143 = -3*p + 5*x. Suppose -5*t - f - f = -24, 0 = 4*t + 4*f - 24. Let o be (53 + -33)/((-2)/t). Is p at least o?
False
Let s be (898/6)/(80/15). Let f = s - 28. Let y(c) = 5*c + 11. Let n be y(-2). Is n smaller than f?
False
Let a be (-1)/(-3) + (-3 - (1 - 51/9)). Which is smaller: a or -93?
-93
Let i = -15622 - -16297.04. Let s = 675 - i. Which is greater: s or 2/39?
2/39
Let a be (-567)/5 + 2 + -3. Let w = 116 + a. Let h be (30 - 22 - 7)/1. Is w at most h?
False
Let p = -358.8 - 427.96. Let x = p + 807. Let b = 20 - x. Which is bigger: 1 or b?
1
Suppose 0 = 327*w - 324*w - 24. Suppose -23*g = -238 + w. Suppose 18 = 2*f - l - 7, -2*l - 6 = 0. Which is greater: g or f?
f
Let z be (15/6 - 2)*(-1 - -1). Suppose -j = -5*s - 37, 122 = 5*j + 2*s - 6*s. Suppose -t - j = 4*b - 3*t, 3*t - 21 = 2*b. Are b and z unequal?
True
Let n be 1/((-5)/460*-4*1). Let o(a) = -5*a + 97. Let p be o(n). Is p at least -88/5?
False
Suppose 4*v = -4*o + 291 + 1637, v = -4*o + 1943. Is o greater than 971/2?
True
Let g = 2.5 - -0.5. Let f be (-12 - (-92)/8)*68/7191. Which is smaller: f or g?
f
Let j be 0/(27/15*(-65)/(-39)). Which is greater: j or -1/1357?
j
Let z = 125 + -123. Let m be (z - (0 + 1))/((-72)/(-16)). Is 1 smaller than m?
False
Let o be (2/12*6)/(5692/(-12)). Is o greater than 0?
False
Suppose -135*o - 1446 - 6608 = -133*o. Does o = -4027?
True
Let c = 14567 + -87401/6. Which is smaller: c or -606?
-606
Suppose 15*p + 13*p = -61*p - 16*p. Which is greater: p or 4/355?
4/355
Suppose 4*v = 36*v - 256. Is v greater than or equal to 55?
False
Let z(k) = -140*k + 2259. Let c be z(64). Which is bigger: c or -6703?
c
Suppose 83*n = -2450 - 206. Which is smaller: -53 or n?
-53
Let t = 14 + -7. Let c(l) = 6 + 0*l - l - t*l + l**2. Let f be c(9). Are f and 13 non-equal?
True
Let a be (-48)/(-40)*25/((-200)/(-96))*5. Let h = 6 - 6.3. Is h greater than a?
False
Let u = 3995 - 4011. Is u bigger than -4/21?
False
Let u(g) = 13*g - 35. Let y be u(3). Let t be (-13)/((-13)/94) - y. Is t < 90?
False
Let b = 3 + -3. Let p be ((-2)/(-82))/(5 + 294/(-60)). Let f = 313/779 - p. Do f and b have different values?
True
Suppose 3*k - 19*s = -14*s + 1830, 5*k = 5*s + 3050. Is k smaller than 612?
True
Suppose 0 = -q + 17 - 27. Let l be 6/12*((-24)/q + -2). Suppose -11*f - 14 = -4*f. Is l less than or equal to f?
False
Let q be 14403/36 - (-1)/(-12). Let s = q + -399. Is -1/457 less than s?
True
Let h(r) = -2*r + 2. Let g(q) = -q - 33. Let i(l) = -g(l) + 3*h(l). Let w be i(20). Does w = -59?
False
Suppose -933 + 1793 = -r. Does -859 = r?
False
Suppose -b + 31 = -4*s, -2*s + 1 - 18 = -b. Are -106 and s equal?
False
Let c = 4.6769 - 0.3669. Let s = 0.008 + 0.282. Let l = s + c. Which is smaller: l or 2?
2
Suppose 0 = -3*n - w + 158, 2*w + 3*w + 128 = 3*n. Let m = 36 - n. Let y = m - -15. Is y smaller than -11?
False
Suppose -7*l + 3 = -6*l, -3*x + 0*x + 3*l = 0. Is 11/6 greater than or equal to x?
False
Let r(d) be the second derivative of d**5/20 + d**4/3 - d**3 + d**2 - d. Let f be r(-5). Let y = -1489 + 1494. Do y and f have different values?
True
Let j = 87 + -39. Suppose 3*v - 2*z - 133 = 0, -v + 0*z + 47 = 2*z. Let i = v + 4. Which is smaller: j or i?
j
Let k be 5*((-400)/2200 - ((-174)/110 + 0)). Which is smaller: k or 328/53?
328/53
Let p = 49102 - 48587. Which is smaller: p or 0.18?
0.18
Let g = -8775 + 61419/7. Let n = -0.022 + 0.022. Is g not equal to n?
True
Let u be ((-1)/(-4))/(36/(-144)). Let r be (u/2)/(39/(-6) + 7). Which is greater: r or 1/30?
1/30
Let g = 13 + -23. Let l be ((-4)/8)/(g/824*2). Let d = 1427/70 - l. Are -1 and d unequal?
True
Let m = 23917541/30689505 + 5/194854. Let x = -34/45 + m. Which is greater: 0 or x?
x
Suppose -73*t - 14*t - 334 - 14 = 0. Is t greater than 349.7?
False
Let k(x) be the third derivative of x**5/60 - 3*x**4/4 + 17*x**3/3 + 41*x**2. Let s be k(14). Let c = 10 + -31. Is s <= c?
True
Let g be (156/18)/(2 + (-725)/363). Let t = -12051/4 + g. Let p = t + -143. Which is smaller: -9 or p?
p
Let g = 107 + -72. Let x = -158 - g. Is x > -193?
False
Let r be ((-27)/(-18))/((-6)/8). Let n = 11 - -35. Let j = n - 49. Is r not equal to j?
True
Let d(u) = -21 + 57 - 3 - u + 2*u. Let j be d(-3). Suppose 2*k = 4*k - 58. Which is smaller: j or k?
k
Let q = -7322.01 + 7326. Which is bigger: q or 3?
q
Suppose 56 + 20 = 19*p. Suppose 3*n + 5*h - 47 = 0, 0*h - 4*h = p*n - 60. Is n greater than 5?
True
Let g be (7 + 111)*(-11 - 78/(-12)). Which is greater: g or -530?
-530
Let i = 45661 + -274561/6. Suppose 4*y - 408 + 12 = 3*n, -y + 99 = 5*n. Let z = i + y. Which is bigger: z or 0?
0
Suppose v + 0 = -4. Let y = 6.62 - 3.42. Let f = 3.7 - y. Which is smaller: v or f?
v
Let z be 6 + (2 - (-7 - -4)). Suppose -3*i = -0 + 9. Let b be (i - -5)/(2/1). Are b and z equal?
False
Let x = 139 + -112. Let j be x/((-1836)/(-8)) - (-118)/(-425). Are j and -1 equal?
False
Let g = -23/18209 + -239703115/127463. Is -1882 equal to g?
False
Let w be 50/(-30) - (-2)/3. Suppose 328 = -12*l - 176. Let h be 60/l - (0 + w). Is h equal to -1?
False
Let j = -202 - -202.9. Suppose 4*s - 54 = 10*s. Let r = -7 - s. Is j greater than r?
False
Let s = -16335 - -15927. Which is greater: s or -406?
-406
Let m be 34/(4*5/20). Let t be (31/m - 1)/(60/20). Which is smaller: t or 1?
t
Let s = -65059/2 + 32557. Is -95 greater than or equal to s?
False
Let u = -5185/3 + 1804. Let i be 235*(1 - 2/3). Let c = i - u. Which is smaller: c or 4?
c
Let o(l) = 3*l - 20. Let w be o(8). Let v be (4 - (-22)/w)*2. Let s = v + -94/5. Is -1 less than s?
True
Suppose -n - 2*n = 0, 5*k - 3*n = 25. Suppose -75 = -4*t + k. Suppose -6*v - t = -v. Is -5 at most as big as v?
True
Suppose 10*w - 12*w = 5*b + 2861, -3*w + 2*b = 4263. Do w and -1427 have the same value?
