s 4?
True
Let n = 40.491 + 1.509. Let t(x) = 7*x - 49. Let p be t(7). Which is smaller: p or n?
p
Let c = -2352 + 2353. Which is smaller: c or -9/473?
-9/473
Let t(j) = 15 + 18 + j + 8 + j. Let h be t(-18). Suppose -h*o + 2*q = 95, q = 4*q. Is -18 at least o?
True
Suppose -3*h - 1369 + 6188 = 2*a, 0 = -5*a + 10. Suppose -2*y = -7*y + h. Let m = y + -8027/25. Is 1 < m?
False
Suppose 0 = -3*o - 3*p - 6792, -492*o + 495*o + 2*p = -6797. Do -2266 and o have the same value?
False
Suppose -4 = 2*c + 2. Let l = -3 - c. Let s = 7399.031 - 7399. Which is smaller: l or s?
l
Suppose 5*z - 5*d = 25, -5*d - 16 = -3*z + 5. Let w be z/4 + 4/(-16) + 0. Let i = -0.11 - -5.11. Which is greater: w or i?
i
Suppose 2*w + 156 = -4*r, 14*r - 13*r + 17 = 5*w. Let x be (-6)/12*6/r. Which is smaller: x or -1?
-1
Let l = 492.2 - -2002.8. Let o = -2597.1 + l. Let q = 102 + o. Is -2/47 less than or equal to q?
False
Let c be ((8 - 16)/(-96))/((-10)/30). Which is smaller: c or -357?
-357
Suppose 17590 = 4*y + 2*q, -1801*y + 13195 = -1798*y + 4*q. Is 4397 at most as big as y?
True
Suppose -5*g - 11 = 5*f + 39, -4*f - 8 = 0. Let d be -5 - (55/(-2) + g/(-16)). Which is smaller: d or 21?
21
Suppose 14*t - 9*t + 10 = 0. Let m be (1778/(-3))/7 - t/(-6). Which is smaller: m or -1?
m
Let a = 7319 + -7956. Which is smaller: -635 or a?
a
Let c(r) = r**3 + 52*r**2 + 56*r - 242. Let v be c(-51). Is v bigger than -474?
False
Suppose 0 = f - 630 - 395. Let i = f - 73801/72. Let d = -1338 - -1338. Which is smaller: i or d?
i
Let c be (-1)/(-3) + (-33449)/(-651). Which is greater: 53 or c?
53
Let j = 6883 + -6254. Is j bigger than 632?
False
Let l(m) = 231*m**2 - 19*m - 18. Let t be l(-1). Suppose 231*i - 1 = t*i. Which is bigger: i or 3/461?
3/461
Let m be ((-9)/(1350/(-48)))/((-4)/(-2610)). Which is smaller: m or 209?
m
Suppose 7*c - 12*c = -4*s - 959, 0 = -2*c - 4*s + 378. Suppose 2*d - 3*a = -4*a + 126, -3*d + c = 2*a. Which is bigger: 62 or d?
62
Let o = -4944 - -4926. Which is greater: -32 or o?
o
Let f be 4 + (-2 - -2)/(-1 + 3). Let t be (17/2 - 7)/(6/f). Which is greater: 5/22 or t?
t
Let v = 32852747/1619 + -20292. Is 0 bigger than v?
True
Let d be 39/(-26)*(-8)/(-12)*1279. Which is smaller: d or -0.2?
d
Let q be ((-53304)/1140)/(12/165). Let w = q - -643. Do 0 and w have the same value?
False
Let x(o) = o**3 - 15*o**2 + 40*o - 46. Let t be x(12). Is 105 greater than t?
True
Suppose -u = 4*n + 2, -1 = u - 227*n + 232*n. Which is bigger: -275 or u?
u
Let j be (-23507250)/(-312)*(-16)/54 - (-10)/135. Which is greater: -22325 or j?
j
Suppose -8*k + 3*x + 19907 = -9*k, 3*k = 6*x - 59601. Which is bigger: -19882 or k?
-19882
Let o = -797 - -828. Suppose -1586 - 8334 = -o*a. Which is smaller: a or 321?
a
Let d = -2573 + 2572. Are -18/3209 and d equal?
False
Let v = 1234/3605 - 13/35. Let x be (-6)/(-2) + -15 + 11. Is x <= v?
True
Let k = -73 - -145. Let y be (-8)/k*3/52. Suppose 51*n = 94*n - 58*n. Is y > n?
False
Let f = -784 - -799. Let b be 35/f - (-37860)/(-16164). Which is smaller: b or 0?
b
Suppose 2*h = -2*h + 12, 2*h - 8 = -2*o. Let p = 23 + o. Suppose 0 = 5*s - 26 - p. Is 9 != s?
True
Let d = 0.14 - 0.1. Let q = -107.6 - -115. Let b = 7.1 - q. Which is greater: d or b?
d
Let d(t) = -2*t**2 - 5*t - 1. Let h be d(-5). Suppose 3*l = -5*x - 44, -47*l = -42*l - 6*x + 102. Which is greater: h or l?
l
Let p be (-4)/(-16) - 2585/(-3780). Let o = -11/14 + p. Suppose 2 = -2*s + 2. Is s greater than o?
False
Let h(m) = -6*m**3 + 4*m**2 - 4*m + 5. Let r(y) = y**3 - 1. Let c(o) = -h(o) - 5*r(o). Let w be c(2). Suppose 13*t - 9*t + 8 = w. Which is smaller: t or 1.5?
t
Let k be (-15)/54*3 + (-18 - -12)/(9 + -15). Let t = 58.885 + 0.115. Which is bigger: k or t?
t
Let c = 656/35 + -134/7. Let k = 2265 - 38517/17. Are k and c nonequal?
True
Let s be 7 - (-7125)/10 - (-6)/12. Is s >= 720?
True
Let f be (-35 - -29) + 1691/309 + (-17)/(-51). Is f not equal to 1?
True
Let z(x) = x**2 + 57*x - 2715. Let p be z(46). Do 2024 and p have the same value?
False
Let c be (-18)/225 - ((-4)/(-2) + 203378/(-350)). Which is greater: 601 or c?
601
Let v be (-472 + 0)*12/456. Let g = 2073/95 + v. Which is bigger: g or 9?
g
Let t = 636 - 499.128. Let x = -0.128 - t. Is x less than 0.1?
True
Let o = 0.11557 + -0.04757. Which is smaller: o or -10?
-10
Let z be ((-17)/((-255)/732))/((-8)/20). Suppose 0 = -3*o + 7*o - 4*c + 488, -3*c = 0. Is z <= o?
True
Suppose -3*n + 30 = -3*q, -49*n + 4*q = -51*n + 26. Let l be (-10)/40 + 425/36. Is l less than n?
False
Let j(y) = y**2 - 10*y + 8. Let d be j(14). Let s = 47 - d. Let v(k) = -k**3 - 5*k**2 - 5*k + 1. Let p be v(-3). Do p and s have different values?
True
Let o be (-8 - 155/(-20))*(3 - 7) - 1. Is -2/803 < o?
True
Suppose -5*d + 335 = 20. Suppose -d = -h - 21. Let v(m) = 6*m**2 + 15*m - 32. Let f be v(-5). Which is smaller: h or f?
h
Let x be (-4 - -3)*(-6)/3. Suppose x*t = q + 22, -4*t - 2 = 5*q - 60. Is t greater than 12?
False
Let v = 8295 + -12326. Let x = 310393/77 + v. Is x at least 0?
True
Let s be ((-42)/98)/3 + (-141)/(-7). Suppose 14*i = 16*i - 5*r - s, 8 = -2*i - 2*r. Which is bigger: -2/2103 or i?
i
Let z = 0.0267 + -1.0267. Let w = -149 + 183. Is w <= z?
False
Let d be 23/((-322)/28) + (-7)/((-21)/(-438)). Is d greater than -2365/16?
False
Let k = 104654 + -104653. Suppose 5*n + 42 = -0*m + m, -3*m - 54 = 5*n. Let l = 19/2 + n. Which is smaller: k or l?
l
Suppose -6*h = -h. Suppose -3139 + 565 = 13*c. Let u = c + 197. Which is greater: u or h?
h
Suppose 0*i = -4*k - 4*i + 24, -2*i = -3*k + 3. Let d(j) = 2*j - 2. Let a be d(1). Suppose 39 = 5*z + 4*t + k, -3*z + 3*t = a. Is -2/3 equal to z?
False
Let b = 34 + -137/4. Let n = -355 + 205. Which is bigger: n or b?
b
Let x = -933 - -1419. Let k = -485.6 + x. Is k at most as big as 57?
True
Suppose -739 = -y - z + 232, 3*y = -5*z + 2909. Is y > 973?
False
Suppose 2*r + 3*q - 555 = 0, -4*r + 494 = q - 601. Suppose 0 = 22*s - r - 35. Let l = -19 + 31. Which is bigger: l or s?
s
Suppose 27*g = -2*n + 29*g + 356, -172 = -n + 4*g. Suppose 4*w = 14*w - n. Is 1 at most w?
True
Suppose 3*c - 179 = 2*t, 192*c - 3*t - 183 = 189*c. Are c and 64 nonequal?
True
Let i = -0.706 - 0.294. Does 6.12 = i?
False
Let z be 172442/(-19) + (0 - 7) + 26200/3800. Which is bigger: -9077 or z?
z
Let j = -7183/98892 - 4/603. Which is bigger: j or -1?
j
Suppose 14*b + 5*w = 15*b - 12844, 3*w + 38496 = 3*b. Is b greater than or equal to 12831?
False
Let z = 176 + -260. Let t = z + 63. Which is bigger: -20 or t?
-20
Let n(o) = o + 1. Let r(x) be the first derivative of 5*x**2/2 - 8*x + 8. Let i(v) = 4*n(v) - r(v). Let l be i(-7). Which is smaller: 4 or l?
4
Suppose 0 = -k - 3*k. Suppose -t - n - 22 = k, -n = n. Let f(d) = 2*d**2 + 120*d - 5422. Let g be f(30). Is g > t?
False
Let v(d) = d**2 - 2*d + 122. Let o be v(-14). Are 345 and o nonequal?
True
Let x = 39 + -26. Let g be (-99)/10 + (-4)/(-24)*0. Let j = -19/2 - g. Which is smaller: j or x?
j
Let h = 29512/5 - 5883. Is 20 equal to h?
False
Let f = 142 - 113. Let r = 30 - f. Which is smaller: r or -4/81?
-4/81
Let v(a) = a**2 - 33*a + 33. Let t be v(32). Are 7.44 and t nonequal?
True
Let p be ((-9)/(-117))/(1*-1) + (-16788)/(-3276). Which is smaller: 4 or p?
4
Let y be (3/(-20))/(45/60). Let w = 23 - 15. Suppose -5*h = r - 21, -4 = 4*r - 4*h + w. Is r at least y?
True
Suppose -149 = -4*l - a, 71 = -2*l - 2*a + 147. Which is greater: -2/311 or l?
l
Let b = -346/93 - -116695/31341. Which is greater: 1 or b?
1
Let p be 2 - 886/(-7) - ((-54)/42)/3. Which is bigger: 157 or p?
157
Suppose -3*y + 2*y = t, -5*y - t - 16 = 0. Let r be (6 + -10)*(-1167)/(-12) + y. Which is smaller: r or -394?
-394
Let o = 164 - 148. Let c = 73 + o. Which is smaller: 0.2 or c?
0.2
Suppose -10*t - 2868 - 2452 = 0. Let h be -1*(-4)/(t/(-245)). Is 2 greater than h?
True
Let n = -10.10525 + 0.20525. Which is greater: n or -5?
-5
Suppose -u + 4*u = -2*v - 51, 34 = -3*v + 4*u. Which is bigger: -1 or v?
-1
Suppose -66 = -p - p. Let x be 14*(5 + (-39)/7) - -40. Let c = p - x. Is c >= -2?
True
Let z be (-520 - 3) + 30/35*7. Which is smaller: -524 or z?
-524
Let a = 1534 + -1535. Which is bigger: a or -48/89?
-48/89
Let r(k) = -2*k**2 - 8*k + 592. Let t be r(-19). Are t and 3/25 non-equal?
True
Let i = -9840 + 11492. Is 