smaller: 1 or n?
n
Suppose -2*v = -3*t + 1656, 5*v + 2*t = -57 - 4121. Let m = v + 817. Which is smaller: 1.4 or m?
m
Let n be -81*(-7 + (-44)/(-6)). Let x be 1 + -33 - (-7 - -5). Which is smaller: n or x?
x
Let j(i) = 4*i**2 - 13*i - 10*i**2 + 30 + 7*i**2. Let f be j(10). Which is greater: f or 5?
5
Let d be (-798)/2527 - 6/(-19). Is d greater than 4/57?
False
Suppose 0 = -16*l + 37*l + 6153. Let y be (-2630)/9 - (-4 + 136/36). Is l > y?
False
Suppose 2*r + 5*u - 173 = 0, 4*r - 214 = 5*u + 57. Let z be 6*(-1 + r/6). Suppose 0 = p - 4*b + z, 4*p - p + 4*b + 220 = 0. Which is smaller: -73 or p?
-73
Let o = 8949 + -8954. Are -1016 and o equal?
False
Suppose v = 4*v + 2*k - 17, 0 = 4*v - 2*k - 4. Suppose -v*g + 28 = -17. Suppose -g*m + 18*m - 45 = 0. Is 14 at least as big as m?
False
Let v(j) = -3*j**3 + 14*j - 14. Let r be v(3). Let n = -123 + 71. Is n less than or equal to r?
False
Let f = -42 + 39. Let b be 8 + -8 - f*2/(-8). Let n = -165 - -158. Which is smaller: b or n?
n
Let x = 317/13 - 139519/5720. Which is greater: -1 or x?
x
Suppose -188 = 2*v - 2*x, 2*x + 104 = 5*v + 583. Which is smaller: -78 or v?
v
Let w(y) = -y**2 + 647*y + 8160. Let s be w(0). Which is smaller: s or 8161?
s
Suppose 63*q + 76245 = -51*q + 29*q. Which is greater: q or -896?
-896
Let o(m) = 5*m**2 - 1. Let p be o(-1). Suppose -p*x + 90 = x. Let d(v) = 5*v**2 + 216*v + 620. Let a be d(-3). Which is smaller: a or x?
a
Let t = 11 - 8. Let a = -9158 + 9145. Which is smaller: t or a?
a
Let h = 2512 + -1647. Is 866 greater than h?
True
Suppose -2*b + 73 = 65. Suppose -4*x + b*w - w = 4, 4*w - 24 = -4*x. Suppose -2*o - 1 + 5 = 3*h, x*o = -h + 4. Which is smaller: h or -2/25?
-2/25
Let r = 298 + -302. Let n be r/(16/3)*(-4)/113. Which is smaller: n or 0?
0
Suppose -3*m = -2*u - 16, -8 - 2 = 3*u - m. Let c be 23/23*(-1 - u). Let p be -13 - -17 - 4/c. Is p > -53?
True
Suppose -7*p = -8*p - 860. Let k be (-2)/(-2) + -13 + p. Let i = -54937/63 - k. Is -1 at most i?
True
Let j be 18/(-8) + (-21)/28. Let t be (-2)/j*24/(-64). Let v = -50 + 49.8. Is v < t?
False
Let z(a) = -a**2 + 7*a + 29. Let s be z(11). Let o be (-46)/s - (15 + -12). Suppose 0*b = 5*p - 2*b + 5, -5*b + 30 = 5*p. Which is smaller: p or o?
o
Let z be ((-416)/(-24) - 7) + 4/(-3). Suppose z = -3*a, -6 = -2*k - a - 5. Which is greater: 13/4 or k?
13/4
Suppose 8744 = -1025*u - 188*u + 253. Suppose -i + 0*i = -37. Let o be i/(-7) + (-2)/(-7). Which is smaller: u or o?
u
Let l be (((-78)/18)/13)/((-7496)/(-12)). Is l at least as big as -1?
True
Suppose 0 = 61*w - 64*w + 12. Let v be (8 - 1098/138)*(0 - w). Suppose 4*t = 2*j + 2*t + 4, -3*j = 3*t. Is j < v?
True
Let b be 3/(-6) - 2/(-6). Let j = -522433/60 - -8707. Let w = b - j. Is w > 0?
True
Let g(k) = 33*k - 45. Let d(q) = 8*q - 11. Let m be (-24)/2*84/48. Let j(i) = m*d(i) + 5*g(i). Let n be j(-4). Is n smaller than -1?
False
Suppose 0 = 4*u - 5*q - 8569, 117*u + 5*q + 6433 = 120*u. Is u not equal to 2137?
True
Let k be ((-6)/(-4))/((-3)/(-20)). Let j(c) = 21*c + 1605. Let h be j(-76). Which is smaller: h or k?
h
Let u = -0.05707 + -0.84293. Which is smaller: 66 or u?
u
Let x be -2 + 28/140*3/(-1). Is x >= 3?
False
Let m be -3 - (-1 + -1)*1. Let k(o) = o**3 - o**2 + o - 4. Let w(l) = -l**2 - 17*l - 42. Let s be w(-14). Let y be k(s). Is m > y?
True
Suppose 11*o + 8*o - 31500 = o. Which is greater: 3499/2 or o?
o
Let n be ((-14)/(-3))/((-2)/3). Let s(t) = t**3 - 8*t**2 - 2*t + 10. Let r = 60 + -52. Let c be s(r). Which is smaller: n or c?
n
Let c = -334799/4088279 - -120/1423. Is c at least as big as -1?
True
Suppose 5*j - 4*u = 9, 4*u = 5*j + 3*u - 6. Let r = 541/5 - 507/5. Let k = 33/5 - r. Which is smaller: j or k?
k
Let r be (1/2)/(18/36). Is r <= 1/674?
False
Let n(r) = 15*r - 20. Let f be n(0). Let b = 0 + 5/2. Which is smaller: b or f?
f
Let h(k) = -11*k + 19. Let w be h(-8). Suppose 5*d = 2*t + 2*t - w, -2*t + d + 55 = 0. Suppose -3*b - 14 = f + 5, -2*f + t = -5*b. Is -6 at most as big as b?
True
Let u be 28/(-7 + 0 + 9). Suppose u*a = 12*a + 28. Is a != 14?
False
Let s be -1*-3*(-8)/312*-13. Which is greater: -1/19208 or s?
s
Let c = 512 - 412. Is 110 less than c?
False
Let m = 505 + -438. Suppose m*h + 19 = 66*h. Which is bigger: -30 or h?
h
Let f = -228 + 228. Let t be 1773/11718 + (-1)/(-6). Let p = t - 1/31. Is p smaller than f?
False
Let s = 8351 - 75158/9. Suppose 0*r + 18 = -3*r. Let k be (-2)/r - (-7)/(-12). Which is smaller: s or k?
k
Let z = -4051 - -4023.29. Let f = z - -3.41. Let a = f - -24. Is -2/5 equal to a?
False
Let h be (-8)/(-2)*(5 + -9 - -5). Suppose 3*n - 4*n - f = -5, n + h*f - 14 = 0. Let c be ((-3 + (2 - -1))/(-2))/n. Which is greater: c or 62?
62
Let n be 9884/(-27302) - (-3 + (-87)/(-33)). Is 0 greater than n?
False
Let s be (-8)/6*(-3)/(-6). Let m = 358 + -295. Let d = 58 - m. Which is bigger: d or s?
s
Let w be (4/(-18))/((-4)/6) + (-116117)/347604. Which is greater: w or -1?
w
Let f = -148.45 + 146.65. Let s be -2 + (-8)/(-28) - -2. Is s at most as big as f?
False
Let c = 10155 + -10284. Which is smaller: -92 or c?
c
Suppose -20*o = -3578 + 1758. Which is smaller: o or 986/11?
986/11
Let n be (-287)/(-164) - 10275/(-12). Is n at most 6000/7?
False
Let t be (-16)/7 + ((-24)/14)/(-6). Let g be ((-5)/(-7))/5*(648 + t). Let u = -92 + g. Do 6 and u have the same value?
False
Let y = -1.01 - -0.01. Let g = -84 + 88. Let q = -2 + g. Which is greater: q or y?
q
Let i = 0.634 + 7.106. Let r = i + -7.82. Is r at least as big as 22?
False
Let c(a) = -65*a + 55. Let s be c(5). Let v = -3 + -267. Is v at most s?
True
Let b = 8198 - 172327/21. Is b smaller than -8?
True
Let c = 9028862/35 - 257986. Let o = -37277/140 - c. Let d = o + 246. Is d at least -1?
False
Let i(c) = -2*c**3 + 6*c**2 - 7*c - 1. Let m = 10 - 7. Let u be i(m). Let v = u - -22. Is 43 != v?
True
Suppose 10*c - 15*c + 85 = -5*g + 365, 2*g = 0. Let v(q) = -q**3 + 6*q**2 + 8*q + 6. Let p be v(8). Which is greater: c or p?
c
Suppose 4*t + 9*t + 78 = 0. Let c be 4/(-30)*t/24*-474. Let q(g) = -4*g + 1. Let u be q(4). Which is smaller: u or c?
c
Let c(d) be the second derivative of -d**5/20 - 13*d**4/12 - 7*d**3/3 - d**2 - 41*d. Let n be c(-12). Let z = 83 + -60. Are n and z unequal?
True
Let m = 159084672/1645 - 96708. Which is bigger: -1 or m?
m
Suppose -j - 3*z = -2499, 7*j - 2*z = 4*j + 7508. Is j greater than or equal to 2501?
True
Let w = 52307 - 156922/3. Let z = -290 - -293.98. Let k = 4 - z. Is k at most w?
False
Suppose c = -12*c. Suppose c = r + 5 - 9. Suppose 528 = -8*a - r*a. Which is bigger: -45 or a?
a
Let g = 47/5 + 347/20. Is 2/21 equal to g?
False
Suppose 2*f = 5*j - 1, -2*j = 8*f - 3*f - 12. Let o = -511/12351 + 10/179. Which is greater: o or j?
j
Let s = -1 - 37. Let d = 8.6 - 47.6. Let g = s - d. Which is smaller: -1/7 or g?
-1/7
Let t be 2/8 + 222/8. Suppose 0 = 4*z - 4*d - t, z = -2*d - 2*d - 8. Suppose -v = -n + 2, -3*n = n + z*v. Which is bigger: 3 or n?
3
Let f = -39 - 21. Let z be -1 + 1*2 + 48/f. Let x = -1.2 - -1.16. Which is greater: x or z?
z
Suppose 16*u - 105 = u. Suppose 19*j + 24 = u*j. Suppose 5*r = 8*r. Is r not equal to j?
True
Let n(u) = -2*u**2 - 16*u - 115. Let l be n(-23). Let s = l - -857. Are s and 55 equal?
False
Let l be ((-120)/(-7))/((-29)/203). Suppose 0 = -6*m - 357 - 363. Is m at most as big as l?
True
Let h = 0.28 + 0.02. Suppose -54*j - 4*y + 32 = -56*j, 4*y = 4*j + 32. Is j at most h?
True
Let x = -3215.2 + 2948. Let s = x + 268. Is 1/4 bigger than s?
False
Let r be ((-2)/10)/(222/(-11010)) + 18/6. Is r > 14?
False
Let f be (-713)/(-414) + 12/(-8) - 2/9. Which is smaller: f or -1/25088?
-1/25088
Let g(o) = o**3 + 8*o**2 + 2 + 0 + 3*o - 11*o**2 + 0. Let j be g(2). Suppose -2*v + j*r + 7 = -39, 4*v = 2*r + 92. Which is smaller: -1 or v?
-1
Let b = 0.413 - -39.987. Let u = 65.1 - b. Are 2/3 and u nonequal?
True
Let w = -93 + 92.91. Let v = 235.6 - 236. Are v and w non-equal?
True
Let a = -67 + 282. Let c = -210 + a. Which is smaller: c or 14?
c
Let d be (-129184)/462 + 2/6. Let j = d + 277. Is -2 equal to j?
False
Let q be -4 + 20/(-6)*187/(-165). Let w be (-13)/(-15) - 14/(-42). Let a = w + -64/45. Is q at most as big as a?
True
Let a be ((-20)/24)/((-2)/12). Let m(f) = -f**2 - 4*f + 44. Let v be m(a). Suppose -n + 6*n - 125