 is smaller: r or d?
d
Let l be ((-72)/(-513))/(-3*(-193)/(-117) + 5). Which is bigger: l or 2?
l
Let t(c) = 2*c + 4. Let m be t(10). Let j be (4*1/48)/(153/m). Let z = 161/612 - j. Which is smaller: z or -2?
-2
Let l(a) = -5*a + 44. Let c be l(19). Let g = c + 103. Is g greater than or equal to 50?
True
Let p = -147 + 110. Let y = -76 + p. Let f = -109 - y. Which is smaller: f or -1.1?
-1.1
Let w = 1220 + -788. Let i = 433 - w. Let s = -22267/76 + 293. Is i != s?
True
Let a be (3/(-9))/((-2)/678). Suppose p - 137 = -a. Suppose 4*q + p = -24. Which is greater: -13 or q?
q
Let q = -43 - -43. Let o be (-1 - 102/(-174)) + q. Which is bigger: o or 1/3?
1/3
Let h be 594/(-3861)*87/(-126). Which is smaller: h or 1?
h
Suppose -7 = -5*z + 3. Let k(v) = -8*v + 59. Let i be k(8). Let r(m) = -m**3 - 4*m**2 + 6*m + 11. Let l be r(i). Which is bigger: z or l?
l
Let a = 2767 - 2738. Which is smaller: a or -1/73?
-1/73
Let x be 12 - (-1 + -1 + 6). Let b be (-6)/x + ((-4)/(-16))/(-1). Is b <= -8/71?
True
Let h(t) = 18*t - 1069. Let i be h(56). Which is smaller: -52 or i?
i
Suppose -12*x + 9*x = -5*m + 4491, -x = 2*m - 1781. Are 5 and m non-equal?
True
Let a = 9 - 5. Suppose -5*y - 4*g = -11, g + 14 = -2*y + a*g. Let f be 170/(-119) + 30336/20461. Is f less than y?
False
Let j = -104 + 132. Suppose -s - j + 14 = 0. Is s at least -64/5?
False
Let z = 114 + -108. Suppose 0 = 6*h - 3*h + z. Let s be 2/4*h*(-4 - -5). Is -13/8 != s?
True
Let v = 69 - 62. Let d(i) = -i + 4. Let h be d(-1). Which is smaller: h or v?
h
Let a = -3128 + 2425. Are a and -708 equal?
False
Let t = 4625 + -4612. Let p be 13/(-39) - 14/(-6). Suppose -2*r = -10, p*q + r + 5 = -3*q. Which is smaller: q or t?
q
Let l = 0.1 + -0.4. Let r = l - -0.2. Let w = -366819 - -366832. Which is greater: w or r?
w
Suppose -4 = 2*m + 5*o, 17*m - 16*m = -3*o - 3. Suppose -4*r = 3*p + 23, 0 = 4*p + m*r + 21 - 2. Which is smaller: -4/15 or p?
p
Let f = -252 - 358. Does f = -0.2?
False
Let h(i) = -34*i - 2492. Let m be h(-142). Is m at most 7006/3?
False
Suppose 2*d + 0*d - 1116 = 0. Suppose -5*x = 2*l + d, 0*x + 4*l + 236 = -2*x. Let b be (-30)/60 - x/4. Are b and 27 equal?
True
Let i = -5314/9 - -451861/765. Is i not equal to -1?
True
Let b = -6 + 5. Let m = 2 + b. Let a = 25670/11 + -2334. Is m at least a?
True
Let z(x) = -5 + 2 - 9*x - 4*x**2 + 9 - 3*x. Let c(r) = 3*r + 3. Let i be c(-3). Let s be z(i). Are -66 and s non-equal?
False
Let x = -42 + 17. Let f = -26 - x. Let z be f + (-3)/(-5) + 5/25. Which is bigger: 0 or z?
0
Let x = -14.12 - -792.12. Let q = -777.9 + x. Let g = 0 + 0.08. Is g greater than or equal to q?
False
Suppose 249*u = 248*u + 186. Let m = 153 - u. Is m bigger than -37?
True
Let a(g) = -2*g**2 - 2*g. Let y be a(3). Let w be -1*(-1 - 1*y). Suppose 3*l + 5*p = -34, -2*p - 55 = -31*l + 34*l. Are l and w equal?
True
Let b = -1.616 + 2.316. Is b smaller than -6/11?
False
Let r be 12*-2*3/300. Let p be (-12)/4 + -5 + (-1 - 2). Let g(s) = s**2 + 4*s - 78. Let z be g(p). Is z greater than or equal to r?
False
Let y = 35.66 - 35.46. Let u = -12 - -12.7. Let j = u + -0.3. Is y at most as big as j?
True
Let d(m) = -2*m**3 + 84*m**2 - 20*m + 844. Let w be d(42). Are -467 and w non-equal?
True
Let u = 87 - 85. Suppose -u*g - 27 = -11*g. Suppose 2*j - 2*m = 4, 3*j + 10 = -g*m - 2*m. Is 2/9 greater than j?
True
Let w = 941.7 + -941.675. Let x = -0.07 - 0.005. Let f = x - w. Does -0.08 = f?
False
Let r be (7 - (-96)/(-12))/(-5827). Is r >= 1?
False
Let o = -4169/56511 - -26/483. Which is smaller: -1 or o?
-1
Let g be 8 + (-3)/((-54)/14)*535883/(-52099). Which is bigger: g or -1?
g
Let d = -0.314 - 0.886. Let t = 352.1 + -354. Is t > d?
False
Let r = -17352 + 17344. Are 601 and r equal?
False
Let g(v) = 6*v - 228. Let j be g(-11). Let w = -295 - j. Is 2/989 < w?
False
Let z = 8 - 4. Let g be (z/(-16)*74)/((-2)/4). Suppose 46 = 3*d + g. Is -3 equal to d?
False
Let r be (-34944)/1728 - 2/(-9). Let d(u) = 16*u + 329. Let z be d(r). Let a = -676 - -2051/3. Do a and z have different values?
True
Let t be (-4)/22 + 480/(-22). Let r be -5 + 9 + -5 + -185. Let y = 166 + r. Which is smaller: y or t?
t
Let y be (1482/15)/2 + 6/(-15). Let p be 40/(-2)*20/(-8). Let q = y - p. Which is greater: -6 or q?
q
Let v = 9 - 16. Suppose -2*b = 2*q - 8, 10 - 18 = 2*q - 2*b. Which is smaller: v or q?
v
Suppose -2*r + 20 = -3*w, -2 = w - 3*r + 7*r. Let y be (-28)/w*(-9)/(-6). Is 12 > y?
True
Let i = -58 - -94. Suppose 49 + i = -5*b. Are -16 and b nonequal?
True
Let o = 6556 + -6554. Is -3235 greater than o?
False
Let y be (-9)/(-2)*32/6. Suppose y = -r - 3*r. Let u be (-1 + (-7 - -2))*(-3)/r. Which is smaller: -4 or u?
-4
Let r = 84 + -70. Suppose r*y - 4*y - 10 = 0. Is y less than or equal to 96?
True
Let b = 1498 + -2438. Let y be (-2)/(-20)*-99 - (-94)/b. Is y > -9?
False
Let u = 3968 - 4047. Suppose -2*m - o - 2*o = 149, 0 = -3*m + o - 240. Is m != u?
False
Let p be (-650)/(-1235)*((-12)/(-15))/4. Which is greater: p or -22?
p
Suppose 5 = -j - 3*c, j - 8*c = -3*c + 11. Suppose 3*g + 11 + j = 0. Let k be 4/(-28)*31 - g. Which is bigger: k or 0.1?
0.1
Let x be 10*1*((-116)/(-8) - 5). Suppose -u - 5*a + 69 = -3*u, 3*a = -5*u - x. Suppose -3*z = -i - 14, -2*z + 6*z - 11 = i. Which is smaller: u or i?
i
Let i = -2079 + 2079. Which is bigger: i or -1/1459?
i
Let s = -16298 + 14149. Is s not equal to -2151?
True
Let q = 16 - 39. Let h be (-3)/(176/34 - 5). Let j = h - q. Is 5 <= j?
True
Let o = -3 + 3.02. Let z = -0.0133 - -0.0133. Which is bigger: z or o?
o
Let t = -442 - -445. Suppose -3*w + p - 18 = 41, 0 = 3*w - 2*p + 58. Let o = -20 - w. Which is greater: t or o?
t
Let b be 52/(-91) - (-543)/7. Suppose -79*w + b*w = 2. Let v be 6 + w + (-96)/24. Which is smaller: v or 3/62?
3/62
Let m be ((-452)/791)/(5787/(-21)). Is 1 > m?
True
Let w be 4832720/1932960 - 10/4. Which is greater: w or 1?
1
Let b(i) = 12*i**2 - 145*i + 38. Let k be b(19). Which is greater: k or 1614?
k
Let v be -2 + (6 - 12/3). Let o be (36/(-19) + 2)/(68/(-136)). Which is bigger: o or v?
v
Let g be -3*104*(-126)/(-432). Which is smaller: g or -70?
g
Suppose -18*y + 54 = -0. Which is smaller: y or 166/65?
166/65
Let p = 1.144 - 0.73. Let b = -2.414 + p. Which is bigger: b or 7?
7
Suppose -2*i + 1 = -11. Let s be 3 + (i - 9/3). Let t be 1/s + 2/(-6). Is t smaller than 0?
True
Let a = -174 + 225. Let b be 6483/a + (-14)/119. Is 128 greater than b?
True
Let t = -488 + 6620/11. Which is smaller: 113 or t?
113
Let g = 1225 - 417. Let a = -48811076 - -4832216534/99. Let f = a + g. Which is smaller: 0 or f?
0
Let b(v) = -11*v + 35. Let m be b(3). Let l be 0/(m + -5 - -5). Is l at most -2/1107?
False
Let m = -21191 - -21086. Is -47 <= m?
False
Let q = 118 - 57. Let r = -36 + q. Let b = r - 30. Is -3 less than or equal to b?
False
Let r = -63087 - -63089. Let o = -0.4 - 1.6. Let f = -1.3 - o. Is r > f?
True
Let r(p) = -2*p + 1. Let d(x) = -x**3 - 2*x**2 + 4*x - 7. Let a(y) = -d(y) + 2*r(y). Let n be a(-4). Is 64/7 greater than n?
True
Let b = -330 - -700. Suppose 0 = 14*k + 2*l - 5206, -16*l + 15*l + 753 = 2*k. Is k != b?
False
Let v(t) be the second derivative of -t**4/6 + 5*t**3 - 37*t**2/2 + 50*t. Let u be v(11). Let a be u/17 - (0 - 6/(-4)). Are a and 2 nonequal?
True
Suppose -3*k + 5*u - 13 = 0, -5*u + 3*u - 10 = -5*k. Suppose 5*b - 14*q + 5 = -11*q, -k*q - 2 = 2*b. Is 14/69 greater than or equal to b?
True
Let b be 6/12*(-2)/(-3)*2. Let x be (-2)/12*(-6 - -3 - -29). Which is bigger: b or x?
b
Suppose -n = 3*n - 20. Suppose 0 = 2*b - 4*p + 28, -n*p + 37 = -4*b + b. Suppose 27 = -31*q - 97. Is b at most as big as q?
True
Let h = 705 + -705.3. Which is smaller: h or 550?
h
Let k = -0.21 - -0.2. Let v = -0.59 + k. Let b(t) = 9*t**2 + 125*t + 285. Let p be b(-11). Does v = p?
False
Suppose 5 = -3*i - 22. Let r be 4*(-12)/(-32)*(-6)/i. Suppose 5*b - 5*y = b - 16, -5*b = -y - r. Which is smaller: b or -1/34?
-1/34
Let d(y) = y**3 - 18*y**2 + 77*y - 499. Let f be d(26). Is f less than or equal to 6912?
True
Let o(h) = 2*h**3 - 11*h**2 + 8*h - 7. Let v be o(5). Let d = -12 + v. Is -2 less than d?
False
Let b(v) = -v + 37. Let h(f) = -2*f + 75. Let m(c) = 5*b(c) - 2*h(c). Let u be m(21). Is u at least 5/2?
True
Suppose 0 = 4*q + y + 14 - 50, -2*y - 8 = 0. Suppose 4 